Безумные русские ученые. Беспощадная наука со смыслом

Гаусс, Лобачевский и Бойаи поняли, что аксиома Евклида о параллельных не может быть доказана на основе девяти остальных аксиом и что для обоснования евклидовой геометрии необходимо принять какую-то дополнительную аксиому о параллельных прямых. А поскольку дополнительная аксиома не зависит от остальных, то, во всяком случае, логически вполне допустимо принять противоположное ей утверждение – и далее выводить следствие из новой аксиомы.

С чисто математической точки зрения содержание работ Гаусса, Лобачевского и Бойаи просто. Ограничимся лишь рассмотрением варианта неевклидовой геометрии, предложенного Лобачевским, так как все трое сделали по существу одно и то же. Русский математик допускает сначала, что через точку можно провести несколько прямых параллельных данной прямой. Кроме этой все другие аксиомы Евклида он сохраняет. Из этой гипотезы он выводит ряд теорем, между которыми нельзя указать никакого противоречия, и строит геометрию, непогрешимая логика которой ни в чем не уступает евклидовой геометрии. Теоремы, конечно, весьма отличаются от тех, к которым мы привыкли, и на первый взгляд кажутся несколько странными.