противоречие означало бы, что аксиома, отрицающая аксиому Евклида о параллельных – единственную аксиому, вызывающую сомнения, – ложна, а, следовательно, аксиома о параллельных Евклида истинна и является следствием девяти остальных аксиом.
Над этой проблемой работали также такие математики XVIII века, как Г.С. Клюгель (1739–1812), И.Г. Ламберт (1728–1777), А.Г. Кестнер (1719–1800). Но самым выдающимся математиком среди взявшихся за решение проблемы, возникшей в связи с аксиомой Евклида о параллельных прямых, был Гаусс. Он прекрасно знал о безуспешных попытках доказать или опровергнуть аксиому о параллельных, ибо такого рода сведения не составляли секрета для геттингенских математиков. Историю проблемы параллельных досконально знал учитель Гаусса – Кестнер. Много лет спустя (в 1831 году) Гаусс сообщил своему другу Шумахеру, что еще в 1792 году, когда Гауссу было всего 15 лет, он понял возможность существования логически непротиворечивой геометрии, в которой постулат Евклида о параллельных прямых не выполняется.
Но еще более значительный вклад, чем Гаусс, в создании неевклидовой геометрии внесли два других математика: Николай Лобачевский и Янош Бойаи. В действительности их работы стали своего рода эпилогом длительного развития новаторских идей, высказанных их предшественниками, однако, поскольку Лобачевский и Бойаи первыми опубликовали дедуктивное изложение новой системы, их принято считать создателями неевклидовой геометрии.
Янош Бойаи (1802–1860) был офицером австро-венгерской армии. Свою работу (объемом в 26 страниц) по неевклидовой геометрии под названием «Приложение, содержащее науку о пространстве, абсолютно истинную, не зависящую от истинности или ложности XI аксиомы Евклида, что a priori никогда решено быть не может, с прибавлением, к случаю ложности геометрической квадратуры круга» Бойаи опубликовал в качестве приложения к первому тому латинского сочинения своего отца «Опыт введения учащегося юношества в начала чистой математики». Эта книга вышла в свет в 1831–1832 гг., после первых публикаций Лобачевского 1829–1830 гг. Бойаи, по-видимому, разработал свои идеи о неевклидовой геометрии уже в 1825 году и убедился, что новая геометрия непротиворечива. В письме к отцу от 23 ноября 1823 года Бойаи сообщает: «Я совершил столь чудесные открытия, что не могу прийти в себя от восторга».
Гаусс, Лобачевский и Бойаи поняли, что аксиома Евклида о параллельных не может быть доказана на основе девяти остальных аксиом и что для обоснования евклидовой геометрии необходимо принять какую-то дополнительную аксиому о параллельных прямых. А поскольку дополнительная аксиома не зависит от остальных, то, во всяком случае, логически вполне допустимо принять противоположное ей утверждение – и далее выводить следствие из новой аксиомы.
С чисто математической точки зрения содержание работ Гаусса, Лобачевского и Бойаи просто. Ограничимся лишь рассмотрением варианта неевклидовой геометрии, предложенного Лобачевским, так как все трое сделали по существу