Ортоцентр треугольника всегда находится на прямой Эйлера, потому что это прямая, на которой лежат ортоцентр, центр описанной около треугольника окружности и центроид этого треугольника. 2
В 1765 году немецкий математик Эйлер доказал, что в любом треугольнике эти точки лежат на одной прямой. 1