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

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

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

1) Для освобождения от иррациональности в знаменателе дроби вида . В умножаем числитель и знаменатель на

Пример 1. .

2) В случае дробей вида . Умножаем числитель и знаменатель на иррациональный множитель

соответственно, т. е. на сопряженное иррациональное выражение.

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

Пример 2. Освободиться от иррациональности в знаменателе выражения:

Решение, а) Умножаем числитель и знаменатель дроби на выражение . Получаем (при условии, что )

3) В случае выражений типа

знаменатель рассматривается как сумма (разность) и умножается на неполный квадрат разности (суммы), чтобы получить сумму (разность) кубов ((20.11), (20.12)). На тот же множитель умножается и числитель.

Пример 3. Освободиться от иррациональности в знаменателе выражений:

Решение, а) Рассматривая знаменатель данной дроби как сумму чисел и 1, умножим числитель и знаменатель на неполный квадрат разности этих чисел:

или окончательно:

В некоторых случаях требуется выполнить преобразование противоположного характера: освободить дробь от иррациональности в числителе. Оно проводится совершенно аналогично.

Пример 4. Освободиться от иррациональности в числителе дроби .

Натуральные числа

Натуральные числа определение - это целые положительные числа. Натуральные числа используют для счета предметов и многих иных целей. Вот эти числа:

Это натуральный ряд чисел.
Ноль натуральное число? Нет, ноль не является натуральным числом.
Сколько натуральных чисел существует? Существует бесконечное множество натуральных чисел.
Каково наименьшее натуральное число? Единица - это наименьшее натуральное число.
Каково наибольшее натуральное число? Его невозможно указать, ведь существует бесконечное множество натуральных чисел.

Сумма натуральных чисел есть натуральное число. Итак, сложение натуральных чисел a и b:

Произведение натуральных чисел есть натуральное число. Итак, произведение натуральных чисел a и b:

с - это всегда натуральное число.

Разность натуральных чисел Не всегда есть натуральное число. Если уменьшаемое больше вычитаемого, то разность натуральных чисел есть натуральное число, иначе - нет.

Частное натуральных чисел Не всегда есть натуральное число. Если для натуральных чисел a и b

где с - натуральное число, то это значит, что a делится на b нацело. В этом примере a - делимое, b - делитель, c - частное.

Делитель натурального числа - это натуральное число, на которое первое число делится нацело.

Каждое натуральное число делится на единицу и на себя.

Простые натуральные числа делятся только на единицу и на себя. Здесь имеется ввиду делятся нацело. Пример, числа 2; 3; 5; 7 делятся только на единицу и на себя. Это простые натуральные числа.

Единицу не считают простым числом.

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

Единицу не считают составным числом.

Множество натуральных чисел составляют единица, простые числа и составные числа.

Множество натуральных чисел обозначается латинской буквой N.

Свойства сложения и умножения натуральных чисел:

переместительное свойство сложения

сочетательное свойство сложения

(a + b) + c = a + (b + c);

переместительное свойство умножения

сочетательное свойство умножения

(ab) c = a (bc);

распределительное свойство умножения

A (b + c) = ab + ac;

Целые числа

Целые числа - это натуральные числа, ноль и числа, противоположные натуральным.

Числа, противоположные натуральным - это целые отрицательные числа, например:

1; -2; -3; -4;...

Множество целых чисел обозначается латинской буквой Z.

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

Рациональные числа - это целые числа и дроби.

Любое рациональное число может быть представлено в виде периодической дроби. Примеры:

1,(0); 3,(6); 0,(0);...

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

Любое рациональное число может быть представлено в виде дроби m/n, где m целое число,n натуральное число. Представим в виде такой дроби число 3,(6) из предыдущего примера.

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

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

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

Натуральные числа $\mathbb{N}$

Множество натуральных чисел часто обозначается как $\mathbb{N}=\lbrace 1,2,3,4... \rbrace $, и часто его дополняют нулем, обозначая $\mathbb{N}_0$.

В $\mathbb{N}$ определены операции сложения (+) и умножения ($\cdot$) со следующими свойствами для любых $a,b,c\in \mathbb{N}$:

1. $a+b\in \mathbb{N}$, $a\cdot b \in \mathbb{N}$ множество $\mathbb{N}$ замкнуто относительно операций сложения и умножения
2. $a+b=b+a$, $a\cdot b=b\cdot a$ коммутативность
3. $(a+b)+c=a+(b+c)$, $(a\cdot b)\cdot c=a\cdot (b\cdot c)$ ассоциативность
4. $a\cdot (b+c)=a\cdot b+a\cdot c$ дистрибутивность
5. $a\cdot 1=a$ является нейтральным элементом для умножения

Поскольку множество $\mathbb{N}$ содержит нейтральный элемент для умножения, но не для сложения, добавление нуля к этому множеству обеспечивает включение в него нейтрального элемента для сложения.

Кроме этих двух операций, на множестве $\mathbb{N}$ определены отношения "меньше" ($

1. $a b$ трихотомия
2. если $a\leq b$ и $b\leq a$, то $a=b$ антисимметрия
3. если $a\leq b$ и $b\leq c$, то $a\leq c$ транзитивность
4. если $a\leq b$, то $a+c\leq b+c$
5. если $a\leq b$, то $a\cdot c\leq b\cdot c$

Целые числа $\mathbb{Z}$

Примеры целых чисел:
$1, -20, -100, 30, -40, 120...$

Решение уравнения $a+x=b$, где $a$ и $b$ - известные натуральные числа, а $x$ - неизвестное натуральное число, требует введения новой операции - вычитания(-). Если существует натуральное число $x$, удовлетворяющее этому уравнению, то $x=b-a$. Однако, это конкретное уравнение не обязательно имеет решение на множестве $\mathbb{N}$, поэтому практические соображения требуют расширения множества натуральных чисел таким образом, чтобы включить решения такого уравнения. Это приводит к введению множества целых чисел: $\mathbb{Z}=\lbrace 0,1,-1,2,-2,3,-3...\rbrace$.

Поскольку $\mathbb{N}\subset \mathbb{Z}$, логично предположить, что введенные ранее операции $+$ и $\cdot$ и отношения $ 1. $0+a=a+0=a$ существует нейтральный элемент для сложения
2. $a+(-a)=(-a)+a=0$ существует противоположное число $-a$ для $a$

Свойство 5.:
5. если $0\leq a$ и $0\leq b$, то $0\leq a\cdot b$

Множество $\mathbb{Z} $ замкнуто также и относительно операции вычитания, то есть $(\forall a,b\in \mathbb{Z})(a-b\in \mathbb{Z})$.

Рациональные числа $\mathbb{Q}$

Примеры рациональных чисел:
$\frac{1}{2}, \frac{4}{7}, -\frac{5}{8}, \frac{10}{20}...$

Теперь рассмотрим уравнения вида $a\cdot x=b$, где $a$ и $b$ - известные целые числа, а $x$ - неизвестное. Чтобы решение было возможным, необходимо ввести операцию деления ($:$), и решение приобретает вид $x=b:a$, то есть $x=\frac{b}{a}$. Опять возникает проблема, что $x$ не всегда принадлежит $\mathbb{Z}$, поэтому множество целых чисел необходимо расширить. Таким образом вводится множество рациональных чисел $\mathbb{Q}$ с элементами $\frac{p}{q}$, где $p\in \mathbb{Z}$ и $q\in \mathbb{N}$. Множество $\mathbb{Z}$ является подмножеством, в котором каждый элемент $q=1$, следовательно $\mathbb{Z}\subset \mathbb{Q}$ и операции сложения и умножения распространяются и на это множество по следующим правилам, которые сохраняют все вышеперечисленные свойства и на множестве $\mathbb{Q}$:
$\frac{p_1}{q_1}+\frac{p_2}{q_2}=\frac{p_1\cdot q_2+p_2\cdot q_1}{q_1\cdot q_2}$
$\frac{p-1}{q_1}\cdot \frac{p_2}{q_2}=\frac{p_1\cdot p_2}{q_1\cdot q_2}$

Деление вводится таким образом:
$\frac{p_1}{q_1}:\frac{p_2}{q_2}=\frac{p_1}{q_1}\cdot \frac{q_2}{p_2}$

На множестве $\mathbb{Q}$ уравнение $a\cdot x=b$ имеет единственное решение для каждого $a\neq 0$ (деление на ноль не определено). Это значит, что существует обратный элемент $\frac{1}{a}$ or $a^{-1}$:
$(\forall a\in \mathbb{Q}\setminus\lbrace 0\rbrace)(\exists \frac{1}{a})(a\cdot \frac{1}{a}=\frac{1}{a}\cdot a=a)$

Порядок множества $\mathbb{Q}$ можно расширить таким образом:
$\frac{p_1}{q_1}

Множество $\mathbb{Q}$ имеет одно важное свойство: между любыми двумя рациональными числами находится бесконечно много других рациональных чисел, следовательно, не существует двух соседних рациональных чисел, в отличие от множеств натуральных и целых чисел.

Иррациональные числа $\mathbb{I}$

Примеры иррациональных чисел:
$0.333333...$
$\sqrt{2} \approx 1.41422135...$
$\pi \approx 3.1415926535...$

Ввиду того, что между любыми двумя рациональными числами находится бесконечно много других рациональных чисел, легко можно сделать ошибочный вывод, что множество рациональных чисел настолько плотное, что нет необходимости в его дальнейшем расширении. Даже Пифагор в свое время сделал такую ошибку. Однако, уже его современники опровергли этот вывод при исследовании решений уравнения $x\cdot x=2$ ($x^2=2$) на множестве рациональных чисел. Для решения такого уравнения необходимо ввести понятие квадратного корня, и тогда решение этого уравнения имеет вид $x=\sqrt{2}$. Уравнение типа $x^2=a$, где $a$ - известное рациональное число, а $x$ - неизвестное, не всегда имеет решение на множестве рациональных чисел, и опять возникает необходимость в расширении множества. Возникает множество иррациональных чисел, и такие числа как $\sqrt{2}$, $\sqrt{3}$, $\pi$... принадлежат этому множеству.

Действительные числа $\mathbb{R}$

Объединением множеств рациональных и иррациональных чисел является множество действительных чисел. Поскольку $\mathbb{Q}\subset \mathbb{R}$, снова логично предположить, что введенные арифметические операции и отношения сохраняют свои свойства на новом множестве. Формальное доказательство этого весьма сложно, поэтому вышеупомянутые свойства арифметических операций и отношения на множестве действительных чисел вводятся как аксиомы. В алгебре такой объект называется полем, поэтому говорят, что множество действительных чисел является упорядоченным полем.

Для того, чтобы определение множества действительных чисел было полным, необходимо ввести дополнительную аксиому, различающую множества $\mathbb{Q}$ и $\mathbb{R}$. Предположим, что $S$ - непустое подмножество множества действительных чисел. Элемент $b\in \mathbb{R}$ называется верхней границей множества $S$, если $\forall x\in S$ справедливо $x\leq b$. Тогда говорят, что множество $S$ ограничено сверху. Наименьшая верхняя граница множества $S$ называется супремум и обозначается $\sup S$. Аналогично вводятся понятия нижней границы, множества, ограниченного снизу, и инфинума $\inf S$ . Теперь недостающая аксиома формулируется следующим образом:

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

Комплексные числа$\mathbb{C}$

Примеры комплексных чисел:
$(1, 2), (4, 5), (-9, 7), (-3, -20), (5, 19),...$
$1 + 5i, 2 - 4i, -7 + 6i...$ где $i = \sqrt{-1}$ или $i^2 = -1$

Множество комплексных чисел представляет собой все упорядоченные пары действительных чисел, то есть $\mathbb{C}=\mathbb{R}^2=\mathbb{R}\times \mathbb{R}$, на котором операции сложения и умножения определены следующим образом:
$(a,b)+(c,d)=(a+b,c+d)$
$(a,b)\cdot (c,d)=(ac-bd,ad+bc)$

Существует несколько форм записи комплексных чисел, из которых самая распространенная имеет вид $z=a+ib$, где $(a,b)$ - пара действительных чисел, а число $i=(0,1)$ называется мнимой единицей.

Легко показать, что $i^2=-1$. Расширение множества $\mathbb{R}$ на множество $\mathbb{C}$ позволяет определить квадратный корень из отрицательных чисел, что и послужило причиной введения множества комплексных чисел. Также легко показать, что подмножество множества $\mathbb{C}$, заданное как $\mathbb{C}_0=\lbrace (a,0)|a\in \mathbb{R}\rbrace$, удовлетворяет всем аксиомам для действительных чисел, следовательно $\mathbb{C}_0=\mathbb{R}$, или $R\subset\mathbb{C}$.

Алгебраическая структура множества $\mathbb{C}$ относительно операций сложения и умножения имеет следующие свойства:
1. коммутативность сложения и умножения
2. ассоциативность сложения и умножения
3. $0+i0$ - нейтральный элемент для сложения
4. $1+i0$ - нейтральный элемент для умножения
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 } Литература

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

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

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

Свойства

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

Примеры

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

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

Корень из 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 нечетное. Противоречие.

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