Нерациональные числа. Рациональные и иррациональные числа



Материал этой статьи представляет собой начальную информацию про иррациональные числа . Сначала мы дадим определение иррациональных чисел и разъясним его. Дальше приведем примеры иррациональных чисел. Наконец, рассмотрим некоторые подходы к выяснению, является ли заданное число иррациональным или нет.

Навигация по странице.

Определение и примеры иррациональных чисел

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

Так мы подошли к определению иррациональных чисел .

Определение.

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

Озвученное определение позволяет привести примеры иррациональных чисел . Например, бесконечная непериодическая десятичная дробь 4,10110011100011110000… (количество единиц и нулей каждый раз увеличивается на одну) является иррациональным числом. Приведем еще пример иррационального числа: −22,353335333335… (число троек, разделяющих восьмерки, каждый раз увеличивается на две).

Следует отметить, что иррациональные числа достаточно редко встречаются именно в виде бесконечных непериодических десятичных дробей. Обычно они встречаются в виде , и т.п., а также в виде специально введенных букв. Самыми известными примерами иррациональных чисел в такой записи являются арифметический квадратный корень из двух , число «пи» π=3,141592… , число e=2,718281… и золотое число .

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

Определение.

Иррациональные числа – это действительные числа, не являющиеся рациональными.

Является ли данное число иррациональным?

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

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

  • конечные и бесконечные периодические десятичные дроби.

Также не является иррациональным числом любая композиция рациональных чисел, связанных знаками арифметических операций (+, −, ·, :). Это объясняется тем, что сумма, разность, произведение и частное двух рациональных чисел является рациональным числом. Например, значения выражений и являются рациональными числами. Здесь же заметим, что если в подобных выражениях среди рациональных чисел содержится одно единственное иррациональное число, то значение всего выражения будет иррациональным числом. Например, в выражении число - иррациональное, а остальные числа рациональные, следовательно - иррациональное число. Если бы было рациональным числом, то из этого следовала бы рациональность числа , а оно не является рациональным.

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

Доказано, что корень степени k из целого числа является рациональным числом только тогда, когда число под корнем является k-ой степенью другого целого числа, в остальных случаях такой корень задает иррациональное число. Например, числа и - иррациональные, так как не существует целого числа, квадрат которого равен 7 , и не существует целого числа, возведение которого в пятую степень дает число 15 . А числа и не являются иррациональными, так как и .

Что касается логарифмов, то доказать их иррациональность иногда удается методом от противного. Для примера докажем, что log 2 3 является иррациональным числом.

Допустим, что log 2 3 рациональное число, а не иррациональное, то есть его можно представить в виде обыкновенной дроби m/n . и позволяют записать следующую цепочку равенств: . Последнее равенство невозможно, так как в его левой части нечетное число , а в правой части – четное. Так мы пришли к противоречию, значит, наше предположение оказалось неверным, и этим доказано, что log 2 3 - иррациональное число.

Заметим, что lna при любом положительном и отличном от единицы рациональном a является иррациональным числом. Например, и - иррациональные числа.

Также доказано, что число e a при любом отличном от нуля рациональном a является иррациональным, и что число π z при любом отличном от нуля целом z является иррациональным. К примеру, числа - иррациональные.

Иррациональными числами также являются тригонометрические функции sin , cos , tg и ctg при любом рациональном и отличном от нуля значении аргумента. Например, sin1 , tg(−4) , cos5,7 , являются иррациональными числами.

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

В заключение отметим, что не стоит делать поспешных выводов относительно иррациональности заданных чисел. К примеру, кажется очевидным, что иррациональное число в иррациональной степени есть иррациональное число. Однако это не всегда так. В качестве подтверждения озвученного факта приведем степень . Известно, что - иррациональное число, а также доказано, что - иррациональное число, но - рациональное число. Также можно привести примеры иррациональных чисел, сумма, разность, произведение и частное которых есть рациональные числа. Более того, рациональность или иррациональность чисел π+e , π−e , π·e , π π , π e и многих других до сих пор не доказана.

Список литературы.

  • Математика. 6 класс: учеб. для общеобразоват. учреждений / [Н. Я. Виленкин и др.]. - 22-е изд., испр. - М.: Мнемозина, 2008. - 288 с.: ил. ISBN 978-5-346-00897-2.
  • Алгебра: учеб. для 8 кл. общеобразоват. учреждений / [Ю. Н. Макарычев, Н. Г. Миндюк, К. И. Нешков, С. Б. Суворова]; под ред. С. А. Теляковского. - 16-е изд. - М. : Просвещение, 2008. - 271 с. : ил. - ISBN 978-5-09-019243-9.
  • Гусев В. А., Мордкович А. Г. Математика (пособие для поступающих в техникумы): Учеб. пособие.- М.; Высш. шк., 1984.-351 с., ил.

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

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

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

Корень из 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$ и оно равно: $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}$ и, следовательно, иррационально.

Что и требовалось доказать.

Что такое иррациональные числа? Почему они так называются? Где они используются и что собой представляют? Немногие могут без раздумий ответить на эти вопросы. Но на самом деле ответы на них довольно просты, хоть нужны не всем и в очень редких ситуациях

Сущность и обозначение

Иррациональные числа представляют собой бесконечные непериодические Необходимость введения этой концепции обусловлена тем, что для решения новых возникающих задач уже было недостаточно ранее имеющихся понятий действительных или вещественных, целых, натуральных и рациональных чисел. Например, для того, чтобы вычислить, квадратом какой величины является 2, необходимо использовать непериодические бесконечные десятичные дроби. Кроме того, многие простейшие уравнения также не имеют решения без введения концепции иррационального числа.

Это множество обозначается как I. И, как уже ясно, эти значения не могут быть представлены в виде простой дроби, в числителе которой будет целое, а в знаменателе -

Впервые так или иначе с этим явлением столкнулись индийские математики в VII веке когда было обнаружено, что квадратные корни из некоторых величин не могут быть обозначены явно. А первое доказательство существования подобных чисел приписывают пифагорейцу Гиппасу, который сделал это в процессе изучения равнобедренного прямоугольного треугольника. Серьезный вклад в изучение этого множества привнесли еще некоторые ученые, жившие до нашей эры. Введение концепции иррациональных чисел повлекло за собой пересмотр существовавшей математической системы, вот почему они так важны.

Происхождение названия

Если ratio в переводе с латыни - это "дробь", "отношение", то приставка "ир"
придает этому слову противоположное значение. Таким образом, название множества этих чисел говорит о том, что они не могут быть соотнесены с целым или дробным, имеют отдельное место. Это и вытекает из их сущности.

Место в общей классификации

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

Свойства

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

a + b = b + a (коммутативность);

(a + b) + c = a + (b + c) (ассоциативность);

a + (-a) = 0 (существование противоположного числа);

ab = ba (переместительный закон);

(ab)c = a(bc) (дистрибутивность);

a(b+c) = ab + ac (распределительный закон);

a x 1/a = 1 (существование обратного числа);

Сравнение также проводится в соответствии с общими закономерностями и принципами:

Если a > b и b > c, то a > c (транзитивность соотношения) и. т. д.

Разумеется, все иррациональные числа могут быть преобразованы с помощью основных арифметических действий. Никаких особых правил при этом нет.

Кроме того, на иррациональные числа распространяется действие аксиомы Архимеда. Она гласит, что для любых двух величин a и b справедливо утверждение, что, взяв a в качестве слагаемого достаточное количество раз, можно превзойти b.

Использование

Несмотря на то что в обычной жизни не так уж часто приходится сталкиваться с ними, иррациональные числа не поддаются счету. Их огромное множество, но они практически незаметны. Нас повсюду окружают иррациональные числа. Примеры, знакомые всем, - это число пи, равное 3,1415926..., или e, по сути являющееся основанием натурального логарифма, 2,718281828... В алгебре, тригонометрии и геометрии использовать их приходится постоянно. Кстати, знаменитое значение "золотого сечения", то есть отношение как большей части к меньшей, так и наоборот, также

относится к этому множеству. Менее известное "серебряное" - тоже.

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

До сих пор существует масса нерешенных проблем, связанных с этим множеством. Существуют такие критерии, как мера иррациональности и нормальность числа. Математики продолжают исследовать наиболее значительные примеры на предмет принадлежности их к той или иной группе. Например, считается, что е - нормальное число, т. е. вероятность появления в его записи разных цифр одинакова. Что же касается пи, то относительно его пока ведутся исследования. Мерой иррациональности же называют величину, показывающую, насколько хорошо то или иное число может быть приближено рациональными числами.

Алгебраические и трансцендентные

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

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

Итак, алгебраическим называют такое значение, которое является корнем многочлена, не равного тождественно нулю. Например, квадратный корень из 2 будет относиться к этой категории, поскольку он является решением уравнения x 2 - 2 = 0.

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

Что интересно, ни одно, ни второе не были изначально выведены математиками в этом качестве, их иррациональность и трансцендентность были доказаны через много лет после их открытия. Для пи доказательство было приведено в 1882 году и упрощено в 1894, что положило конец спорам о проблеме квадратуры круга, которые длились на протяжении 2,5 тысяч лет. Оно до сих пор до конца не изучено, так что современным математикам есть над чем работать. Кстати, первое достаточно точное вычисление этого значения провел Архимед. До него все расчеты были слишком приблизительными.

Для е (числа Эйлера или Непера), доказательство его трансцендентности было найдено в 1873 году. Оно используется в решении логарифмических уравнений.

Среди других примеров - значения синуса, косинуса и тангенса для любых алгебраических ненулевых значений.