2051

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