Окружность Девяти Точек
Теорема
В геометрии треугольника окружность девяти точек — это окружность, проходящая через середины всех трёх сторон треугольника. Она также называется окружностью Эйлера, окружностью Фейербаха, окружностью шести точек.
Окружность девяти точек получила такого название из-за следующей теоремы:
Основания трёх высот произвольного треугольника, середины трёх его сторон и середины трёх отрезков, соединяющих его вершины с ортоцентром, лежат все на одной окружности
Окружность девяти точек обладает ещё целым рядом свойств:
Центр окружности девяти точек лежит на прямой Эйлера, точно в середине отрезка между ортоцентром и центром описанной окружности.
Радиус окружности девяти точек равен половине радиуса описанной окружности. Более того, описанная окружность есть образ окружности девяти точек относительно гомотетии с центром в ортоцентре и коэффициентом 2.
(теорема Фейербаха) Окружность девяти точек произвольного треугольника касается вписанной и всех трёх вневписанных окружностей этого треугольника.
Доказательство
Не требуется