MathDB
set M = {P_n | n \ge 0} is dense in C

Source: Romania BMO TST 1989 p2

February 17, 2020
setdense setcirclerotationcombinatorics

Problem Statement

Let PP be a point on a circle CC and let ϕ\phi be a given angle incommensurable with 2π2\pi. For each n∈N,Pnn \in N, P_n denotes the image of PP under the rotation about the center OO of CC by the angle αn=nϕ\alpha_n = n \phi. Prove that the set M={Pn∣n≥0}M = \{P_n | n \ge 0\} is dense in CC.
Back to ProblemsView on AoPS