Problem

Source: Bulgaria MO Regional round 2024, 10.2

Tags: geometry



Given are two fixed lines that meet at a point $O$ and form an acute angle with measure $\alpha$. Let $P$ be a fixed point, internal for the angle. The points $M, N$ vary on the two lines (one point on each line) such that $\angle MPN=180^{\circ}-\alpha$ and $P$ is internal for $\triangle MON$. Show that the foot of the perpendicular from $P$ to $MN$ lies on a fixed circle.