Геометрические образы в модели Пуанкаре Перпендикуляр расходящихся прямых Угол параллельности данного отрезка Окружность |
ОкружностьПостроим в H2 неевклидову окружность с заданными центром A и неевклидовым радиусом AB. Обозначим через A' точку, симметричную A относительно оси x в смысле евклидовой геометрии, а через S – евклидову окружность с центром A' и радиусом AA' (см. рисунок ниже). ![]() Инверсия f относительно окружности S переводит H2 в открытый круг с границей x', где x' = f(x) – окружность с центром в A и радиусом AA'. Неевклидовы прямые, проходящие через A (t – одна из таких прямых, t' = f(t)), переводятся инверсией f в евклидовы диаметры окружности x'. Обозначим через w' евклидову окружность с центром в A и радиусом AB', B' = f(B). В силу конформности инверсии окружность w = f(w') ортогональна к неевклидовым прямым, проходящим через A. Точка A является неевклидовым центром для w, евклидов же центр E для w совпадает с точкой пересечения евклидовых серединных перпендикуляров евклидовых отрезков BC и CD, где C и D – точки пересечения окружностей w' и S. Таким образом, искомая неевклидова окружность w в H2 построена, она изображается, как показано, евклидовой окружностью в H2, но, с точки зрения евклидовой геометрии, ее неевклидов центр оказывается смещенным к оси x. Следующая демонстрация строит неевклидову окружность по выбранным Вами центру и точке, лежащей на окружности. |