ISL 1992 Problem 3
The diagonals of a quadrilateral are perpendicular: Four squares, are erected externally on its sides. The intersection points of the pairs of straight lines are denoted by respectively (left figure), and the intersection points of the pairs of straight lines are denoted by respectively (right figure). Prove that where and are the two quadrilaterals.
Alternative formulation: Outside a convex quadrilateral with perpendicular diagonals, four squares are constructed (vertices are given in counterclockwise order). Prove that the quadrilaterals and formed by the lines and respectively, are congruent.
Attachments:

Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.