125 
Но только в первой половине XVIII века приходит мысль применить к вопросу о параллельных линиях и систематически провести в теории параллельных линий тот метод доказательства от противного, которым так часто пользовались греческие математики.
Эта гениальная идея принадлежала Саккери. В сочинении, появившемся в год его смерти «Евклид, избавленный от всякого пятна», Саккери берет исходным пунктом четырехугольник, которого две противоположные стороны, перпендикулярные к основанию, равны между собой. В таком четырехугольнике углы, образуемые равными сторонами с стороною, противоположною основанию, равны, и доказательство этого свойства четырехугольника не зависит от постулатума Евклида. Если они прямые, то постулатум Евклида доказан, так как в этом случае сумма углов треугольника равна двум прямым. Но Саккери (и в этом состоит его оригинальная гениальная мысль) делает и две другие гипотезы — гипотезу острого и гипотезу тупого угла, выводит из этих гипотез вытекающие следствия и пытается доказать невозможность этих следствий, т. е. допустимость только одной гипотезы прямого угла. Ему легко удается доказать, что гипотеза тупого угла недопустима, так как приводит к противоречиям. Для того чтобы найти такое же противоречие в гипотезе острого угла, он выводит ряд замечательных теорем, которые потом были снова доказаны Лежандром. Таковы, например, теоремы, по которым если та или другая или третья гипотеза имеет место для одного четырехугольника, то она имеет место и для всякого другого.
Через три года после ее появления, в 1766 году, Ламберт ставит ту же задачу, что и Саккери. Вместо четырехугольника с двумя прямыми углами и двумя равными сторонами Ламберт рассматривает четырехугольник с тремя прямыми углами и делает три гипотезы относительно четвертого угла. Его изложение имеет некоторые особенности сравнительно с изложением Саккери: он избегает прибегать к соображениям, основанным на непрерывности. Из того, что в гипотезах тупого и острого угла не существует подобия фигур, Ламберт выводит заключение о существовании абсолютной меры.
В 1799 году гениальный математик Карл Гаусс пошел по тому пути, по которому до него шли Саккери и Ламберт, — по пути планомерного вывода всех следствий гипотезы острого угла. Но его размышления привели к сомнению в возможности доказать аксиому Евклида, и к 1816 году у математика созрело убеждение в невозможности такого доказательства.
Высказанное публично мнение Гаусса о недоказуемости аксиомы Евклида не имело влияния и даже подверглось грубым нападкам. Это было одной из причин, почему он решился не публиковать своих исследований и мыслей по вопросу об основаниях, «боясь крика бео-тийцев» (письмо к Бесселю от 27 января 1829 года). Но он не прервал своих исследований и с величайшим интересом и сочувствием приветствовал те работы и мысли, которые совпадали с его исследованиями и взглядами.
Как далеко он пошел по этому пути, показывает его письмо к Вольфгангу Болиаи от 6 марта 1832 года, в котором Гаусс говорит, что между 1797 и 1802 годами он нашел те результаты, к которым пришел Иоганн Болиаи. Например, чисто геометрическое доказательство теоремы, что в неевклидовой геометрии разность суммы углов треугольника от 180 градусов пропорциональна площади треугольника.
Вольфганг Болиаи, друг школьных лет Гаусса, проявлял большой интерес к теории параллельных линий. Этот необычайный интерес, по свидетельству его письма к сыну в 1820 году, отравил ему все радости жизни, сделал его мучеником стремления освободить геометрию от пятна, «удалить облако, затемняющее красоту девы-истины». Но в то время как усилия почти всей жизни отца были направлены к доказательству 5-го постулатума, и ему не удалось достигнуть цели, его талантливый сын явился одним из творцов неевклидовой геометрии.
Иоганн Болиаи родился в 1802 году в Клаузенбурге. Уже в 1807 году отец с восторгом и гордостью пишет Гауссу о необыкновенных математических способностях мальчика, который к тринадцати годам уже изучил планиметрию, стереометрию, тригонометрию, конические сечения, а в 14 лет уже решал с легкостью задачи дифференциального и интегрального исчисления. Вольфгангу не удалось послать сына учиться в Геттингене у «математического колосса», и в 1818 году Иоганн поступил в Венскую инженерную академию, где уделялось большое внимание высшей математике. В 1823 году он кончил курс в академии и, как военный инженер, был послан в крепость Теметвар.
125 
