Первым числом, оказавшимся иррациональным в нашем мире, был предположительно квадратный корень из 2. Я знаю, что иррациональность π, вероятно, недосягаема для цивилизации, которая вообще не открыла иррациональность, и е, вероятно, требует пределов, чтобы даже понять , но есть ли другие легкодоступные иррациональные числа, на которые могла наткнуться цивилизация до квадратного корня из 2? Как бы они столкнулись с иррациональностью этого числа до корня 2? Я бы поставил немного денег на золотое сечение, но я не могу быть уверен, и я не могу придумать механизм
Через различия между сходящимися рядами
Я думаю, что это довольно сложный вопрос, чтобы ответить на него с тегом точных наук, но вот мои два цента.
Таким образом, пифагорейцы до Гиппапа из Метапонта считали, что все числа могут быть выражены как рациональные, пока Гиппап не доказал обратное согласно Википедии . (Извините за плохую ссылку, но я не могу читать по-древнегречески) Очевидно, есть некоторые дискуссии о том, был ли он первым, но временные рамки относительно те же.
Здесь важно то, что сегодня мы называем это иррациональностью квадратного корня из 2, но это было сделано в чистой геометрии. Примеры см. в разделе Элементы геометрии Евклида. Так что для доказательства иррациональности вам не нужна алгебра. Поскольку большинство доказательств вращается вокруг логического доказательства противоречия, делая стороны одновременно четными и нечетными, у вас есть некоторые предпосылки.
Вам нужно общество со знанием логических доказательств, особенно противоречий, и обозначениями четных и нечетных чисел. Кроме того, вероятно, было бы полезно, если бы ваше общество ошибочно полагало, что все числа рациональны и что у вас есть какая-то маленькая неделимая единица в качестве основы чисел.
Помимо геометрического доказательства, я думаю, что подобное доказательство можно было бы сделать с помощью сравнений сходящихся рядов. Это предположение, но я думаю, что можно было бы сделать что-то вроде парадокса Зенона, чтобы доказать, что числа могут быть иррациональными. Поиск доказательства того, что не все числа рациональны таким образом, кажется вполне логичным, поскольку вы уже имеете дело со все более мелкими рациональными числами.
Загружает больше квадратных корней
Если вы открыли теорему Пифагора, то вы столкнетесь со многими иррациональными числами в качестве гипотенуз.
Начертите прямоугольный треугольник с целыми числами длин сторон а гипотенуза имеет длину . Это число обычно, но не всегда, иррационально.
Как уже упоминалось, стандартное доказательство того, что иррационально работает так же хорошо для , , ... так что ваша цивилизация скорее всего задумалась бы во-первых, так как он, естественно, стоит первым в последовательности.
Единственный другой вероятный кандидат, который я мог представить в качестве «первого иррационального», потребовал бы гораздо большего воображения, чтобы представить его: .
Но у него есть доказательство, которое можно было бы считать более простым или, по крайней мере, немного другим:
Предполагать были рациональны. Это значит, что
Это решаемо только в целых числах с помощью , но это решение неприемлемо, т.к. является знаменателем и должен быть ненулевым.
AlexP
AlexP
Нира