Search

893

Prove the ratio of the blue line segment to the radius of the semicircle is $\sqrt{2}$.