1722

Given a square. Prove the red lines are perpendicular.