Две тысячи лет один постулат Евклида не давал покоя. Попытка его доказать обернулась открытием: параллельных может быть много, а пространство — искривлено. Это перевернуло геометрию и подготовило язык, на котором Эйнштейн описал тяготение.
Четыре постулата Евклида просты и очевидны. Пятый — о параллельных — звучал сложнее: через точку вне прямой проходит ровно одна прямая, ей параллельная. Математики чувствовали: такой «тяжёлый» постулат должен быть теоремой, выводимой из остальных. И две тысячи лет пытались его доказать.
Все попытки проваливались — или незаметно опирались на утверждение, равносильное самому постулату. Загадка не поддавалась.
Противоречия не возникло. Получилась стройная, непротиворечивая неевклидова геометрия — мир, где через точку проходит бесконечно много прямых, не пересекающих данную. Раз противоречия нет, то и пятый постулат не теорема: его нельзя вывести из остальных. Он — независимый выбор. Так рухнула двухтысячелетняя уверенность, что геометрия Евклида — единственно возможная.
Это и есть главный сдвиг: «прямая», «параллельность», «угол» зависят от того, на какой поверхности мы живём. Геометрия перестала быть единственной — их оказалось много.
Идею подхватил Бернхард Риман (1854): он построил геометрию пространств любой кривизны и размерности. А спустя полвека Эйнштейн взял именно риманову геометрию языком общей теории относительности: тяготение — это искривление пространства-времени массами. Свет и планеты движутся по «прямым» искривлённого мира.
Так абстрактная игра с пятым постулатом обернулась описанием реальной Вселенной. Чему это учит школьника? Смелость усомниться в «очевидном» — и проверить — иногда открывает целые миры.