IMC 2010 · Problem 1

Day 217th IMC · Blagoevgrad, Bulgaria

Statement

(a) A sequence x1,x2,…x_1, x_2, \dots of real numbers satisfies

xn+1=xncos⁡xnfor all n≥1.x_{n+1} = x_n \cos x_n \quad \text{for all } n \ge 1.

Does it follow that this sequence converges for all initial values x1x_1?

(b) A sequence y1,y2,…y_1, y_2, \dots of real numbers satisfies

yn+1=ynsin⁡ynfor all n≥1.y_{n+1} = y_n \sin y_n \quad \text{for all } n \ge 1.

Does it follow that this sequence converges for all initial values y1y_1?

Official solution

Hidden so you can work on the problem first.