Problem

Source: Romania BMO TST 1989 p2

Tags: set, dense set, circle, rotation, combinatorics



Let $P$ be a point on a circle $C$ and let $\phi$ be a given angle incommensurable with $2\pi$. For each $n \in N, P_n$ denotes the image of $P$ under the rotation about the center $O$ of $C$ by the angle $\alpha_n = n \phi$. Prove that the set $M = \{P_n | n \ge 0\}$ is dense in $C$.