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=xncosxnfor all n1.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=ynsinynfor all n1.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.