text: Окружность девяти точек получила такое название из-за следующей теоремы: Основания трёх высот произвольного треугольника, середины трёх его сторон и середины трёх отрезков, соединяющих его вершины с ортоцентром, лежат все на одной окружности.