Допустим противное: рационален, то есть представляется в виде несократимой дроби , где - целое число, а — натуральное число. Возведём предполагаемое равенство в квадрат:
.
Отсюда следует, что чётно, значит, чётно и . Пускай , где целое. Тогда
Следовательно, чётно, значит, чётно и . Мы получили, что и чётны, что противоречит несократимости дроби . Значит, исходное предположение было неверным, и — иррациональное число.
Множества рациональных и иррациональных чисел вместе составляют множество действительных чисел.
Арифметические операции над действительными числами обладают следующими свойствами (основные законы алгебры).
Сравнение действительных чисел производится совершенно аналогично сравнению рациональных чисел.
Если a > b, то b < a.
Кратко: Понятие модуля действительного числа