Line Segments through the Vertices and the Circumcenter of an Acute Triangle
Initializing live version
Let ABC be an acute triangle, O its circumcenter, and R its circumradius. Let D, E, and F be the points along AO, BO, and CO across from A, B, and C. Then .
See the First Iberoamerican Olympiad (problem 6).