2 иррациональное число. Иррациональные числа, определение, примеры

Множество всех натуральных чисел обозначают буквой 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, и т.д.).

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

А свои корни они извлекли из латинского слова «ratio», что означает «разум». Исходя из дословного перевода:

• Рациональное число — это «разумное число».
• Иррациональное число, соответственно, «неразумное число».

Общее понятие рационального числа

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

1. Обыкновенной положительной дроби.
2. Отрицательной обыкновенной дроби.
3. В виде числа нуль (0).

Иными словами, к рациональному число подойдет следующие определения:

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

Примеры рационального числа

Рассмотрим примеры рациональных чисел:

• Натуральные числа — «4», «202», «200».
• Целые числа — «-36», «0», «42».
• Обыкновенные дроби.

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

Отсюда, хотелось бы напомнить общеобразовательную программу с помощью следующего определения: «Рациональными числами» — называются те числа, которые можно записать в виде дроби х/у, где х (числитель) — целое число, а у (знаменатель) — натуральное число.

Общее понятие и определение иррационального числа

Помимо «рациональных чисел» нам известны и так называемые «иррациональные числа». Вкратце попробуем дать определение данным числам.

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

Примеры иррационального числа

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

• Число «-5,020020002… (прекрасно видно, что двойки разделены последовательностью из одного, двух, трех и т.д. нулей)
• Число «7,040044000444… (здесь ясно, что число четверок и количество нулей каждый раз цепочкой увеличивается на единицу).
• Всем известное число Пи (3,1415…). Да, да — оно тоже является иррациональным.

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

Общее заключение и краткое сравнение между числами

Мы рассмотрели каждое число по отдельности, осталось отличие между рациональным числом и иррациональным:

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

Заключим нашу статью несколькими определениями:

• Арифметическая операция, произведенная над рациональным числом, кроме деления на 0 (нуль), в конечном результате приведет тоже к рациональному числу.
• Конечный результат же, при совершении арифметической операции над иррациональным числом, может привести как к рациональному так и к иррациональному значению.
• Если же в арифметической операции принимают участие и те и другие числа (кроме деления или умножения на нуль), то результат нам выдаст иррациональное число.

Все рациональные числа можно представить в виде обыкновенной дроби. Это касается и целых чисел (например, 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.

И π

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

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

Свойства

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

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

Каждое иррациональное число является либо алгебраическим , либо трансцендентным . Множество алгебраических чисел является счётным множеством . Так как множество вещественных чисел несчётно, то множество иррациональных чисел несчётно.

Множество иррациональных чисел является множеством второй категории .

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

История

Античность

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

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

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

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

Позже Евдокс Книдский (410 или 408 г. до н. э. - 355 или 347 г. до н. э.) развил теорию пропорций, которая принимала во внимание как рациональные, так и иррациональные отношения. Это послужило основанием для понимания фундаментальной сути иррациональных чисел. Величина стала считаться не числом, но обозначением сущностей, таких как отрезки прямых, углы, площади, объёмы, промежутки времени - сущностей, которые могут меняться непрерывно (в современном понимании этого слова). Величины были противопоставлены числам, которые могут меняться лишь «прыжками» от одного числа к соседнему, например, с 4 на 5. Числа составляются из наименьшей неделимой величины, в то время как величины можно уменьшать бесконечно.

Поскольку никакое количественное значение не сопоставлялось величине, Евдокс смог охватить и соизмеримые, и несоизмеримые величины при определении дроби как отношения двух величин, и пропорции как равенства двух дробей. Убрав из уравнений количественные значения (числа), он избежал ловушки, состоящей в необходимости назвать иррациональную величину числом. Теория Евдокса позволила греческим математикам совершить невероятный прогресс в геометрии, предоставив им необходимое логическое обоснование для работы с несоизмеримыми величинами. Десятая книга «Начал » Евклида посвящена классификации иррациональных величин.

Средние века

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

Арабские математики соединили древнегреческие понятия «числа» и «величины» в единую, более общую идею вещественных чисел. Они критически относились к представлениям Евклида об отношениях, в противовес ей они развили теорию отношений произвольных величин и расширили понятие числа до отношений непрерывных величин. В своих комментариях на Книгу 10 Элементов Евклида, персидский математик Аль Махани (ок 800 гг. н. э.) исследовал и классифицировал квадратичные иррациональные числа (числа вида) и более общие кубические иррациональные числа. Он дал определение рациональным и иррациональным величинам, которые он и называл иррациональными числами. Он легко оперировал этими объектами, но рассуждал как об обособленных объектах, например:

В противовес концепции Евклида, что величины суть в первую очередь отрезки прямых, Аль Махани считал целые числа и дроби рациональными величинами, а квадратные и кубические корни - иррациональными. Он также ввел арифметический подход к множеству иррациональных чисел, поскольку именно он показал иррациональность следующих величин:

Египетский математик Абу Камил (ок. 850 г. н. э. - ок. 930 г. н. э.) был первым, кто счел приемлемым признать иррациональные числа решением квадратных уравнений или коэффициентами в уравнениях - в основном, в виде квадратных или кубических корней, а также корней четвёртой степени. В X веке иракский математик Аль Хашими вывел общие доказательства (а не наглядные геометрические демонстрации) иррациональности произведения, частного и результатов иных математических преобразований над иррациональными и рациональными числами. Ал Хазин (900 г. н. э. - 971 г. н. э.) приводит следующее определение рациональной и иррациональной величины:

Многие из этих идей были позже переняты европейскими математиками после перевода на латынь арабских текстов в XII веке. Аль Хассар, арабский математик из Магриба, специализировавшийся на исламских законах о наследстве, в XII веке ввел современную символьную математическую нотацию для дробей, разделив числитель и знаменатель горизонтальной чертой. Та же нотация появилась затем в работах Фибоначчи в XIII веке. В течение XIV-XVI вв. Мадхава из Сангамаграмы и представители Керальской школы астрономии и математики исследовали бесконечные ряды, сходящиеся к некоторым иррациональным числам, например, к π, а также показали иррациональность некоторых тригонометрических функций. Джестадева привел эти результаты в книге «Йуктибхаза». (доказав при этом существование трансцендентных чисел), тем самым переосмыслив работы Евклида по классификации иррациональных чисел. По этой теме в 1872 были опубликованы работы

Цепные дроби , тесно связанные с иррациональными числами (цепная дробь, представляющая данное число, бесконечна тогда и только тогда, когда число является иррациональным), были впервые исследованы Катальди в 1613 году, затем снова привлекли к себе внимание в работах Эйлера, а в начале XIX века - в работах Лагранжа . Дирихле также внёс значительный вклад в развитие теории цепных дробей. В 1761 году Ламберт с помощю цепных дробей показал, что π {\displaystyle \pi } не является рациональным числом, а также что e x {\displaystyle e^{x}} и tg ⁡ x {\displaystyle \operatorname {tg} x} иррациональны при любом ненулевом рациональном x {\displaystyle x} . Хотя доказательство Ламберта можно назвать незавершённым, принято считать его достаточно строгим, особенно учитывая время его написания. Лежандр в 1794 году, после введения функции Бесселя - Клиффорда, показал, что π 2 {\displaystyle \pi ^{2}} иррационально, откуда иррациональность π {\displaystyle \pi } следует тривиально (рациональное число в квадрате дало бы рациональное).

Существование трансцендентных чисел было доказано Лиувиллем в 1844-1851 годах. Позже Георг Кантор (1873) показал их существование, используя другой метод, и обосновал, что любой интервал вещественного ряда содержит бесконечно много трансцендентных чисел. Шарль Эрмит доказал в 1873 году, что e трансцендентно, а Фердинанд Линдеман в 1882 году, основываясь на этом результате, показал трансцендентность π {\displaystyle \pi } Литература

Множество иррациональных чисел обычно обозначается заглавной латинской буквой 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 гг. до н. э.), пифагорейцу . Во времена пифагорейцев считалось, что существует единая единица длины, достаточно малая и неделимая, которая целое число раз входит в любой отрезок [ ] .

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

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