Simson line
In geometry, given a triangle ABC and a point P on its circumcircle, the three closest points to P on lines AB, AC, and BC are collinear.
Proof
In the shown diagram, we draw additional lines 
and 
. Then, we have cyclic quadrilaterals 
, 
, and 
. (more will be added)
