Окружность Эйлера (окружность 9 точек) и прямая Эйлера

Окружность Эйлера или окружность 9 точек: построение, ее центр, радиус и связанная с этим прямая Эйлера.
Рассматривается 9 точек: основания высот, середины сторон (основания медиан) и середины отрезков высот между вершиной и ортоцентром, и показывается, что они лежат на одной окружности, называемой окружностью 9 точек или окружностью Эйлера.
Далее рассказывается, где лежит центр этой окружности и чему равен ее радиус.
Реально красиво!
Читает Игорь Тиняков