Девятиконечный круг

Девятиконечная окружность — окружность, проходящая через вершины треугольника и его ортоцентр.
Она является внешней касательной к трем окружностям треугольника и внутренней к его внутренней окружности.
Карл Фейербах обнаружил, что девятиконечная окружность является касательной ко всем четырем окружностям треугольника.
Центр девятиконечной окружности называется точкой Фейербаха.
Девятиточечная окружность делит пополам отрезок прямой, идущий от ортоцентра треугольника к любой точке его окружности.
Девятиточечная окружность является эталонной окружностью для медиального треугольника и его ортогонального треугольника.
Она также является окружностью, центрированной в общей точке пересечения четырех девятиточечных окружностей.

Полный текст статьи:

Девятиконечный круг — Википедия