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

Доказательство иррациональности √2 — одно из самых элегантных в математике, и его помещают в учебник со школы1. Предположим, что √2 = p/q, где p и q — взаимно простые целые числа. Тогда p² = 2q², значит p² чётно, значит p чётно. Запишем p = 2k. Подставим: 4k² = 2q², q² = 2k², значит q² чётно, значит q чётно. Но мы предполагали, что p и q взаимно просты — противоречие.

Доказательство иррациональности √2 — одно из самых элегантных в математике.

Легенда (вероятно, поздняя) гласит, что Гиппас из Метапонта обнародовал это открытие во время морского путешествия — и был утоплен товарищами-пифагорейцами за разрушение их доктрины2. Историчность утопления сомнительна, но эмоциональный масштаб открытия передан верно: рушилась не теорема, рушилась вера в устройство мира.

Важно понимать: √2 иррационально, но при этом алгебраическое — оно является корнем многочлена с целыми коэффициентами (x² − 2 = 0). Это не то же самое, что π или e. Иррациональных чисел очень много, и они делятся на тех, которых можно «поймать» уравнением, и тех, которых нельзя. √2 — первое из второй сцены первого ряда: его поймали ещё до Платона, но оно уже не помещалось в строй.

Десятичная запись √2 = 1.41421356237… бесконечна и непериодична — это и означает «иррациональное». Непрерывная дробь, наоборот, идеально периодична: √2 = 1 + 1/(2 + 1/(2 + 1/(2 + …))). Частичные суммы 1, 3/2, 7/5, 17/12, 41/29, … — наилучшие рациональные приближения к √2 при данном знаменателе3.

√2 встречается везде, где есть квадраты и диагонали. Формат бумаги ISO 216 (A4, A3, A5, …): отношение сторон = √2. Это единственное отношение, при котором лист, сложенный пополам, сохраняет пропорции. Лихтенберг описал это свойство в 1786 году — оно лежит в основе всей серии A-форматов4.

С тех пор число рациональных и иррациональных не сравнимо — иррациональных несравнимо больше. Но именно √2 первым показало, что мир не помещается в дроби.