Определение иррационального числа

Иррациональными называют такие числа, которые в десятичной записи представляют собой бесконечные непериодические десятичные дроби.

Так, например, числа, полученные путем извлечения квадратного корня из натуральных чисел, являются иррациональными и не являются квадратами натуральных чисел. Но не все иррациональные числа получают путем извлечения квадратных корней, ведь полученное методом деления, число «пи», также является иррациональным, и его вы вряд ли получите, пытаясь извлечь квадратный корень из натурального числа.

Свойства иррациональных чисел

В отличие от чисел, записанных бесконечной десятичной дробью, только иррациональные числа записываются непериодическими бесконечными десятичными дробями.
Сумма двух неотрицательных иррациональных чисел в итоге может быть рациональным числом.
Иррациональные числа определяют дедекиндовы сечения в множестве рациональных чисел, в нижнем классе у которых нет самого большого числа, а в верхнем нет меньшего.
Любое вещественное трансцендентное число является иррациональным.
Все иррациональные числа являются либо алгебраическими, либо трансцендентными.
Множество иррациональных чисел на прямой располагаются плотно, и между его любыми двумя числами обязательно найдется иррациональное число.
Множество иррациональных чисел бесконечно, несчетно и является множеством 2-й категории.
При выполнении любой арифметической операции с рациональными числами, кроме деления на 0, его результатом будет рациональное число.
При сложении рационального числа с иррациональным, в результате всегда получается иррациональное число.
При сложении иррациональных чисел в результате мы можем получить рациональное число.
Множество иррациональных чисел не есть четным.

Числа, не являются иррациональными

Иногда достаточно сложно ответить на вопрос, является ли число иррациональным, особенно в случаях, когда число имеет вид десятичной дроби или в виде числового выражения, корня или логарифма.

Поэтому не лишним будет знать, какие числа не относятся к иррациональным. Если следовать определения иррациональных чисел, то нам уже известно, что рациональные числа не могут быть иррациональными.

Иррациональными числами не являются:

Во-первых, все натуральные числа;
Во-вторых, целые числа;
В-третьих, обыкновенные дроби;
В-четвертых, разные смешанные числа;
В-пятых, это бесконечные периодические десятичные дроби.

Кроме всего перечисленного, иррациональным числом не может быть любая комбинация рациональных чисел, которая выполняется знаками арифметических операций, как +, -, , :, так как при этом итогом двух рациональных чисел будет также рациональное число.

А теперь посмотрим, какие же из чисел являются иррациональными:

А известно ли вам о существовании фан-клуба, где поклонники этого загадочного математического феномена ищут все новые сведения о Пи, пытаясь разгадать его тайну. Членом этого клуба может сталь любой человек, который знает наизусть определенное количество чисел Пи после запятой;

А знаете ли вы, что в Германии под охраной ЮНЕСКО находится дворец Кастадель Монте, благодаря пропорциям которого можно вычислить Пи. Целый дворец посвятил этому числу король Фридрих II.

Оказывается, число Пи пытались использовать при строительстве Вавилонской башни. Но к превеликому сожалению, это привело к краху проекта, так как на тот момент было недостаточно изучено точное исчисление значения Пи.

Певица Кейт Буш в своем новом диске записала песню под названием «Пи», в которой прозвучало сто двадцать четыре числа из знаменитого числового ряда 3, 141…..

Дробь m/n будем считать несократимой (ведь сократимую дробь всегда можно привести к несократимому виду). Возведя обе части равенства в квадрат, получим m ^2=2n ^2. Отсюда заключаем, что m^2, а следом за этим и число m - чётное. т.е. m = 2k . Поэтому m ^2 = 4k ^2 и, следовательно, 4k ^2 =2n ^2, или 2k ^2 = n ^2. Но тогда получается, что и n также чётное число, а этого быть не может, поскольку дробь m/n несократима. Возникает противоречие. Остаётся сделать вывод: наше предположение неверно и рационального числа m/n , равного √2, не существует.»

Вот и всё их доказательство.

Критическая оценка доказательства древних греков

Но…. посмотрим на такое доказательство древних греков несколько критично. И если быть более аккуратным в простой математике, то в нём можно увидеть следующее:

1) В принятом у греков рациональном числе m/n числа m и n – целые, но неизвестные (то ли они чётные , то ли они нечётные ). И это так! А чтобы как-то установить между ними какую-либо зависимость, надо точно определиться с их назначением;

2) Когда древние определились с тем, что число m – чётное, то в принятом ими равенстве m = 2k они (умышленно или по незнанию!) не совсем «корректно» охарактеризовали число «k ». А ведь здесь число k – это целое (ЦЕЛОЕ!) и вполне известное число, вполне чётко определяющее найденное чётное число m . И не будь этого найденного числа «k » древние не могли бы в дальнейшем «использовать » и число m ;

3) А когда из равенства 2k ^2 = n ^2 древние получили число n ^2 чётное, а вместе с тем и n – чётное, то им надо было бы не спешить с выводом о «возникшем противоречии », а лучше удостовериться в предельной точности принятого ими «выбора » числа «n ».

А как это можно было им сделать? Да, просто!
Смотрите: из полученного ими равенства 2k ^2 = n ^2 можно было элементарно получить и такое равенство k √2 = n . И здесь никак нет ничего предосудительного – ведь получили же они из равенства m/n =√2 другое адекватное ему равенство m ^2=2n ^2 ! И никто им не перечил!

Но зато в новом равенстве k √2 = n при очевидных ЦЕЛЫХ числах k и n видно, что из него всегда получают число √2 - рациональное . Всегда! Поскольку в нём числа k и n - известные ЦЕЛЫЕ!

А вот чтобы из их равенства 2k ^2 = n ^2 и, как следствие этого, из k √2 = n получить число √2 – иррациональное (как того «пожелали » древние греки!), то в них необходимо иметь, как минимум , число «k » в виде нецелого (!!!) числа. А этого у древних греков как раз и НЕТ!

Отсюда и ВЫВОД: вышеприведённое доказательство иррациональности числа √2, сделанное древними греками 2400 лет тому назад, откровенно неверное и математически некорректно, если не сказать грубо – оно просто фальшивое .

В показанной выше небольшой брошюрке Ф-6 (см. фото выше), выпущенной в г. Краснодар (Россия) в 2015 году общим тиражом 15000 экз. (очевидно, со спонсорским вложением) приведено новое, предельно-корректное с точки зрения математики и предельно-верное ]доказательство иррациональности числа √2, которое давно могло бы состояться, не будь жёстких "препо н" к изучению древностей Истории.

1.Доказательство является примерами дедуктивного рассуждения и отличаются от индуктивных или эмпирических аргументов. Доказательство должно продемонстрировать, что доказываемое утверждение всегда верно, иногда путем перечисления всех возможных случаев и показывая, что утверждение выполняется в каждом из них. Доказательство может опираться на очевидные или общепринятые явления или случаи, известные как аксиомы. Вопреки этому, доказывается иррациональность “корня квадратного из двух”.
2.Вмешательство топологии здесь объясняется самой природой вещей, что означает, что чисто алгебраического способа доказательства иррациональности, в частности, исходя из рациональных чисел нет.Вот пример, за вами право выбора: 1+1/2 + 1/4 + 1/8 ….= 2 или 1+1/2 + 1/4 + 1/8 …≠ 2 ???
Если вы примете 1+1/2 + 1/4 + 1/8 +…= 2, что считается “алгебраическим” подходом, то совсем не составляет труда показать, что существует n/m ∈ ℚ, которое на бесконечной последовательности является иррациональным и конечным числом.Это подсказывает, что иррациональные числа являются замыканием поля ℚ, но это относится к топологической особенности.
Так для чисел Фибоначчи, F(k): 1,1,2,3,5,8,13,21,34,55,89,144,233,377, … lim{F(k+1)/F(k)} = φ
Это лишь показывает, что существует непрерывный гомоморфизм ℚ → I, и можно показать строго, что существования такого изоморфизма не является логическим следствием алгебраических аксиом.

Данное свойство играет важную роль в решении дифференциальных уравнений. Так, например, единственным решением дифференциального уравнения

является функция

где c - произвольная константа.

• 1. Число e иррационально и даже трансцендентно. Его трансцендентность была доказана только в 1873 году Шарлем Эрмитом. Предполагается, что e - нормальное число, то есть вероятность появления разных цифр в его записи одинакова.
• 2. Число e является вычислимым (а значит, и арифметическим) числом.

Формула Эйлера, в частности

5. т. н. "интеграл Пуассона" или "интеграл Гаусса"

8. Представление Каталана:

9. Представление через произведение:

10. Через числа Белла:

11. Мера иррациональности числа e равна 2 (что есть наименьшее возможное значение для иррациональных чисел).

Доказательство иррациональности

Предположим, что

где a и b - натуральные числа. Учитывая данное равенство и рассматривая разложение в ряд:

получаем следующее равенство:

Представим данную сумму в виде суммы двух слагаемых, одно из которых - сумма членов ряда по n от 0 до a , а второе - сумма всех остальных членов ряда:

Теперь перенесем первую сумму в левую часть равенства:

Умножим обе части полученного равенства на. Получим

Теперь упростим полученное выражение:

Рассмотрим левую часть полученного равенства. Очевидно, что число целое. Целым является также и число, поскольку (отсюда следует, что все числа вида целые). Тем самым левая часть полученного равенства - целое число.

Перейдем теперь к правой части. Эта сумма имеет вид

По признаку Лейбница этот ряд сходится, и его сумма S есть вещественным числом, заключенное между первым слагаемым и суммой первых двух слагаемых (со знаками), т.е.

Оба эти числа при лежат между 0 и 1. Следовательно, т.е. - правая часть равенства - не может быть целым числом. Получили противоречие: целое число не может быть равно числу, которое не является целым. Это противоречие доказывает, что число e не является рациональным, а следовательно является иррациональным.

Множество иррациональных чисел обычно обозначается заглавной латинской буквой I {\displaystyle \mathbb {I} } в полужирном начертании без заливки. Таким образом: I = R ∖ Q {\displaystyle \mathbb {I} =\mathbb {R} \backslash \mathbb {Q} } , то есть множество иррациональных чисел есть разность множеств вещественных и рациональных чисел.

О существовании иррациональных чисел, точнее отрезков , несоизмеримых с отрезком единичной длины, знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа .

Энциклопедичный YouTube

• 1 / 5

  Иррациональными являются:

  Примеры доказательства иррациональности

  Корень из 2

  Допустим противное: 2 {\displaystyle {\sqrt {2}}} рационален , то есть представляется в виде дроби m n {\displaystyle {\frac {m}{n}}} , где m {\displaystyle m} - целое число , а n {\displaystyle n} - натуральное число .

  Возведём предполагаемое равенство в квадрат:

  2 = m n ⇒ 2 = m 2 n 2 ⇒ m 2 = 2 n 2 {\displaystyle {\sqrt {2}}={\frac {m}{n}}\Rightarrow 2={\frac {m^{2}}{n^{2}}}\Rightarrow m^{2}=2n^{2}} .

  История

  Античность

  Концепция иррациональных чисел была неявным образом воспринята индийскими математиками в VII веке до нашей эры, когда Манава (ок. 750 г. до н. э. - ок. 690 г. до н. э.) выяснил, что квадратные корни некоторых натуральных чисел, таких как 2 и 61, не могут быть явно выражены [ ] .

  Первое доказательство существования иррациональных чисел обычно приписывается Гиппасу из Метапонта (ок. 500 гг. до н. э.), пифагорейцу . Во времена пифагорейцев считалось, что существует единая единица длины, достаточно малая и неделимая, которая целое число раз входит в любой отрезок [ ] .

  Нет точных данных о том, иррациональность какого числа было доказано Гиппасом. Согласно легенде он нашёл его изучая длины сторон пентаграммы. Поэтому разумно предположить, что это было золотое сечение [ ] .

  Греческие математики назвали это отношение несоизмеримых величин алогос (невыразимым), однако согласно легендам не воздали Гиппасу должного уважения. Существует легенда, что Гиппас совершил открытие, находясь в морском походе, и был выброшен за борт другими пифагорейцами «за создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям». Открытие Гиппаса поставило перед пифагорейской математикой серьёзную проблему, разрушив лежавшее в основе всей теории предположение, что числа и геометрические объекты едины и неразделимы.