1288

Prove the length of the red line segment is invariant.