Оглавление

Геометрические образы в модели Пуанкаре

Перпендикуляр расходящихся прямых

Угол параллельности данного отрезка

Пучки прямых

Окружность

Эквидистанта

Орицикл

Замечание

Упражнения


Окружность

Назад Вперед

    Построим в 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.

    Следующая демонстрация строит неевклидову окружность по выбранным Вами центру и точке, лежащей на окружности.

Назад Вперед