MathDB
Determine the behavior of t_i for i→∞.

Source: IMO LongList 1970 - P32

May 21, 2011
functiongeometry unsolvedgeometry

Problem Statement

Let there be given an acute angle AOB=3α\angle AOB = 3\alpha, where OA=OB\overline{OA}= \overline{OB}. The point AA is the center of a circle with radius OA\overline{OA}. A line ss parallel to OAOA passes through BB. Inside the given angle a variable line tt is drawn through OO. It meets the circle in OO and CC and the given line ss in DD, where AOC=x\angle AOC = x. Starting from an arbitrarily chosen position t0t_0 of tt, the series t0,t1,t2,t_0, t_1, t_2, \ldots is determined by defining BDi+1=OCi\overline{BD_{i+1}}=\overline{OC_i} for each ii (in which CiC_i and DiD_i denote the positions of CC and DD, corresponding to tit_i). Making use of the graphical representations of BDBD and OCOC as functions of xx, determine the behavior of tit_i for ii\to \infty.