На другое следствие наткнулся Валлис: подобных треугольников в таком пространстве не существует. Эти два следствия связаны между собой, поскольку угловой дефект зависит то размеров треугольника. Чем больше треугольник, тем больше угловой дефект, а маленькие треугольники – более евклидовы. В гиперболическом пространстве к евклидовым формам можно приблизиться, но достигнуть их нельзя – в точности как вы не достигнете скорости света или своего идеального веса.
Вроде бы малое изменение простой аксиомы – постулата параллельности, однако его хватило, чтобы породить волну, прокатившуюся по всему корпусу евклидовых теорем и поменявшую каждую, что описывала форму пространства. Словно Гаусс вынул стекло из евклидова окна и заменил его на искажающую линзу.
Ни Гауссу, ни Лобачевскому, ни Бойяи не удалось выработать простой способ наглядно иллюстрировать этот новый вид пространства. Это получилось у Эудженио Бельтрами и – попроще – у Анри Пуанкаре, математика, физика, философа и двоюродного брата будущего президента Франции Раймона. И тогда, и ныне Анри – менее известный Пуанкаре, но, как и его кузен, умел ввернуть словцо. «Математиками рождаются, а не становятся», – писал Пуанкаре. Так родилось это клише, и Анри прочно закрепил за собой место в народном сознании. А вот труд Анри 1880 года куда менее известен вне академических кругов – в этой работе он определил четкую модель гиперболического пространства [163] .
Создавая свою модель, Пуанкаре заменил базовые элементы типа прямой и плоскости вещественными объектами, после чего перевел аксиомы гиперболической геометрии в эти новые термины. Допустимо переводить неопределенные термины пространства как кривые или поверхности – или даже как разновидности еды, если при этом смысл, который им сообщается применимыми к ним постулатами, хорошенько определен и непротиворечив. Можно смоделировать неевклидову плоскость как поверхность зебры, считать волосяные луковицы на ее шкуре точками, а полосы – линиями, если нам так хочется, покуда такой перевод не противоречит аксиомам. Например, вспомним первый постулат Евклида применительно к пространству зебры:
...
1. От всякой волосяной луковицы до всякой волосяной луковицы можно провести кусок полосы.
Этот постулат в пространстве зебры недействителен: у полос зебры есть ширина, и полосы эти размещаются на животном в строго определенном направлении. Между двумя волосяными луковицами, расположенными вдоль какой-нибудь полосы, но смещенными от нее в стороны, не получится провести кусок полосы. Зебр в модели Пуанкаре не было. Зато она была похожа на блин.