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

Другими словами, окружность девяти точек является описанной окружностью для трёх треугольников: ортотреугольника, серединного треугольника и треугольника Эйлера (или треугольника Фейербаха). 35