MathLabs

Problem 3

Given points OO and AA in the plane, every point is colored with one of a finite number of colors. For a point XX, let C(X)C(X) be the circle centered at OO with radius OX+∠AOXOXOX+\frac{\angle AOX}{OX}, where ∠AOX\angle AOX is measured in radians in [0,2π)\left[0,2\pi\right). Prove that there is a point XX, not on OAOA, such that the color of XX appears on the circumference of C(X)C(X).
Step 2 of 6: Encode later circles by angles
In plain words

The angular offset is chosen to be exactly the extra radial distance, after multiplying by the current radius.

θi,j=ri(ri+j−ri),0<θi,j<2π\theta_{i,j}=r_i(r_{i+j}-r_i),\quad 0<\theta_{i,j}<2\pi
Detailed analysis

Choose xi,jx_{i,j} on Ci\mathcal C_i so that its angle from OAOA is θi,j\theta_{i,j}. The bound on the total sum gives θi,j<2π\theta_{i,j}<2\pi, and the defining radius formula then gives C(xi,j)=Ci+jC(x_{i,j})=\mathcal C_{i+j}.