1290

Prove the length of the red line segment is invariant.