Problem

Source: Mathematics Regional Olympiad of Mexico Northeast 2016 P4

Tags: square, geometry, semicircle



Let $ABCD$ be a square. Let $P$ be a point on the semicircle of diameter $AB$ outside the square. Let $M$ and $N$ be the intersections of $PD$ and $PC$ with $AB$, respectively. Prove that $MN^2 = AM \cdot BN$.