MathDB
collinearity iff relation between triangle centers holds

Source: 1999 France MO P5

April 10, 2021
geometryTriangles

Problem Statement

Prove that the points symmetric to the vertices of a triangle with respect to the opposite side are collinear if and only if the distance from the orthocenter to the circumcenter is twice the circumradius.