Question 1
(LUX) IMO1. A convex quadrilateral $ABCD$ has perpendicular diagonals. The perpendicular bisectors of $AB$ and $CD$ meet at a unique point $P$ inside $ABCD$. Prove that $ABCD$ is cyclic if and only if triangles $ABP$ and $CDP$ have equal areas.