Будучи материалистом до мозга костей, он всегда придавал огромное значение опытной проверке той или иной теории и мало доверял так называемому «здравому смыслу», наглядности. Многие считали, что математика есть чисто формальная наука, что вся область анализа в конце концов сводится к раскрытию более или менее замаскированных тождеств. Лобачевский придерживался другого мнения. Если, к примеру, взять две линейки: одну в метр, другую в метр и два миллиметра. Держать их на разном расстоянии от глаза. Кто сможет с уверенностью сказать, какая из двух линеек короче?..
На практике, во время занятий геодезией, Лобачевскому неоднократно приходилось убеждаться в том, что сумма углов треугольника равна двум прямым. Но значит ли это, что угломерные приборы да и наши органы чувств достаточно точны? Ведь здесь, на Земле, мы имеем дело с небольшими треугольниками. Отклонения от эвклидовой геометрии можно, по-видимому, обнаружить лишь в гигантских, космических треугольниках. Однако и на этом пути, как мы знаем, его ждала неудача. Еще слишком низок был уровень измерительной техники. И все же Лобачевский проникся глубоким убеждением, что теоремы эвклидовой геометрии не наилучшим образом выражают геометрическую структуру всего мирового пространства. Он занялся созданием новой геометрии.
Тысячи раз проделывал он мысленный эксперимент, обращался к чертежам.
Пусть на плоскости даны прямая
Аксиома Эвклида утверждает, что существует единственное положение, при котором прямая
Возьмем на чертеже положение, когда вращающаяся прямая
Пусть угол отличается от 90° на ничтожную, исчезающе малую долю градуса — . Сможем ли мы теперь с уверенностью сказать, что прямая
Таким образом, мысленный эксперимент не приводит к положительному результату. Аксиома о параллельных не так уж очевидна, как кажется на первый взгляд.
Когда мы рассуждаем о прямой, то прообразом ее считаем обычно луч света. Но как ведут себя лучи света в безграничности вселенной, каковы истинные свойства пространства?..
И Насирэддин Туси, и Ламберт, и Саккери, и Лежандр, и многие другие становились в тупик перед тем фактом, что допущение, будто сумма углов в треугольнике может быть меньше 180°, не ведет к противоречию при доказательстве. Им думалось, что во всем этом кроется логическая ошибка. «Здравый смысл» не хотел мириться с «мнимым», казалось бы, произвольным постулатом: через точку, взятую вне прямой, можно провести по крайней мере две параллельные данной прямой. Они слишком доверяли «здравому смыслу», наглядности. Не хватало смелости, а возможно, именно гениальности преодолеть многовековую инерцию мышления, умения высвободиться от пут трехмерного пространства эвклидовой геометрии.
По замечанию одного современного ученого, человек рождается и умирает в трехмерном мире; в детстве он знакомится с трехмерным пространством, двигая руками и ногами; в школе он изучает эвклидову геометрию, позже обзаводится трехмерной квартирой с трехмерной мебелью. За миллиарды лет эволюции выживали только те организмы, которые были наилучшим образом приспособлены к трехмерному пространству, природа снабдила нас мозгом, который специально приспосабливался к общению с трехмерными существами, с трехмерным миром. Даже полет смелой мысли никогда не выходил за пределы плоской трехмерности.
Математик, решая задачу привычной эвклидовой геометрии, может справиться с ней легко; так создается впечатление, будто для решения ее не требуется уж слишком большого жизненного опыта. Мы как-то забываем о миллиардах лет эволюции, о нашем многовековом приспособлении к трехмерности. Ведь на самом деле, математик приводит в своей голове в движение весь опыт, накопленный не только им, но и всеми предыдущими поколениями. И все лишь для доказательства пустячной теоремы…