Ранее мы уже показали, что $1\frac25$ — близко к $\sqrt2$. Если бы оно точно равнялось $\sqrt2$, . Тогда соотношение — $\frac{1\frac25}{1}$, которое можно превратить в соотношение целых чисел $\frac75$, умножив верхнюю и нижнюю части дроби на 5, и было бы искомой величиной.
Но, к сожалению, $1\frac25$ не является точной величиной $\sqrt2$. Более точный ответ $1\frac{41}{100}$, дает нам соотношение $\frac{141}{100}$. Еще большей точности мы достигаем, когда приравниваем $\sqrt2$ к $1\frac{207}{500}$. В этом случае соотношение в целых числах будет равно $\frac{707}{500}$. Но и $1\frac{207}{500}$ не является точным значением корня квадратного из 2. Греческие математики потратили массу времени и сил, чтобы вычислить точное значение $\sqrt2$, но это им так и не удалось. Они не смогли представить соотношение $\frac{\sqrt2}{1}$ в виде соотношения целых чисел.
Наконец, великий греческий математик Евклид доказал, что, как бы ни увеличивалась точность подсчетов, получить точное значение $\sqrt2$ невозможно. Не существует такой дроби, которая, будучи возведена в квадрат, даст в результате 2. Говорят, что первым к этому заключению пришел Пифагор, но этот необъяснимый факт настолько поразил ученого, что он поклялся сам и взял со своих учеников клятву хранить это открытие в тайне. Однако, возможно, эти сведения не соответствуют действительности.
Но если число $\frac{\sqrt2}{1}$ не может быть представлено в виде соотношения целых чисел, то и никакая , содержащая $\sqrt2$, например $\frac{\sqrt2}{2}$ или $\frac{4}{\sqrt2}$ также не может быть представлена в виде соотношения целых чисел, поскольку все такие дроби могут быть преобразованы в $\frac{\sqrt2}{1}$, умноженное на какое нибудь число. Так $\frac{\sqrt2}{2}=\frac{\sqrt2}{1} \times \frac12$. Или $\frac{\sqrt2}{1} \times 2=2\frac{\sqrt2}{1}$, что можно преобразовать, умножив верхнюю и нижнюю части на $\sqrt2$, и получить $\frac{4}{\sqrt2}$. (Не следует забывать, что независимо от того, что представляет собой число $\sqrt2$, если мы умножим его на $\sqrt2$, то получим 2.)
Поскольку число $\sqrt2$ нельзя представить в виде соотношения целых чисел, оно получило название иррационального числа
. С другой стороны, все числа, которые можно представить в виде соотношения целых чисел, называются рациональными
.
Рациональными являются все целые и дробные числа, как положительные, так и отрицательные.
Как оказалось, большинство квадратных корней являются иррациональными числами. Рациональные квадратные корни есть только у чисел, входящих в ряд квадратных чисел. Эти числа называются также идеальными квадратами. Рациональными числами являются также дроби, составленные из этих идеальных квадратов. Например, $\sqrt{1\frac79}$ является рациональным числом, так как $\sqrt{1\frac79}=\frac{\sqrt16}{\sqrt9}=\frac43$ или $1\frac13$ (4 - это корень квадратный из 16, а 3 - корень квадратный из 9).
Иррациона́льное число́ - это вещественное число , которое не является рациональным , то есть не может быть представлено в виде дроби , где - целые числа , . Иррациональное число может быть представлено в виде бесконечной непериодической десятичной дроби .
Множество иррациональных чисел обычно обозначается заглавной латинской буквой в полужирном начертании без заливки. Таким образом: , т.е. множество иррациональных чисел есть разность множеств вещественных и рациональных чисел.
О существовании иррациональных чисел, точнее отрезков , несоизмеримых с отрезком единичной длины, знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа .
Свойства
- Всякое вещественное число может быть записано в виде бесконечной десятичной дроби , при этом иррациональные числа и только они записываются непериодическими бесконечными десятичными дробями.
- Иррациональные числа определяют Дедекиндовы сечения в множестве рациональных чисел, у которых в нижнем классе нет наибольшего, а в верхнем нет наименьшего числа.
- Каждое вещественное трансцендентное число является иррациональным.
- Каждое иррациональное число является либо алгебраическим , либо трансцендентным.
- Множество иррациональных чисел всюду плотно на числовой прямой: между любыми двумя числами имеется иррациональное число.
- Порядок на множестве иррациональных чисел изоморфен порядку на множестве вещественных трансцендентных чисел.
- Множество иррациональных чисел несчётно , является множеством второй категории .
Примеры
| Иррациональные числа
- ζ(3) - √2 - √3 - √5 - - - - - |
Иррациональными являются:
Примеры доказательства иррациональности
Корень из 2
Допустим противное: рационален , то есть представляется в виде несократимой дроби , где - целое число , а - натуральное число . Возведём предполагаемое равенство в квадрат:
.Отсюда следует, что чётно, значит, чётно и . Пускай , где целое. Тогда
Следовательно, чётно, значит, чётно и . Мы получили, что и чётны, что противоречит несократимости дроби . Значит, исходное предположение было неверным, и - иррациональное число.
Двоичный логарифм числа 3
Допустим противное: рационален , то есть представляется в виде дроби , где и - целые числа . Поскольку , и могут быть выбраны положительными. Тогда
Но чётно, а нечётно. Получаем противоречие.
e
История
Концепция иррациональных чисел была неявным образом воспринята индийскими математиками в VII веке до нашей эры, когда Манава (ок. 750 г. до н. э. - ок. 690 г. до н. э.) выяснил, что квадратные корни некоторых натуральных чисел, таких как 2 и 61, не могут быть явно выражены.
Первое доказательство существования иррациональных чисел обычно приписывается Гиппасу из Метапонта (ок. 500 гг. до н. э.), пифагорейцу , который нашёл это доказательство, изучая длины сторон пентаграммы. Во времена пифагорейцев считалось, что существует единая единица длины, достаточно малая и неделимая, которая целое число раз входит в любой отрезок. Однако Гиппас обосновал, что не существует единой единицы длины, поскольку предположение о её существовании приводит к противоречию. Он показал, что если гипотенуза равнобедренного прямоугольного треугольника содержит целое число единичных отрезков, то это число должно быть одновременно и четным, и нечетным. Доказательство выглядело следующим образом:
- Отношение длины гипотенузы к длине катета равнобедренного прямоугольного треугольника может быть выражено как a :b , где a и b выбраны наименьшими из возможных.
- По теореме Пифагора: a ² = 2b ².
- Так как a ² четное, a должно быть четным (так как квадрат нечетного числа был бы нечетным).
- Поскольку a :b несократима, b обязано быть нечетным.
- Так как a четное, обозначим a = 2y .
- Тогда a ² = 4y ² = 2b ².
- b ² = 2y ², следовательно b ² четное, тогда и b четно.
- Однако было доказано, что b нечетное. Противоречие.
Греческие математики назвали это отношение несоизмеримых величин алогос (невыразимым), однако согласно легендам не воздали Гиппасу должного уважения. Существует легенда, что Гиппас совершил открытие, находясь в морском походе, и был выброшен за борт другими пифагорейцами «за создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям». Открытие Гиппаса поставило перед пифагорейской математикой серьёзную проблему, разрушив лежавшее в основе всей теории предположение, что числа и геометрические объекты едины и неразделимы.
С отрезком единичной длины, знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа .
Иррациональными являются:
Примеры доказательства иррациональности
Корень из 2
Допустим противное: рационален , то есть представляется в виде несократимой дроби , где и - целые числа . Возведём предполагаемое равенство в квадрат:
.Отсюда следует, что чётно, значит, чётно и . Пускай , где целое. Тогда
Следовательно, чётно, значит, чётно и . Мы получили, что и чётны, что противоречит несократимости дроби . Значит, исходное предположение было неверным, и - иррациональное число.
Двоичный логарифм числа 3
Допустим противное: рационален , то есть представляется в виде дроби , где и - целые числа . Поскольку , и могут быть выбраны положительными. Тогда
Но чётно, а нечётно. Получаем противоречие.
e
История
Концепция иррациональных чисел была неявным образом воспринята индийскими математиками в VII веке до нашей эры, когда Манава (ок. 750 г. до н. э. - ок. 690 г. до н. э.) выяснил, что квадратные корни некоторых натуральных чисел, таких как 2 и 61, не могут быть явно выражены.
Первое доказательство существования иррациональных чисел обычно приписывается Гиппасу из Метапонта (ок. 500 гг. до н. э.), пифагорейцу , который нашёл это доказательство, изучая длины сторон пентаграммы. Во времена пифагорейцев считалось, что существует единая единица длины, достаточно малая и неделимая, которая целое число раз входит в любой отрезок. Однако Гиппас обосновал, что не существует единой единицы длины, поскольку предположение о её существовании приводит к противоречию. Он показал, что если гипотенуза равнобедренного прямоугольного треугольника содержит целое число единичных отрезков, то это число должно быть одновременно и четным, и нечетным. Доказательство выглядело следующим образом:
- Отношение длины гипотенузы к длине катета равнобедренного прямоугольного треугольника может быть выражено как a :b , где a и b выбраны наименьшими из возможных.
- По теореме Пифагора: a ² = 2b ².
- Так как a ² четное, a должно быть четным (так как квадрат нечетного числа был бы нечетным).
- Поскольку a :b несократима, b обязано быть нечетным.
- Так как a четное, обозначим a = 2y .
- Тогда a ² = 4y ² = 2b ².
- b ² = 2y ², следовательно b ² четное, тогда и b четно.
- Однако было доказано, что b нечетное. Противоречие.
Греческие математики назвали это отношение несоизмеримых величин алогос (невыразимым), однако согласно легендам не воздали Гиппасу должного уважения. Существует легенда, что Гиппас совершил открытие, находясь в морском походе, и был выброшен за борт другими пифагорейцами «за создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям». Открытие Гиппаса поставило перед пифагорейской математикой серьёзную проблему, разрушив лежавшее в основе всей теории предположение, что числа и геометрические объекты едины и неразделимы.
См. также
Примечания
| Числовые системы | |
|---|---|
| Счётные множества |
Натуральные числа () |
Множество иррациональных чисел обычно обозначается заглавной латинской буквой 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 гг. до н. э.), пифагорейцу . Во времена пифагорейцев считалось, что существует единая единица длины, достаточно малая и неделимая, которая целое число раз входит в любой отрезок [ ] .
Нет точных данных о том, иррациональность какого числа было доказано Гиппасом. Согласно легенде он нашёл его изучая длины сторон пентаграммы. Поэтому разумно предположить, что это было золотое сечение [ ] .
Греческие математики назвали это отношение несоизмеримых величин алогос (невыразимым), однако согласно легендам не воздали Гиппасу должного уважения. Существует легенда, что Гиппас совершил открытие, находясь в морском походе, и был выброшен за борт другими пифагорейцами «за создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям». Открытие Гиппаса поставило перед пифагорейской математикой серьёзную проблему, разрушив лежавшее в основе всей теории предположение, что числа и геометрические объекты едины и неразделимы.
Все рациональные числа можно представить в виде обыкновенной дроби. Это касается и целых чисел (например, 12, –6, 0), и конечных десятичных дробей (например, 0,5; –3,8921) , и бесконечных периодических десятичных дробей (например, 0,11(23); –3,(87)).
Однако бесконечные непериодические десятичные дроби представить в виде обыкновенных дробей невозможно. Они то и являются иррациональными числами (то есть нерациональными). Примером такого числа является число π, которое приблизительно равно 3,14. Однако чему оно точно равно, определить нельзя, так как после цифры 4 идет бесконечный ряд других цифр, в которых нельзя выделить повторяющиеся периоды. При этом, хотя число π нельзя точно выразить, у него есть конкретный геометрический смысл. Число π - это отношение длины любой окружности к длине ее диаметра. Таким образом иррациональные числа действительно существуют в природе, также как рациональные.
Другим примером иррациональных чисел могут служить квадратные корни из положительных чисел. Извлечение корней из одних чисел дает рациональные значения, из других - иррациональное. Например, √4 = 2, т. е. корень из 4 - это рациональное число. А вот √2, √5, √7 и многие другие дают в результате иррациональные числа, т. е. их можно извлечь лишь с приближением, округлив до определенного знака после запятой. При этом дробь получается непериодическая. То есть нельзя точно и определенно сказать, чему равен корень из этих чисел.
Так √5 - это число лежащее между числами 2 и 3, так как √4 = 2, а √9 = 3. Можно также сделать вывод, что √5 ближе к 2, чем к 3, т. к. √4 ближе к √5, чем √9 к √5. Действительно, √5 ≈ 2,23 или √5 ≈ 2,24.
Иррациональные числа получаются также в других вычислениях (а не только при извлечении корней), бывают отрицательными.
По отношению к иррациональным числам можно сказать, что какой бы единичный отрезок мы не взяли для измерения длины, выраженной таким числом, мы не сможем ее определенно измерить.
В арифметических операциях иррациональные числа могут участвовать наряду с рациональными. При этом есть ряд закономерностей. Например, если в арифметической операции участвуют только рациональные числа, то в результате получается всегда рациональное число. Если же в операции участвуют только иррациональные, то сказать однозначно, получится ли рациональное или иррациональное число, нельзя.
Например, если умножить два иррациональных числа √2 * √2, то получится 2 - это рациональное число. С другой стороны, √2 * √3 = √6 - это иррациональное число.
Если в арифметической операции участвует рациональное и иррациональное числа, то получится иррациональный результат. Например, 1 + 3,14... = 4,14... ; √17 – 4.
Почему √17 – 4 - это иррациональное число? Представим, что получится рациональное число x. Тогда √17 = x + 4. Но x + 4 - это рациональное число, т. к. мы предположили, что x рациональное. Число 4 тоже рациональное, значит x + 4 рационально. Однако рациональное число не может быть равно иррациональному √17. Поэтому предположение, что √17 – 4 дает рациональный результат неверно. Результат арифметической операции будет иррациональным.
Однако из этого правила есть исключение. Если мы умножаем иррациональное число на 0, то получится рациональное число 0.