Таковы некоторые из основных идей и фактов геометрии Лобачевского. После работы «О началах геометрии», появились в свет и другие произведения Лобачевского по неевклидовой геометрии: «Воображаемая геометрия» (1835), «Применение воображаемой геометрии к некоторым интегралам» (1836), «Новые начала геометрии с полной теорией параллельных», опубликованные в «Ученых записках Казанского университета» в 1835-1838г.г., «Геометрические исследования по теории параллельных» (опубликованы впервые в1840г. в Берлине на немецком языке). Однако идеи Лобачевского были настолько революционными и до того опередили свой век, что не могли быть понятыми даже крупными математиками того времени. Поэтому новая геометрия не была признана современниками, была встречена с полным равнодушием и даже с иронией. Ее многие считали сплошной фантазией, а ее автора чудаком или даже невеждой. Одинокий Лобачевский не отказался от своих идей. Он твердо был убежден в логической правильности неевклидовой геометрии. Чтобы можно было это доказать, Лобачевский предпринимал астрологические наблюдения, и производил измерения углов космических треугольников, стороны которых измерялись расстояниями от Земли до небесных тел, в надежде установить, равна ли сумма углов треугольника 2dили она меньше двух прямых углов. Однако, измерения не могли дать определенного результата в силу их приближенного характера. Лобачевский всю жизнь искал оправдания своей геометрии в механике и астрономии и не переставал верить, что торжество его идей неминуемо.

В 1855г. умирает Гаусс, единственный крупный ученый, сумевший оценить Лобачевского по достоинству при его жизни, хотя и не решившись выступить публично в защиту новой геометрии. В этом же году, Лобачевский, которого постоянное умственное напряжение и тяжелые переживания, перенесенные в борьбе за признание своих идей, довели до потери зрения, диктует последнее свое произведение «Пангеометрия»*. Лобачевский умер в 1856 г. непризнанным, почти забытым.

Не получил признание при жизни и гениальный венгерский математик Янош Бояй (1802-1860). Его «Appendix», содержащий основы неевклидовой геометрии, изложен исключительно сжато и схематично – вот одна из причин, сделавших это классическое произведение недоступным для его современников.

города Марош-Варигархен. За это время он опубликовал здесь некоторые свои работы, в том числе и теорему о равновеликости и равносоставленности многоугольников, включив ее в важнейший свой труд «Temtamen» («Опыт»), более полное заглавие, гласит в русском переводе: «Опыт введения юных учащихся в начала чистой математики, элементарной и высшей» (1832). В виде приложения именно к этому труду и был опубликован «Appendix» Яноша Бояй.

--------------------------------

*Греческое слово «пан» в сложных словах означает «все», «Пангеометрия» - «Всеобщая геометрия»

После того, как стало известно, что Гаусс считал геометрию Лобачевского логически вполне правильной, «неевклидова геометрия»(названная так именно Гауссом), привлекла к себе внимание многих математиков. Произведения Лобачевского и «Appendix» Бояй были переведены на французский, итальянский и другие языки. Однако, выявилось много противников неевклидовой геометрии, которые отнеслись к ней с недоверием, утверждая, что она представляет собой сплошную фантазию, нелепость, которая рано или поздно будет обнаружена. Положение коренным образом изменилось, когда итальянский математик, профессор римского университета Эудженио Бельтрами (1835-1900) нашел модель для неевклидовой геометрии, показав в своей работе «Опыт интерпретации неевклидовой геометрии»(1868г.), что наряду с плоскостями, на которых осуществляется евклидова геометрия, и сферическими поверхностями, на которые действуют формулы сферической геометрии, существуют и такие реальные поверхности, названные им псевдосферами (рис.8), на которых частично осуществляется планиметрия Лобачевского.

Известно, что сферу можно получить вращением полуокружности вокруг своего диаметра. Подобно тому, псевдосфера образуется вращением линии FCE, называемой трактрисой, вокруг ее оси АВ (рис.9).Итак, псевдосфера – это поверхность в обыкновенном реальном пространстве, на котором выполняются многие аксиомы и теоремы неевклидовой планиметрии Лобачевского. Например, если начертить на псевдосфере треугольник, то легко усмотреть, что сумма его внутренних углов меньше 2d. Сторона треугольника – это дуги псевдосферы, дающие кратчайшее расстояние между двумя ее точками и выполняющие ту же роль, которую выполняют прямые на плоскости. Эти линии, называемые геодезическими, можно получить, зажав туго натянутую и политую краской или мелом нить, в вершинах треугольника. Таким образом, для планиметрии Лобачевского была найдена реальная модель - псевдосфера. Формулы новой геометрии Лобачевского нашли конкретное истолкование. Ими можно было пользоваться, например, для решения псевдосферических треугольников.

Псевдосферу, которую мы назвали «моделью», Бельтрами назвал интерпретацией (истолкованием) неевклидовой геометрии на плоскости. Впоследствии, с развитием и введением в математику аксиоматического метода, под интерпретацией (или моделью) некоторой системы аксиом стали понимать любое множество объектов, в которых данная система аксиом находит свое реальное воплощение, то есть, любая совокупность объектов, отношение между которыми полностью совпадают с теми, которые описываются в данной системе аксиом. При этом полагают, что если для некоторой системы аксиом существует или можно построить интерпретацию (модель), то эта система аксиом непротиворечива, то есть, не только сами аксиомы, но и любые теоремы, на них логически основывающиеся никогда не могут противоречить одна другой.

Итак, доказательство логической непротиворечивости той или иной геометрии, можно свести к доказательству существования модели соответствующей системы аксиом.

Первой моделью планиметрии Лобачевского была интерпретация Бельтрами в 1868г., к которой позже, но из других соображений и в ином виде, пришел в 1870г. немецкий математик Феликс Клейн. Идею этой интерпретации можно усмотреть в приведенном выше рис.4. В качестве плоскости Лобачевского, коротко «плоскость L», принимается внутренность некоторого круга (исключается таким образом его контур) на обычной евклидовой плоскости. Прямыми L служат хорды круга, исключая, конечно, их концы. Принадлежность и между понимаются в обычном евклидовом смысле. Оказывается, что в этой модели имеют место все аксиомы абсолютной геометрии, то есть, аксиомы принадлежности, порядка, конгруэнтности, непрерывности. Что же касается аксиомы параллельности, то в этой модели имеет место не постулат Евклида, а именно, аксиома Лобачевского: через т. С, не лежащую на данной прямой (хорде) АВ, можно провести хотя бы 2 прямые (хорды), не пересекающие данную. Выполняются, конечно, так же все следствия аксиомы. Так, например, среди проходящих через данную точку расходящихся прямых L, имеются две предельные CL и CM, параллельные к АВ в смысле Лобачевского, так как разделяют класс расходящихся с АВ прямых от класса сходящихся. Сами параллельные не имеют с АВЫ общих точек, поскольку точки А и В, лежащие на окружности, исключены.