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