2012

Prove the red line segment is the diameter of the blue circle.