1664

The yellow shape is a square. Prove the red lines are perpendicular.