2047

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