306

The blue circles are congruent. Prove the length of the red line segment is invariant.