Геометрические образы в модели Пуанкаре Перпендикуляр расходящихся прямых Угол параллельности данного отрезка Замечание |
ЗамечаниеГеометрические построения, рассматриваемые в моделях геометрии Лобачевского, имеют и иллюстративный, и содержательный характер. В моделях выполняются требования не только аксиом, но и их следствий. Получаем, поэтому, своеобразный метод доказательства некоторых теорем средствами другой геометрии. Приведем для примера теорему евклидовой геометрии,
которая получается из соответствующей теоремы геометрии Лобачевского
при помощи модели Пуанкаре: |