The green point is the midpoint of the yellow arc. Prove the red line segment is the sum of the circumradii of the blue circles.