The circular arcs are fixed. The red point varies on the outer arc. Prove the length of the red line segment is invariant.
