аналитической геометрии на плоскости Евклида. Т. к. Лобачевский дал основы своей аналитической геометрии, то тем самым он уже фактически наметил такую модель, хотя полное её построение выяснилось уже после того, как на основе работ Клейна и других выявилось само понятие о модели. Другое аналитическое определение Л. г. состоит в том, что Л. г. определяется как геометрия риманова пространства постоянной отрицательной кривизны (см.
Содержание геометрии Лобачевского. Лобачевский строил свою геометрию, отправляясь от основных геометрических понятий и своей аксиомы, и доказывал теоремы геометрическим методом, подобно тому, как это делается в геометрии Евклида. Основой служила теория параллельных линий, т. к. именно здесь начинается отличие Л. г. от геометрии Евклида. Все теоремы, не зависящие от аксиомы о параллельных, общи обеим геометриям и образуют т. н. абсолютную геометрию, к которой относятся, например, теоремы о равенстве треугольников. Вслед за теорией параллельных строились др. отделы, включая тригонометрию и начала аналитической и дифференциальной геометрии. Приведём несколько фактов Л. г., отличающих её от геометрии Евклида и установленных самим Лобачевским.
1) В Л. г. не существует подобных, но неравных треугольников; треугольники равны, если их углы равны. Поэтому существует абсолютная единица длины, т. е. отрезок, выделенный по своим свойствам, подобно тому как прямой угол выделен своими свойствами. Таким отрезком может служить, например, сторона правильного треугольника с данной суммой углов.
2) Сумма углов всякого треугольника меньше p и может быть сколь угодно близкой к нулю. Это непосредственно видно на модели Пуанкаре. Разность p — (a + b + g), где a, b, g — углы треугольника, пропорциональна его площади.
3) Через точку О, не лежащую на данной прямой
4) Если прямые имеют общий перпендикуляр, то они бесконечно расходятся в обе стороны от него. К любой из них можно восстановить перпендикуляры, которые не достигают другой прямой.
5) Линия равных расстояний от прямой не есть прямая, а особая кривая, называемая эквидистантой, или гиперциклом.
6) Предел окружностей бесконечно увеличивающегося радиуса не есть прямая, а особая кривая, называемая предельной окружностью, или орициклом.
7) Предел сфер бесконечно увеличивающегося радиуса не есть плоскость, а особая поверхность — предельная сфера, или орисфера; замечательно, что на ней имеет место евклидова геометрия. Это служило Лобачевскому основой для вывода формул тригонометрии.
8) Длина окружности не пропорциональна радиусу, а растет быстрее.
9) Чем меньше область в пространстве или на плоскости Лобачевского, тем меньше геометрические соотношения в этой области отличаются от соотношений евклидовой геометрии. Можно сказать, что в бесконечно малой области имеет место евклидова геометрия. Например, чем меньше треугольник, тем меньше сумма его углов отличается от p; чем меньше окружность, тем меньше отношение её длины к радиусу отличается от 2p, и т. п. Уменьшение области формально равносильно увеличению единицы длины, поэтому при безграничном увеличении единицы длины формулы Л. г. переходят в формулы евклидовой геометрии. Евклидова геометрия есть в этом смысле «предельный» случай Л. г.
Л. г. продолжает разрабатываться многими геометрами; в ней изучаются: решение задач на построение, многогранники, правильные системы фигур, общая теория кривых и поверхностей и т. п. Ряд геометров развивали также механику в пространстве Лобачевского. Эти исследования не нашли непосредственных применений в механике, но дали начало плодотворным геометрическим идеям. В целом Л. г. является обширной областью исследования, подобно геометрии Евклида.
Приложения геометрии Лобачевского. Сам Лобачевский применил свою геометрию к вычислению определённых интегралов. В теории функций комплексного переменного Л. г. помогла построить теорию
при делении на
Замечательное приложение Л. г. нашла в общей теории относительности (см.
Рис. 3 к ст. Лобачевского геометрия.
Рис. 1 к ст. Лобачевского геометрия.
Рис. 2 к ст. Лобачевского геометрия.
Лобачевского метод
Лобаче'вского ме'тод, метод приближённого (численного) решения алгебраических уравнений, найденный независимо друг от друга бельгийским математиком Ж. Данделеном, русским математиком Н. И. Лобачевским (в 1834 в наиболее совершенной форме) и швейцарским математиком К. Греффе. Суть Л. м. состоит в построении уравнения