MathDB
At what point will the ants stop?

Source: 2023 4th OMpD LU P2 - Brazil - Olimpíada Matemáticos por Diversão

September 21, 2023
combinatoricsalgebralimitlimitsreal analysis

Problem Statement

Let CC be a fixed circle, u>0u > 0 be a fixed real and let v0,v1,v2,v_0 , v_1 , v_2 , \ldots be a sequence of positive real numbers. Two ants AA and BB walk around the perimeter of CC in opposite directions, starting from the same starting point. Ant AA has a constant speed uu, while ant BB has an initial speed v0v_0. For each positive integer nn, when the two ants collide for the nn−th time, they change the directions in which they walk around the perimeter of CC, with ant AA remaining at speed uu and ant BB stops walking at speed vn1v_{n-1} to walk at speed vnv_n.
(a) If the sequence {vn}\{v_n\} is strictly increasing, with limnvn=+\lim_{n\rightarrow \infty} v_n = +\infty, prove that there is exactly one point in CC that ant AA will pass "infinitely" many times.
(b) Prove that there is a sequence {vn}\{v_n\} with limnvn=+\lim_{n\rightarrow\infty} v_n = +\infty, such that ant AA will pass "infinitely" many times through all points on the circle CC.