О первом доказательстве несчётности Кантора, теореме Пика и иррациональности золотого сечения

On Cantor's First Uncountability Proof, Pick's Theorem, and the Irrationality of the Golden Ratio
Mike Krebs, Thomas Wright
2010-01-01

первое доказательство несчётности Канторатеорема Пикаиррациональность золотого сечениягеометрия целочисленных точекстандартная нумерация рациональных чисел
В своём первоначальном доказательстве несчётности множества действительных чисел (не используя диагональный аргумент) Кантор строит для любой счётной последовательности действительных чисел действительное число, не входящее в эту последовательность. Если применить этот аргумент к определённому стандартному перечислению рациональных чисел, то построенное действительное число необходимо будет иррациональным. Используя элементы планиметрии, включая теорему Пика о числе узлов решётки, заключённых в некоторых многоугольных областях, мы показываем, что это число является величиной, обратной золотому сечению, откуда следует общеизвестный факт иррациональности золотого сечения.
1
Применение первоначального доказательства несчётности Кантора к стандартному перечислению рациональных чисел порождает вещественное число, отсутствующее в перечислении и потому иррациональное.
2
Теорема Пика связывает подсчёт точек решётки в подходящих многоугольных областях с выводом об иррациональности.
3
Это геометрическое отождествление даёт доказательство иррациональности золотого сечения.
4
С помощью планарной геометрии и теоремы Пика построенное вещественное число отождествляется с величиной, обратной золотому сечению.

Вещественное число, построенное в первом доказательстве несчётности Кантора при применении к стандартной нумерации рациональных чисел

Геометрическая идентификация этого построенного числа как обратной величины золотого сечения, устанавливающая иррациональность золотого сечения

Publication Details
Publication Date
2010-01-01
Journal
Publisher
ISSN
Access Type
Author Information
Authors
Mike Krebs
Thomas Wright
Explore further
Open the scid.ai AI chat with a ready-made request: it will find papers on a similar topic and help build a literature review.
Find similar papers in the chat
Make a presentation
100%