Квадратный корень иррациональные числа. Иррациональное число. Иррациональные числа $\mathbb{I}$
Рациональным называется число, которое можно представить в виде дроби , где 
. Q– множество всех рациональных чисел.
Рациональные числа подразделяются на: положительные, отрицательные и нуль.
Каждому рациональному числу можно поставить в соответствие единственную точку координатной прямой. Отношению «левее» для точек соответствует отношение «меньше» для координат этих точек. Можно заметить, что всяко отрицательное число меньше нуля и всякого положительного числа; из двух отрицательных чисел меньше то, модуль которого больше. Так, -5.3<-4.1, т.к. |5.3|>|4.1|.
Всякое рационально число можно представить десятичной периодической дробью. Например, .
Алгоритмы действий над рациональными числами вытекают из правил знаков соответствующих действий над нулем и положительными дробями. В Qвыполняется деление, кроме деления на нуль.
Любое линейное уравнение, т.е. уравнение вида ax+b=0, где , разрешимо на множестве Q, но не любое квадратное уравнение вида 
, разрешимо в рациональных числах. Не каждая точка координатной прямой имеет рациональную точку. Еще в конце VIв до. н. э в школе Пифагора было доказано, что диагональ квадрата не соизмерима с его высотой, что равносильно утверждению: «Уравнение не имеет рациональных корней». Всё перечисленное привело к необходимости расширения множества Q, было введено понятие иррационального числа. Обозначим множество иррациональных чисел буквой J
.
На координатной прямой иррациональные координаты имею все точки, которые не имеют рациональных координат. , где r– множеств действительных чисел. Универсальным способом задания действительных чисел являются десятичные дроби. Периодические десятичные дроби задают рациональные числа, а непериодические – иррациональные числа. Так, 2,03(52) – рациональное число, 2,03003000300003… (период каждой следующие цифрой «3» записывается на один нуль больше) – иррациональное число.
Множества Qи Rобладают свойствами положительности: между любыми двумя рациональными числами существует рациональное число, например, есои a Для всякого иррационального числа α
можно указать рациональное приближение как с недостатком так и с избытком с любой точностью: a< α
Операция извлечения корня из некоторых рациональных чисел приводит к иррациональным числам. Извлечение корня натуральной степени – алгебраическая операция, т.е. ее введение связано с решение алгебраического уравнения вида Арифметическим корнем (для краткости корнем) n-й степени из неотрицательного числа а называется неотрицательное число bкоторое является корнем уравнения . Корень n-ой степени из числа а обозначается символом . При n=2 степень корня 2 не указывается: . Например, , т.к. 2 2 =4 и 2>0; , т.к. 3 3 =27 и 3>0; не существует т.к. -4<0. При n=2kи a>0 корни уравнении (1) записываются так и . Например, корни уравнения х 2 =4 равны 2 и -2. При nнечетном уравнение (1) имеет единственный корень для любого . Если a≥0, то - корень этого уравнения. Если a<0, то –а>0 и - корень уравнения. Так, уравнение х 3 =27 имеет корень . Иррациональными называют такие числа, которые в десятичной записи представляют собой бесконечные непериодические десятичные дроби. Так, например, числа, полученные путем извлечения квадратного корня из натуральных чисел, являются иррациональными и не являются квадратами натуральных чисел.
Но не все иррациональные числа получают путем извлечения квадратных корней, ведь полученное методом деления, число «пи», также является иррациональным, и его вы вряд ли получите, пытаясь извлечь квадратный корень из натурального числа. В отличие от чисел, записанных бесконечной десятичной дробью, только иррациональные числа записываются непериодическими бесконечными десятичными дробями. Иногда достаточно сложно ответить на вопрос, является ли число иррациональным, особенно в случаях, когда число имеет вид десятичной дроби или в виде числового выражения, корня или логарифма. Поэтому не лишним будет знать, какие числа не относятся к иррациональным. Если следовать определения иррациональных чисел, то нам уже известно, что рациональные числа не могут быть иррациональными. Иррациональными числами не являются: Во-первых, все натуральные числа; Кроме всего перечисленного, иррациональным числом не может быть любая комбинация рациональных чисел, которая выполняется знаками арифметических операций, как +, -, , :, так как при этом итогом двух рациональных чисел будет также рациональное число. А теперь посмотрим, какие же из чисел являются иррациональными: А известно ли вам о существовании фан-клуба, где поклонники этого загадочного математического феномена ищут все новые сведения о Пи, пытаясь разгадать его тайну. Членом этого клуба может сталь любой человек, который знает наизусть определенное количество чисел Пи после запятой; А знаете ли вы, что в Германии под охраной ЮНЕСКО находится дворец Кастадель Монте, благодаря пропорциям которого можно вычислить Пи. Целый дворец посвятил этому числу король Фридрих II. Оказывается, число Пи пытались использовать при строительстве Вавилонской башни. Но к превеликому сожалению, это привело к краху проекта, так как на тот момент было недостаточно изучено точное исчисление значения Пи. Певица Кейт Буш в своем новом диске записала песню под названием «Пи», в которой прозвучало сто двадцать четыре числа из знаменитого числового ряда 3, 141….. С отрезком единичной длины, знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа . Иррациональными являются: Допустим противное: рационален , то есть представляется в виде несократимой дроби , где и - целые числа . Возведём предполагаемое равенство в квадрат: Отсюда следует, что чётно, значит, чётно и . Пускай , где целое. Тогда Следовательно, чётно, значит, чётно и . Мы получили, что и чётны, что противоречит несократимости дроби . Значит, исходное предположение было неверным, и - иррациональное число. Допустим противное: рационален , то есть представляется в виде дроби , где и - целые числа . Поскольку , и могут быть выбраны положительными. Тогда Но чётно, а нечётно. Получаем противоречие. Концепция иррациональных чисел была неявным образом воспринята индийскими математиками в VII веке до нашей эры, когда Манава (ок. 750 г. до н. э. - ок. 690 г. до н. э.) выяснил, что квадратные корни некоторых натуральных чисел, таких как 2 и 61, не могут быть явно выражены. Первое доказательство существования иррациональных чисел обычно приписывается Гиппасу из Метапонта (ок. 500 гг. до н. э.), пифагорейцу , который нашёл это доказательство, изучая длины сторон пентаграммы. Во времена пифагорейцев считалось, что существует единая единица длины, достаточно малая и неделимая, которая целое число раз входит в любой отрезок. Однако Гиппас обосновал, что не существует единой единицы длины, поскольку предположение о её существовании приводит к противоречию. Он показал, что если гипотенуза равнобедренного прямоугольного треугольника содержит целое число единичных отрезков, то это число должно быть одновременно и четным, и нечетным. Доказательство выглядело следующим образом: Греческие математики назвали это отношение несоизмеримых величин алогос
(невыразимым), однако согласно легендам не воздали Гиппасу должного уважения. Существует легенда, что Гиппас совершил открытие, находясь в морском походе, и был выброшен за борт другими пифагорейцами «за создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям». Открытие Гиппаса поставило перед пифагорейской математикой серьёзную проблему, разрушив лежавшее в основе всей теории предположение, что числа и геометрические объекты едины и неразделимы. Множество всех натуральных чисел обозначают буквой 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, и т.д.). Но не стоит думать, что иррациональные числа получаются только извлечением квадратных корней. Например, число «пи» тоже является иррациональным, а оно получено делением. И как вы не старайтесь, вы не сможете получить его, извлекая квадратный корень из любого натурального числа. - π
Таким образом, множество иррациональных чисел есть разность
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 }
Литература
. Если nнечетное, т.е. n=2k+1, где , то уравнение имеет единственный корень. Если nчетное, n=2k, где , то при a=0 уравнение имеет единственный корень х=0, при a<0 корней нет, при a>0 имеет два корня, которые противоположны друг другу. Извлечение корня – операция обратная операции возведение в натуральную степень.Определение иррационального числа
Свойства иррациональных чисел
Сумма двух неотрицательных иррациональных чисел в итоге может быть рациональным числом.
Иррациональные числа определяют дедекиндовы сечения в множестве рациональных чисел, в нижнем классе у которых нет самого большого числа, а в верхнем нет меньшего.
Любое вещественное трансцендентное число является иррациональным.
Все иррациональные числа являются либо алгебраическими, либо трансцендентными.
Множество иррациональных чисел на прямой располагаются плотно, и между его любыми двумя числами обязательно найдется иррациональное число.
Множество иррациональных чисел бесконечно, несчетно и является множеством 2-й категории.
При выполнении любой арифметической операции с рациональными числами, кроме деления на 0, его результатом будет рациональное число.
При сложении рационального числа с иррациональным, в результате всегда получается иррациональное число.
При сложении иррациональных чисел в результате мы можем получить рациональное число.
Множество иррациональных чисел не есть четным.Числа, не являются иррациональными
Во-вторых, целые числа;
В-третьих, обыкновенные дроби;
В-четвертых, разные смешанные числа;
В-пятых, это бесконечные периодические десятичные дроби.
Примеры доказательства иррациональности
Корень из 2
Двоичный логарифм числа 3
e
История
См. также
Примечания
Числовые системы
Счётные
множества
Натуральные числа () Целые () Множество рациональных чисел
Понятие иррациональных чисел
Свойства
Алгебраические и трансцендентные числа
История
Античность
Средние века
Пусть единична величина содержится в данной величине один или несколько раз, тогда эта [данная] величина соответствует целому числу… Каждая величина, которая составляет половину, или треть, или четверть единичной величины, или, сравненная с единичной величиной составляет три пятых от неё, это рациональная величина. И в целом, всякая величина, которая относится к единичной как одно число к другому, является рациональной. Если же величина не может быть представлена как несколько или часть (l/n), или несколько частей (m/n) единичной длины, она иррациональная, то есть невыразимая иначе как с помощью корней.
