Что такое отрицательные иррациональные числа
Полный текст книги в PDF одним файлом:
В нашем арсенале инструментов появились замечательные лабораторные весы. Для работы с массами требуется только эталон-масса, наличие шкалы упрощает измерение длин. И наша работа по продолжению классифицированию остальных масс (чисел), должна быть упрощена. Однако столкнулись с неприятностью. Мы нашли «необычный» камень, положив который в правую чашу на эталон-расстояние, невозможно найти методом 3НТТ тождественное расстояние эталону-массе слева.
Мы долго размышляем. Наконец, нас осенило. Со словами «Эврика!» продолжаем эксперимент.
– А что, если левую чашу двигать и по правой части шкалы? Может это что-то даст?
Действительно, переместив левую чашу на расстоянии «A» вправо, методом 3НТТ удалось получить тождество чисел.
Удивительное свойство некоторых камней – наличие двух камней по одну сторону весов уравновешивает отсутствие масс по другую сторону.
Экспериментируя, мы нашли другой интересный камень из кучи рациональных камней – присутствие его вместе с «необычным» камнем в одной чаше никак не влияет на результат любого взвешивания.
Примечательным является то, что он уже нами чётко обозначен конкретным числовым значением, в отличие от «необычного» камня. Ничего не поменяется, если поменять «обычный» камень на «необычный», расположив чашу по другую сторону опоры на тождественном расстоянии. Либо наоборот. Вот и вся разница.
Назовём «необычный» камень – отрицательным. Число «A», тождественное ему – отрицательное число. Отрицательное число – не означает «плохое» число. Все числа хорошие, просто на все свойства чисел не хватает «хороших» названий. Символ для обозначения отрицательности – «–A».
Особое качество отрицательного камня можно указать на весах: стрелка массы-пробы вниз – обычное число, вверх – число отрицательное. Чтобы как-то различать стрелки вверх-вниз, на весах укажем направление «правильных» чисел. Логично было бы указать стрелку вниз, но история распорядилась иначе: общепринятым стало указание вверх.
С расстояниями проще: они указывают «правильное» направление – вправо. Шкалу расстояний обозначим OX. Эту ось называют – абсцисса. Шкала масс обозначается осью OY – это ордината.
Оси направлений, масштаб (эталон), точка опоры (ноль) называются координатной плоскостью.
Однажды нам попался камень «A» и ветка «B»,у которых масса и длина тождественны (A=B). В тождестве мы убедились, положив массу «A» на эталонном расстоянии с одной стороны весов, на другую – эталон «1» на расстоянии «B».
Это ещё не всё. Так же было тождество массе «2», когда по другую сторону на расстоянии «B» лежала масса «A».
Необычность была в невозможности найти тождественную массу массе «A» – она была либо больше, либо меньше, пронумерованной кучи камней. Это же относилось к расстоянию «B».
Записать данное соотношение можно так: «A*A=1*2». По-другому: A;=2, либо A=;2.
Чтобы представить число «A» рациональным числом нам не хватает цифр: 1.41421356237… – это малая часть того, что нами получено.
Иррациональные числа
Статья находится на проверке у методистов Skysmart.
Если вы заметили ошибку, сообщите об этом в онлайн-чат
(в правом нижнем углу экрана).
Определение иррациональных чисел
Иррациональное число — это действительное число, которое невозможно выразить в форме деления двух целых чисел, то есть в рациональной дроби:
Оно может быть выражено в форме бесконечной непериодической десятичной дроби.
Бесконечная периодическая десятичная дробь — это такая дробь, десятичные знаки которой повторяются в виде группы цифр или одного и того же числа.
Примеры иррациональных чисел:
Множество иррациональных чисел договорились обозначать латинской буквой I.
Действительныеили вещественные числа — это все рациональные и иррациональные числа: положительные, отрицательные и нуль.
Свойства иррациональных чисел
Какие числа являются иррациональными мы уже поняли, но это еще не все. Есть еще важная тема для изучения: их основные свойства.
Свойства иррациональных чисел:
Онлайн-подготовка к ОГЭ по математике — отличный способ снять стресс и закрепить знания перед экзаменом.
Определение рациональных чисел
А теперь наоборот: рассмотрим противоположное заданной теме определение.
Рациональное число — это такое число, которое можно представить в виде положительной или отрицательной обыкновенной дроби или нуля. Если число можно получить делением двух целых чисел — это число точно рациональное.
Рациональные числа — это те, которые можно представить в виде:
где числитель m — целое число, а знаменатель n — натуральное число.
Рациональные числа – это все натуральные, целые числа, обыкновенные дроби, бесконечные периодические дроби и конечные десятичные дроби.
Множество рациональных чисел принято обозначать латинской буквой Q.
Примеры рациональных чисел:
У рациональных чисел есть определенные законы и ряд свойств — рассмотрим каждый их них. Пусть а, b и c — любые рациональные числа.
Основные свойства действий с рациональными числами
Базовые сведения об иррациональных числах
Дроби достаточно хороши для любой практической задачи на деление, и некоторое время древние греки были убеждены, что дроби описывают все во Вселенной.
Затем один из них разобрал следствия теоремы Пифагора и задался вопросом о том, как диагональ квадрата относится к его стороне.
Из ответа на этот вопрос следовало, что некоторые задачи решить с помощью дробей невозможно.
Так родились иррациональные числа. Вместе рациональные и иррациональные числа образуют множество действительных чисел.
Прежде чем детально объяснить читателю какие числа являются иррациональными и каковы их свойства, потребуется напомнить некоторые базовые понятия.
Базовые понятия
Натуральными (от латинского “ naturalis ” – “естественный”) называют числа, возникшие из естественной нумерации предметов при счёте – например такие как 1, 2, 3 и так далее. Их последовательность, расположенная в порядке возрастания, образует так называемый натуральный ряд. Существует два конкурентных подхода к определению ряда натуральных чисел: в отечественной математической литературе он традиционно начинается с единицы, в зарубежной – с нуля.
Целыми называют числа, образованные расширением множества натуральных чисел посредством добавления отрицательных чисел и нуля: за счёт такого объединения в общем случае из меньшего числа можно вычесть большее, что уравнивает операции вычитания и сложения, образуя “кольцо целых чисел“.
Рациональными (от латинского “ ratio ” – “дробь”, “отношение”, часто в данном контексте неправильно толкуемое в популярных статьях как определение “разумный” либо аналогичное) числами называют числа вида m/n, где числитель m представлен целым числом, а знаменатель n – натуральным. Иначе говоря, рациональными являются те числа, которые возможно точно представить в виде обыкновенной дроби.
Пояснение-напоминание о дробях
Прежде чем дать определение какие числа называются иррациональными, потребуется напомнить читателю некоторые сведения о дробях и формах их представления. Общепринятыми для записи дробей являются два формата: обыкновенные (вида m/n) и десятичные (вида 0,12345). В случае десятичных дробей дополнительно вводится понятие периодичности: например, дробь 1/7 в десятичном виде может быть представлена как 0,(142857), где в скобках заключён бесконечно повторяющийся фрагмент – так называемый период дроби.
Определение иррациональных чисел
Итак, иррациональные числа – это такие числа, которые невозможно точно отобразить посредством обыкновенной дроби, но возможно представить в виде бесконечной непериодической десятичной дроби. С точки зрения иррациональности в математике, множество иррациональных чисел является разностью между множеством чисел вещественных и множеством чисел рациональных.
С понятием иррационального числа близко столкнулись ещё древние учёные: так, индийский математик Манава обнаружил, что диагональ условного квадрата с единичной стороной имеет размерность √2, что невозможно выразить явно доступными в то время средствами. Другим известным примером является так называемая “постоянная Архимеда” – число Пи (отношение диаметра окружности к её длине). Важно понимать, что для инженерных расчётов возможно использование его рациональных приближений различной степени точности в виде дробей 22⁄7, 179⁄57, 223⁄71 и так далее, но ни одна из этих дробей по определению не является точным представлением числа Пи.
Некоторые примеры рациональных и иррациональных чисел:
рациональные – дроби типа 1/3 или 0,(142857) и им подобные;
иррациональные – квадратные корни √2, √3 и √5, основание натуральных логарифмов e, число Пи и так далее.
Легко заметить, что отрицательные иррациональные числа отличаются от положительных лишь знаком и располагаются на числовой прямой симметрично относительно начала координат (нуля).
Общие признаки рациональных выражений/чисел
Вопрос “как определить иррациональные числа” не имеет однозначного ответа: если имеется некое математическое выражение для числа, то для выяснения его рациональности/иррациональности потребуется произвести детальное исследование. Резко сократить время на поиск требуемого доказательства возможно, если пойти от противного: убрать из рассмотрения числа, не являющиеся иррациональными. По определению, к ним не могут принадлежать:
все целые, натуральные и рациональные числа;
обыкновенные дроби и смешанные числа;
бесконечные и конечные периодические десятичные дроби.
Результат математических операций (сложение, умножение, вычитание и деление) над рациональными числами также не является иррациональным числом. Если в исследуемое выражение входит единственное иррациональное число, то результат также будет иррациональным – однако для случая двух и более вхождений это, вообще говоря, неверно.
Некоторые признаки иррациональных выражений/чисел
Вот некоторые общеупотребительные признаки иррациональности исследуемого выражения/числа:
корень k-ой степени из целого числа будет рациональным только тогда, когда подкоренное выражение является k-ой степенью иного целого числа;
в случае использования обычных логарифмов иррациональность выражения непременно требует доказательства (здесь удобнее всего пользоваться методом “от противного”);
поскольку основанием натуральных логарифмов является иррациональное число e, то натуральный логарифм любого положительного числа также будет иррациональным;
иррациональное число e в любой рациональной (но отличной от нуля!) степени даёт иррациональный результат;
число Пи в любой целой и отличной от нуля степени даёт иррациональный результат;
все основные тригонометрические функции (такие как cos (a), sin (a), tg(a) и ctg (a)) при использовании отличного от нуля рационального аргумента в качестве результата дают иррациональное число.
Интересные факты об иррациональных числах
Как известно Пифагор возвёл числа во главе культа, основным постулатом которого являлось то, что всё во вселенной являлось целочисленном выражении. Его учение собрало последователей в тайное сообщество математиков – пифагорейцев, которое возглавил сам Пифагор. Один из последователей Пифагора – Философ-пифагореец Гиппас высчитал, что в случае, если стороны треугольника равны одной мере длины, то протяженность гипотенузы составит корень из числа 2 ( v2). Ответ полученный при извлечении квадратного корня является целым числом, а значит не имеет точного целочисленного значения, т.е. является ни чем иным как иррациональным числом. Интересный факт в том, что Пифагор, узнав что Гипас ставит под сомнение его учения о целочисленности природы, хоть и не специально, пригласил его на рыбалку, а на берег возвратился уже в одиночку… Гипаса после этой рыбалки никто уже больше не видел.
Выводы
Все вышеперечисленные признаки являются плодом строгого математического доказательства, а иные конкретные частные случаи требуют дополнительного исследования – то есть не существует всеобщих, однозначных и очевидных признаков иррациональности. Например, возведение в иррациональную степень иррационального числа совершенно не обязательно сопровождается получением иррационального результата. Кроме того, имеются частные случаи, когда вычитание, сложение, деление и умножение иррациональных чисел в итоге даёт рациональный результат. В общем случае для доказательства рациональности/иррациональности применяется специальная доказательная база, строящаяся на теории алгебраических и трансцендентных чисел. Особо отметим, что для целого ряда случаев рациональность либо иррациональность выражения/результата не доказана до сих пор.
Иррациональные числа
Что такое иррациональные числа
Если в ходе решения математической задачи получилась дробь, в которой нельзя полностью разделить числитель на знаменатель, то это иррациональное число.
Существует еще одно условие принадлежности такой дроби к иррациональным величинам. Это отсутствие периодов в наборе цифр после запятой, т.е. нет периодически повторяемой цифровой последовательности.
Иррациональным называется число, которое нельзя представить в виде законченного частного от деления двух целых величин.
Осторожно! Если преподаватель обнаружит плагиат в работе, не избежать крупных проблем (вплоть до отчисления). Если нет возможности написать самому, закажите тут.
С таким множеством сталкивались еще математики древних веков. Для них, например, было понятно, что диагональ квадрата нельзя разделить на длину его стороны и получить при этом не бесконечную дробь. Аналогичным образом характеризуется соотношение постоянной π выбранной окружности к диаметру.
Говоря простыми словами, если в обычной десятичной дроби после запятой обнаруживается бесконечное количество цифр и в них отсутствует повторяемость периодов, то это представитель иррационального множества.
Термин, обозначающий данную категорию цифр, произошел в результате сложение двух частей: ratio, что означает «соотношение» и ir, что означает отрицание. В итоге слово «иррациональный» закрепилось за дробями, не способными дать четкое соотношение.
Например, диагональ квадрата, сторона которого равна 1, не может быть представлена рациональным числом, но она имеет определенное числовое выражение. К таким же случаям можно отнести √5, √7, √10. Именно для выражения таких значений введено множество иррациональных чисел, каждое из которых может быть представлено бесконечной непериодической дробью (в отличие от рационального, которое можно представить периодической десятичной дробью).
Виды, место в общей классификации, как обозначаются
В арифметической классификации иррациональным числам выделено четкое место, наравне с рациональными, которые делятся на целые и дробные.
Для обозначения множества используют букву I. Его математическое выражение выглядит так: I=R-Q.
Алгебраические и трансцендентные
В алгебре те величины, которые могут являться квадратными корнями с целыми коэффициентами из многочленов, относятся ко множеству алгебраических. Те же, которые не могут выступать в этой роли, образуют другое множество — трансцендентных.
Происхождение термина «трансцендентный» объясняется его переводом с латыни: transcendentis — выходящий за границы. Таким образом, это величины, которые находятся за пределами множества чисел, которые могут стать квадратным корнем с целым коэффициентом из различных многочленов.
О необходимости введения такого множества впервые заговорил в 1775 году Леонард Эйлер. Стоит отметить, что во время его деятельности еще не было известно никаких трансцендентных значений.
Вычислить их пример не удавалось математикам и в последующие много лет. Лишь в 1844 году Ж.Луивилль привел всем их пример. Его теореме досталось лидирующее место в теории диофантовых приближений.
Алгебраические числа плохо приближаются рациональными, в частности, если алгебраическое число αn (n — наименьшая степень многочлена P(x) с целыми коэффициентами такого, что P(α)=0), то для любой дроби p/q справедливо выражение: 
Где С — константа, зависящая от α.
Все числа типа m/n, где n отлично от нуля, а m и n представлены целыми значениями, являются алгебраическими. Для них справедливо равенство: nx-m=0.
К понятию «алгебраические», кроме рациональных, отнесены иррациональные, для которых характерна формула n √m. При этом m и n представлены целыми числами, а n больше либо равно 2.
При любых действиях с алгебраическими числами (сложение, вычитание, деление либо умножение) результат решения будет алгебраической величиной. Кроме этого, алгебраическими будут корни многочленов, коэффициенты которых также отнесены к этому множеству.
Для чего они используются
В математике использование иррациональных чисел объясняется списком их свойств. Например, возможность точного определения величины, полученной в результате извлечения квадратного корня из 2-х, не всегда нужна. Так, в геометрии измерения длины гипотенузы часто производят приблизительно (1,4, 1,41 и т.д.). Извлечение точного квадратного корня из 2-х понадобится только при работе с абстрактной математической моделью.
Однако такие ситуации в науке существуют. Поэтому существование множества иррациональных чисел оправданно. С помощью них можно высчитать дедекиндово сечение в рациональных числах, у которых отсутствует самое большое в нижнем сегменте и самое малое — в верхнем.
Представители иррациональных значений позволяют уплотнить числовую прямую с нанесенными рациональными значениями, таким образом, что между каждой такой парой можно записать иррациональное.
Бывают случаи, что, складывая два иррациональных значения, получают рациональное.
Например, в результате сложения корня из семи (любой степени) и такого корня из семи, только со знаком минус, получается рациональное число — 0.
Сумма двух положительных иррациональных чисел также может быть рациональным значением. Однако при сложении рационального и иррационального в итоге всегда получается представитель иррациональных. Такое свойство называется отсутствием у множества замкнутости.
Исходя из сказанного, следует сделать вывод, что введение множества иррациональных чисел необходимо для увеличения точности. Например, когда между натуральными числами единицей и двойкой не было промежуточных величин, нужно было ее ввести для расширения диапазона точности.
Как вычислить иррациональное число, действия
Чтобы вычислить иррациональное число проще всего предположить, что оно рациональное и его реально представить в виде дроби p/q, не поддающейся сокращению. В результате преобразующих действий доказывается, что натуральные p и q не являются взаимно простыми. Тогда понятно, что это именно иррациональное значение, а предположение о рациональности взятой дроби ошибочно.
В целом же под понятием «иррациональное» понимается число, записать которое в виде десятичной дроби невозможно. Часть после запятой будет бесконечной:
«золотого сечения» 1,61803398…
При этом степень точности результата зависит от количества знаков, взятых после запятой.
Правда, при описании таких величин чаще используют логарифмы, корни, степени и т.п.
Чтобы в текущий момент определить принадлежность данного числа к категории иррациональных, можно воспользоваться онлайн калькулятором, в котором можно произвести вычисления до оговоренной точности.
Задание: рассчитать рациональность заданных значений.
На калькуляторе нужно задать число в виде правильной дроби (по определению, оно рациональное). Исходя из этого, результативным будет определение иррационального компонента для выражений в виде корней (со степенью n).
Видим, что, имея дело с квадратными и кубическими корнями, извлекаемая величина может быть рациональной.
Иррациональное число
Иррациона́льное число́ — это вещественное число, которое не является рациональным, то есть не может быть представлено в виде дроби 
, где 
— целые числа, 
. Иррациональное число может быть представлено в виде бесконечной непериодической десятичной дроби.
Множество иррациональных чисел обычно обозначается заглавной латинской буквой 
в полужирном начертании без заливки. Таким образом: 
, т.е. множество иррациональных чисел есть разность множеств вещественных и рациональных чисел.
О существовании иррациональных чисел, точнее отрезков, несоизмеримых с отрезком единичной длины, знали уже древние математики: им была известна, например, несоизмеримость диагонали и стороны квадрата, что равносильно иррациональности числа 
.
Содержание
Свойства
Примеры
Примеры доказательства иррациональности
Корень из 2
Допустим противное: 
рационален, то есть представляется в виде несократимой дроби , где 
и 
— целые числа. Возведём предполагаемое равенство в квадрат:
.
Отсюда следует, что 
чётно, значит, чётно и . Пускай 
, где 
целое. Тогда
Следовательно, 
чётно, значит, чётно и . Мы получили, что и чётны, что противоречит несократимости дроби . Значит, исходное предположение было неверным, и — иррациональное число.
Двоичный логарифм числа 3
Допустим противное: 
рационален, то есть представляется в виде дроби , где и — целые числа. Поскольку 
0″ border=»0″ />, и могут быть выбраны положительными. Тогда
Но 
чётно, а 
нечётно. Получаем противоречие.
История
Концепция иррациональных чисел была неявным образом воспринята индийскими математиками в VII веке до нашей эры, когда Манава (ок. 750 г. до н. э. — ок. 690 г. до н. э.) выяснил, что квадратные корни некоторых натуральных чисел, таких как 2 и 61, не могут быть явно выражены.
Первое доказательство существования иррациональных чисел обычно приписывается Гиппасу из Метапонта (ок. 500 гг. до н. э.), пифагорейцу, который нашёл это доказательство, изучая длины сторон пентаграммы. Во времена пифагорейцев считалось, что существует единая единица длины, достаточно малая и неделимая, которая целое число раз входит в любой отрезок. Однако Гиппас обосновал, что не существует единой единицы длины, поскольку предположение о её существовании приводит к противоречию. Он показал, что если гипотенуза равнобедренного прямоугольного треугольника содержит целое число единичных отрезков, то это число должно быть одновременно и четным, и нечетным. Доказательство выглядело следующим образом:
Греческие математики назвали это отношение несоизмеримых величин алогос (невыразимым), однако согласно легендам не воздали Гиппасу должного уважения. Существует легенда, что Гиппас совершил открытие, находясь в морском походе, и был выброшен за борт другими пифагорейцами «за создание элемента вселенной, который отрицает доктрину, что все сущности во вселенной могут быть сведены к целым числам и их отношениям». Открытие Гиппаса поставило перед пифагорейской математикой серьёзную проблему, разрушив лежавшее в основе всей теории предположение, что числа и геометрические объекты едины и неразделимы.
Феодор Киренский доказал иррациональность корней натуральных чисел до 17 (исключая, естественно, точные квадраты — 1, 4, 9 и 16), но остановился на этом, так как имевшаяся в его инструментарии алгебра не позволяла доказать иррациональность квадратного корня из 17. По поводу того, каким могло быть это доказательство, историками математики было высказано несколько различных предположений. Согласно наиболее правдоподобному предположению Жана Итара (1961), оно было основано на пифагорейской теории чётных и нечётных чисел, в том числе — на теореме о том, что нечётное квадратное число за вычетом единицы делится на восемь треугольных чисел.
Позже Евдокс Книдский (410 или 408 г. до н. э. — 355 или 347 г. до н. э.) развил теорию пропорций, которая принимала во внимание как рациональные, так и иррациональные отношения. Это послужило основанием для понимания фундаментальной сути иррациональных чисел. Величина стала считаться не числом, но обозначением сущностей, таких как отрезки прямых, углы, площади, объёмы, промежутки времени — сущностей, которые могут меняться непрерывно (в современном понимании этого слова). Величины были противопоставлены числам, которые могут меняться лишь «прыжками» от одного числа к соседнему, например, с 4 на 5. Числа составляются из наименьшей неделимой величины, в то время как величины можно уменьшать бесконечно.
Поскольку никакое количественное значение не сопоставлялось величине, Евдокс смог охватить и соизмеримые, и несоизмеримые величины при определении дроби как отношения двух величин, и пропорции как равенства двух дробей. Убрав из уравнений количественные значения (числа), он избежал ловушки, состоящей в необходимости назвать иррациональную величину числом. Теория Евдокса позволила греческим математикам совершить невероятный прогресс в геометрии, предоставив им необходимое логическое обоснование для работы с несоизмеримыми величинами. «Книга 10 Элементов» Евклида посвящена классификации иррациональных величин.
Средние века
Средние века ознаменовались принятием таких понятий как ноль, отрицательные числа, целые и дробные числа, сперва индийскими, затем китайскими математиками. Позже присоединились арабские математики, которые первыми стали считать отрицательные числа алгебраическими объектами (наряду и на равных правах с положительными числами), что позволило развить дисциплину, ныне называемую алгеброй.
Арабские математики соединили древнегреческие понятия «числа» и «величины» в единую, более общую идею вещественных чисел. Они критически относились к представлениям Евклида об отношениях, в противовес ей они развили теорию отношений произвольных величин и расширили понятие числа до отношений непрерывных величин. В своих комментариях на Книгу 10 Элементов Евклида, персидский математик Аль Махани (ок 800 гг. н. э.) исследовал и классифицировал квадратичные иррациональные числа (числа вида) и более общие кубические иррациональные числа. Он дал определение рациональным и иррациональным величинам, которые он и называл иррациональными числами. Он легко оперировал этими объектами, но рассуждал как об обособленных объектах, например:
 | Рациональной [величиной] является, например, 10, 12, 3%, 6% и так далее, поскольку эти величины произнесены и выражены количественно. Что не рационально, то иррационально, и невозможно произнести или представить соответствующую величину количественно. Например, квадратные корни чисел таких так 10, 15, 20 — не являющихся квадратами. |  |
В противовес концепции Евклида, что величины суть в первую очередь отрезки прямых, Аль Махани считал целые числа и дроби рациональными величинами, а квадратные и кубические корни — иррациональными. Он также ввел арифметический подход к множеству иррациональных чисел, поскольку именно он показал иррациональность следующих величин:
| результат сложения иррациональной величины и рациональной, результат вычитания рациональной величины из иррациональной, результат вычитания иррациональной величины из рациональной. | |
Египетский математик Абу Камил (ок. 850 г. н. э. — ок. 930 г. н. э.) был первым, кто счел приемлемым признать иррациональные числа решением квадратных уравнений или коэффициентами в уравнениях — в основном, в виде квадратных или кубических корней, а также корней четвёртой степени. В X веке иракский математик Аль Хашими вывел общие доказательства (а не наглядные геометрические демонстрации) иррациональности произведения, частного и результатов иных математических преобразований над иррациональными и рациональными числами. Ал Хазин (900 г. н. э. — 971 г. н. э.) приводит следующее определение рациональной и иррациональной величины:
| Пусть единична величина содержится в данной величине один или несколько раз, тогда эта [данная] величина соответствует целому числу… Каждая величина, которая составляет половину, или треть, или четверть единичной величины, или, сравненная с единичной величиной составляет три пятых от нее, это рациональная величина. И в целом, всякая величина, которая относится к единичной как одно число к другому, является рациональной. Если же величина не может быть представлена как несколько или часть (l/n), или несколько частей (m/n) единичной длины, она иррациональная, то есть невыразимая иначе как с помощью корней. | |
Многие из этих идей были позже переняты европейскими математиками после перевода на латынь арабских текстов в XII веке. Аль Хассар, арабский математик из Магриба, специализировавшийся на исламских законах о наследстве, в XII веке ввел современную символьную математическую нотацию для дробей, разделив числитель и знаменатель горизонтальной чертой. Та же нотация появилась затем в работах Фибоначчи в XIII веке. В течение XIV—XVI вв. Мадхава из Сангамаграмы и представители Керальской школы астрономии и математики исследовали бесконечные ряды, сходящиеся к некоторым иррациональным числам, например, к π, а также показали иррациональность некоторых тригонометрических функций. Джестадева привел эти результаты в книге Йуктибхаза.
Наше время
В XVII веке в математике прочно укрепились комплексные числа, вклад в изучение которых внесли Абрахам де Муавр (1667—1754) и Леонард Эйлер (1707—1783). Когда теория комплексных чисел в XIX веке стала замкнутой и чёткой, стало возможным классифицировать иррациональные числа на алгебраические и трансцендентные (доказав при этом существование трансцендентных чисел), тем самым переосмыслив работы Евклида по классификации иррациональных чисел. По этой теме в 1872 были опубликованы работы Вейерштрасса, Гейне, Кантора и Дедекинда. Хотя ещё в 1869 году Мерэ начал рассмотрения, схожие с Гейне, именно 1872 год принято считать годом рождения теории. Вейерштрасс, Кантор и Гейне обосновывали свои теории при помощи бесконечных рядов, в то время как Дедекинд работал с (ныне так называемым) Дедекиндовым сечением множества вещественных чисел, разделяя все рациональные числа на два множества с определёнными характеристическими свойствами.
Цепные дроби, тесно связанные с иррациональными числами (цепная дробь, представляющая данное число, бесконечна тогда и только тогда, когда число является иррациональным), были впервые исследованы Катальди в 1613 году, затем снова привлекли к себе внимание в работах Эйлера, а в начале XIX века — в работах Лагранжа. Дирихле также внёс значительный вклад в развитие теории цепных дробей.
В 1761 году Ламберт показал, что π не может быть рационально, а также что 
иррационально при любом ненулевом рациональном n. Хотя доказательство Ламберта можно назвать незавершённым, принято считать его достаточно строгим, особенно учитывая время его написания. Лежандр в 1794 году, после введения функции Бесселя-Клиффорда, показал, что π² иррационально, откуда иррациональность π следует тривиально (рациональное число в квадрате дало бы рациональное). Существование трансцендентных чисел было доказано Лиувиллем в 1844—1851 годах. Позже Георг Кантор (1873) показал их существование, используя другой метод, и обосновал, что любой интервал вещественного ряда содержит бесконечно много трансцендентных чисел. Шарль Эрмит доказал в 1873 году, что e трансцендентно, а Фердинанд Линдеман в 1882 году, основываясь на этом результате, показал трансцендентность π. Доказательство Линдеманна было затем упрощено Вейерштрассом в 1885 году, ещё более упрощено Давидом Гильбертом в 1893 году и, наконец, доведено до почти элементарного Адольфом Гурвицем и Паулем Горданом.