497

Prove the red polyline has length $\sqrt{2}$.