Иррациона́льное число́ — это вещественное число, которое не является рациональным, то есть не может быть представлено в виде обыкновенной дроби {\displaystyle \pm {\frac {m}{n}}}{\displaystyle \pm {\frac {m}{n}}}, где {\displaystyle m,n}m,n — натуральные числа. Иррациональное число может быть представлено в виде бесконечной непериодической десятичной дроби.
Другими словами, множество иррациональных чисел есть разность {\displaystyle \mathbb {I} =\mathbb {R} \backslash \mathbb {Q} }{\displaystyle \mathbb {I} =\mathbb {R} \backslash \mathbb {Q} } множеств вещественных и рациональных чисел.
О существовании иррациональных чисел (точнее отрезков, несоизмеримых с отрезком единичной длины), знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа {\displaystyle {\sqrt {2}}}{\sqrt {2}}[1].
К числу иррациональных чисел относятся отношение π окружности круга к его диаметру, число Эйлера e, золотое сечение φ и квадратный корень из двух[2][3][4]; на самом деле все квадратные корни натуральных чисел, кроме полных квадратов, иррациональны.
Иррациональные числа также могут рассматриваться через бесконечные непрерывные дроби. Следствием доказательства Кантора является то, что действительные числа неисчислимы, а рациональные счетны, отсюда следует, что почти все действительные числа иррациональны[5].
Иррациона́льное число́ — это вещественное число, которое не является рациональным, то есть не может быть представлено в виде обыкновенной дроби {\displaystyle \pm {\frac {m}{n}}}{\displaystyle \pm {\frac {m}{n}}}, где {\displaystyle m,n}m,n — натуральные числа. Иррациональное число может быть представлено в виде бесконечной непериодической десятичной дроби.
Иррациональные числа
ζ(3) — ρ — √2 — √3 — √5 — ln 2 — φ,Φ — ψ — α,δ — e — {\displaystyle e^{\pi }}e^{\pi } и π
Другими словами, множество иррациональных чисел есть разность {\displaystyle \mathbb {I} =\mathbb {R} \backslash \mathbb {Q} }{\displaystyle \mathbb {I} =\mathbb {R} \backslash \mathbb {Q} } множеств вещественных и рациональных чисел.
О существовании иррациональных чисел (точнее отрезков, несоизмеримых с отрезком единичной длины), знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа {\displaystyle {\sqrt {2}}}{\sqrt {2}}[1].
К числу иррациональных чисел относятся отношение π окружности круга к его диаметру, число Эйлера e, золотое сечение φ и квадратный корень из двух[2][3][4]; на самом деле все квадратные корни натуральных чисел, кроме полных квадратов, иррациональны.
Иррациональные числа также могут рассматриваться через бесконечные непрерывные дроби. Следствием доказательства Кантора является то, что действительные числа неисчислимы, а рациональные счетны, отсюда следует, что почти все действительные числа иррациональны[5].
База индукции:
При n = 1:
1/(1*2) = 1/(1+1) - верно.
Предположение индукции:
Пусть при n = k верно следующее:
1/(1*2) + ,,, + 1/(k*(k+1)) = k / (k+1)
Индукционный переход:
Докажем, что 1/(1*2) + ,,, + 1/(k*(k+1)) + 1/((k+1)(k+2)) = (k+1) / (k+2)
Заменим 1/(1*2) + ,,, + 1/(k*(k+1)) на k / (k+1), так как мы предположили верность этого равенства. Тогда должно выполняться следующее:
k / (k+1) + 1/((k+1)(k+2)) = (k+1) / (k+2)
Упростим левую часть:
k / (k+1) + 1/((k+1)(k+2)) = k*(k+2) / ((k+1)(k+2)) + 1/((k+1)(k+2)) = (k^2+2k+1)/((k+1)(k+2))=(k+1)^2 / ((k+1)(k+2)) = (k+1)/(k+2).
(k+1)/(k+2) = (k+1)/(k+2) - тождество, ч.т.д.