Математика. Поиск истины.

Слава создателей неевклидовой геометрии по праву принадлежит двум другим математикам: Лобачевскому и Бойаи. В действительности их труды явились своего рода эпилогом в развитии идей, высказанных ранее другими учеными, но поскольку они опубликовали первые систематические изложения неевклидовой геометрии, именно они и признаны ее создателями. Русский математик Николай Иванович Лобачевский (1793-1856) закончил Казанский университет, профессором и ректором которого стал впоследствии (1827-1846). Начиная с 1825 г. он представил свои соображения по основаниям геометрии в многочисленных статьях и двух книгах. Янош Бойаи (1802-1860), сын известного венгерского математика Фаркаша Бойаи, был офицером австро-венгерской армии. Свою работу (объемом в 26 страниц) по неевклидовой геометрии под названием «Приложение, содержащее науку о пространстве, абсолютно истинную, не зависящую от истинности или ложности XI аксиомы Евклида, что a priori никогда решено быть не может, с прибавлением к случаю ложности геометрической квадратуры круга» Бойаи опубликовал в качестве приложения к первому тому сочинения своего отца «Опыт введения учащегося юношества в начала чистой математики» (Tentamen juventutem studiosam in elementa Matheoseos). Хотя эта книга вышла в 1832-1833 гг., т.е. после первых публикаций Лобачевского, Бойаи, по-видимому, разработал свои идеи по неевклидовой геометрии еще в 1825 г. и убедился в ее непротиворечивости.

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

С чисто математической точки зрения содержание работ Гаусса, Лобачевского и Бойаи очень просто. Суть дела удобнее всего пояснить на примере геометрии Лобачевского, ибо все трое по существу сделали одно и то же. Отвергнув аксиому Евклида о параллельных, Лобачевский фактически принял такое же допущение, каким некогда воспользовался Саккери. Если дана прямая AB и точка P вне ее (рис. 34), то все прямые, проходящие через точку P, распадаются относительно прямой AB на два класса, а именно на класс прямых, пересекающихся с прямой AB

и класс прямых, не пересекающихся с прямой AB. Точнее если точка P лежит на перпендикуляре к прямой AB на расстоянии a от нее, то существует острый угол A, такой, что все прямые, образующие с перпендикуляром PD угол меньшеA, пересекаются с прямой AB

, а прямые, образующие с PD угол большеA, не пересекаются с прямой AB. Две прямые p и q, образующие с перпендикуляром PD угол A, называются параллельными, а сам угол A

называется углом параллельности. Прямые, проходящие через точку P и не пересекающиеся с прямой AB, но отличные от параллельных p и q, называются расходящимися с прямой AB или сверхпараллельными ей (с точки зрения Евклида это прямые, параллельные прямой AB). В этом смысле в геометрии Лобачевского существует бесконечно много параллельных, проходящих через точку P.

Рис. 34.

Далее Лобачевский доказывает несколько ключевых теорем. Если A = π/2,  то получается аксиома Евклида о параллельных. Если угол A — острый, то при a, стремящемся к нулю, A возрастает до π/2, а при неограниченном возрастании a убывает до нуля. Сумма углов треугольника в геометрии Лобачевского всегда меньше 180° и стремится к 180° с уменьшением площади треугольника. Два подобных треугольника в геометрии Лобачевского непременно конгруэнтны.

Но, пожалуй, самое главное состоит в том, что неевклидова геометрия пригодна для описания свойств физического пространства ничуть не в меньшей мере, чем евклидова геометрия. Необходимость евклидовой геометрии как геометрии физического пространства ниоткуда не следует, ее физическая истинность не может быть гарантирована на основе априорных соображений. К пониманию этого немаловажного обстоятельства, не требующему никаких чисто математических доказательств, ибо все уже было сделано раньше, первым пришел Гаусс.

Но не так-то легко расстаться с накопленным ранее богатством. По-новому взглянув на природу истинного в математике, Гаусс увидел ту опору, за которую можно ухватиться. В письме Генриху В.М. Ольберсу (1758-1840) от 28 апреля 1817 г. Гаусс сообщал: