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

Доказательство иррациональности √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 первым показало, что мир не помещается в дроби.