1596

The yellow arc is a semicircle. Prove the length of the red line segment is invariant.