NL-NWO 1991 Problem 2
An angle with vertex and measure and a point on one of its rays are given so that . Point is chose on the other ray. The sequence of points is defined so that lies on the segment and the triangle is isosceles with for all . Prove that for each value of there is a unique point for which the sequence does not terminate. Suppose that the sequence does not terminate and that the length of the polygonal line tends to when . Compute the length of .
Attachments:

Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.