980

Prove the red line segment equals the radius of the red circle.