1665

Equilateral triangles are constructed on sides of a square. Prove the red lines are perpendicular.