С отрезком единичной длины, знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа .
Иррациональными являются:
Примеры доказательства иррациональности
Корень из 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 нечетное. Противоречие.
Греческие математики назвали это отношение несоизмеримых величин алогос (невыразимым), однако согласно легендам не воздали Гиппасу должного уважения. Существует легенда, что Гиппас совершил открытие, находясь в морском походе, и был выброшен за борт другими пифагорейцами «за создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям». Открытие Гиппаса поставило перед пифагорейской математикой серьёзную проблему, разрушив лежавшее в основе всей теории предположение, что числа и геометрические объекты едины и неразделимы.
См. также
Примечания
| Числовые системы | |
|---|---|
| Счётные множества |
Натуральные числа () |
Иррациона́льное число́ - это вещественное число , которое не является рациональным , то есть не может быть представлено в виде дроби , где - целые числа , . Иррациональное число может быть представлено в виде бесконечной непериодической десятичной дроби .
Множество иррациональных чисел обычно обозначается заглавной латинской буквой в полужирном начертании без заливки. Таким образом: , т.е. множество иррациональных чисел есть разность множеств вещественных и рациональных чисел.
О существовании иррациональных чисел, точнее отрезков , несоизмеримых с отрезком единичной длины, знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа .
Свойства
- Всякое вещественное число может быть записано в виде бесконечной десятичной дроби , при этом иррациональные числа и только они записываются непериодическими бесконечными десятичными дробями.
- Иррациональные числа определяют Дедекиндовы сечения в множестве рациональных чисел, у которых в нижнем классе нет наибольшего, а в верхнем нет наименьшего числа.
- Каждое вещественное трансцендентное число является иррациональным.
- Каждое иррациональное число является либо алгебраическим , либо трансцендентным.
- Множество иррациональных чисел всюду плотно на числовой прямой: между любыми двумя числами имеется иррациональное число.
- Порядок на множестве иррациональных чисел изоморфен порядку на множестве вещественных трансцендентных чисел.
- Множество иррациональных чисел несчётно , является множеством второй категории .
Примеры
| Иррациональные числа
- ζ(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-й категории.
При выполнении любой арифметической операции с рациональными числами, кроме деления на 0, его результатом будет рациональное число.
При сложении рационального числа с иррациональным, в результате всегда получается иррациональное число.
При сложении иррациональных чисел в результате мы можем получить рациональное число.
Множество иррациональных чисел не есть четным.
Числа, не являются иррациональными
Иногда достаточно сложно ответить на вопрос, является ли число иррациональным, особенно в случаях, когда число имеет вид десятичной дроби или в виде числового выражения, корня или логарифма.
Поэтому не лишним будет знать, какие числа не относятся к иррациональным. Если следовать определения иррациональных чисел, то нам уже известно, что рациональные числа не могут быть иррациональными.
Иррациональными числами не являются:
Во-первых, все натуральные числа;
Во-вторых, целые числа;
В-третьих, обыкновенные дроби;
В-четвертых, разные смешанные числа;
В-пятых, это бесконечные периодические десятичные дроби.
Кроме всего перечисленного, иррациональным числом не может быть любая комбинация рациональных чисел, которая выполняется знаками арифметических операций, как +, -, , :, так как при этом итогом двух рациональных чисел будет также рациональное число.
А теперь посмотрим, какие же из чисел являются иррациональными:
А известно ли вам о существовании фан-клуба, где поклонники этого загадочного математического феномена ищут все новые сведения о Пи, пытаясь разгадать его тайну. Членом этого клуба может сталь любой человек, который знает наизусть определенное количество чисел Пи после запятой;
А знаете ли вы, что в Германии под охраной ЮНЕСКО находится дворец Кастадель Монте, благодаря пропорциям которого можно вычислить Пи. Целый дворец посвятил этому числу король Фридрих II.
Оказывается, число Пи пытались использовать при строительстве Вавилонской башни. Но к превеликому сожалению, это привело к краху проекта, так как на тот момент было недостаточно изучено точное исчисление значения Пи.
Певица Кейт Буш в своем новом диске записала песню под названием «Пи», в которой прозвучало сто двадцать четыре числа из знаменитого числового ряда 3, 141…..
Иррациональное число может быть представлено в виде бесконечной непериодической дроби. Множество иррациональных чисел обозначают $I$ и оно равно: $I=R / Q$ .
Например . Иррациональными числами являются:
Операции над иррациональными числами
На множестве иррациональных чисел можно ввести четыре основные арифметические операции: сложение , вычитание , умножение и деление ; но ни для одной из перечисленных операций множество иррациональных чисел не обладает свойством замкнутости. Например, сумма двух иррациональных чисел может быть числом рациональным.
Например . Найдем сумму двух иррациональных чисел $0,1010010001 \ldots$ и $0,0101101110 \ldots$ . Первое из этих чисел образовано последовательностью единиц, разделенных соответственно одним нулем, двумя нулями, тремя нулями и т.д., второе - последовательностью нулей, между которыми поставлены одна единица, две единицы, три единицы и т.д.:
$$0,1010010001 \ldots+0,0101101110 \ldots=0,111111=0,(1)=\frac{1}{9}$$
Таким образом, сумма двух заданных иррациональных чисел есть число $\frac{1}{9}$ , которое является рациональным.
Пример
Задание. Доказать, что число $\sqrt{3}$ является иррациональным.
Доказательство. Будем использовать метод доказательства от противного. Предположим, что $\sqrt{3}$ число рациональное, то есть может быть представлено в виде дроби $\sqrt{3}=\frac{m}{n}$ , где $m$ и $n$ - взаимно простые натуральные числа.
Возведем обе части равенства в квадрат, получим
$$3=\frac{m^{2}}{n^{2}} \Leftrightarrow 3 \cdot n^{2}=m^{2}$$
Число 3$\cdot n^{2}$ делится на 3. Поэтому $m^{2}$ и, следовательно, $m$ делится на 3. Полагая $m=3 \cdot k$, равенство $3 \cdot n^{2}=m^{2}$ можно записать в виде
$$3 \cdot n^{2}=(3 \cdot k)^{2} \Leftrightarrow 3 \cdot n^{2}=9 \cdot k^{2} \Leftrightarrow n^{2}=3 \cdot k^{2}$$
Из последнего равенства следует, что $n^{2}$ и $n$ делятся на 3, следовательно, дробь $\frac{m}{n}$ можно сократить на 3. Но по предположению дробь $\frac{m}{n}$ несократима. Полученное противоречие и доказывает, что число $\sqrt{3}$ непредставимо в виде дроби $\frac{m}{n}$ и, следовательно, иррационально.
Что и требовалось доказать.
Множество всех натуральных чисел обозначают буквой N. Натуральные числа, это числа которые мы используем для счета предметов: 1,2,3,4, … В некоторых источниках, к натуральным числам относят также число 0.
Множество всех целых чисел обозначается буквой Z. Целые числа это все натуральные числа, нуль и отрицательные числа:
1,-2,-3, -4, …
Теперь присоединим к множеству всех целых чисел множество всех обыкновенных дробей: 2/3, 18/17, -4/5 и та далее. Тогда мы получим множество всех рациональных чисел.
Множество рациональных чисел
Множество всех рациональных чисел обозначается буквой Q. Множество всех рациональных чисел (Q) - это множество, состоящее из чисел вида m/n, -m/n и числа 0. В качестве n,m может выступать любое натуральное число. Следует отметить, что все рациональные числа, можно представить в виде конечной или бесконечной ПЕРЕОДИЧЕСКОЙ десятичной дроби. Верно и обратное, что любую конечную или бесконечную периодическую десятичную дробь можно записать в виде рационального числа.
А как же быть например с числом 2.0100100010… ? Оно является бесконечно НЕПЕРЕОДИЧСЕКОЙ десятичной дробью. И оно не относится к рациональным числам.
В школьном курсе алгебры изучаются только вещественные (или действительные) числа. Множество всех действительных чисел обозначается буквой R. Множество R состоит из всех рациональных и всех иррациональных чисел.
Понятие иррациональных чисел
Иррациональные числа - это все бесконечные десятичные непериодические дроби. Иррациональные числа не имеют специального обозначения.
Например, все числа полученные извлечением квадратного корня из натуральных чисел, не являющихся квадратами натуральных чисел - будут иррациональными. (√2, √3, √5, √6, и т.д.).
Но не стоит думать, что иррациональные числа получаются только извлечением квадратных корней. Например, число «пи» тоже является иррациональным, а оно получено делением. И как вы не старайтесь, вы не сможете получить его, извлекая квадратный корень из любого натурального числа.
