Окружность Девяти Точек

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

Доказательство
Не требуется