Maths Olympiad Prep

Library / /59 of 72

Algebra Difficulty 7.3 National Olympiad, round 2 Prove it Vietnam

For every couple of real numbers (a,b)(a, b), consider the sequence of numbers {xn}\{x_n\}, n=0,1,2,n = 0, 1, 2, \dots, defined by:
x0=aandxn+1=xn+bsinxnfor every n=0,1,2, x_0 = a \quad \text{and} \quad x_{n+1} = x_n + b \sin x_n \quad \text{for every } n = 0, 1, 2, \dots
Prove that:
1) for every real number aa, the sequence {xn}\{x_n\} corresponding to (a,b)(a, b) has a finite limit when nn tends to infinity. Find this limit.
2) for every number b>2b > 2, there exists a real number aa such that the sequence {xn}\{x_n\} corresponding to (a,b)(a, b) does not have a finite limit when nn tends to infinity.

Solution

1).
+ For a=kπa = k\pi (kZk \in \mathbb{Z}), we have xn=kπnNx_n = k\pi \quad \forall n \in \mathbb{N}, therefore limnxn=kπ\lim_{n \to \infty} x_n = k\pi.

+ For akπa \neq k\pi (kZk \in \mathbb{Z}), consider the function f(x)=x+sinxf(x) = x + \sin x defined on R\mathbb{R}. We have f(x)=1+cosx0xRf'(x) = 1 + \cos x \ge 0 \quad \forall x \in \mathbb{R}. It follows that:

i) If a(2kπ;(2k+1)π)a \in (2k\pi; (2k+1)\pi) the sequence {xn}\{x_n\} is increasing and bounded above by (2k+1)π(2k+1)\pi, and it is easy to see that limnxn=(2k+1)π\lim_{n \to \infty} x_n = (2k+1)\pi.

ii) If a((2k1)π;2kπ)a \in ((2k-1)\pi; 2k\pi) the sequence {xn}\{x_n\} is decreasing and bounded below by (2k1)π(2k-1)\pi, and it is easy to see that limnxn=(2k1)π\lim_{n \to \infty} x_n = (2k-1)\pi.

Thus, for every aRa \in \mathbb{R}, the sequence {xn}\{x_n\} corresponding to (a,1)(a, 1) is convergent and limnxn=(2[a/2π]+sign(a/2π))π\lim_{n \to \infty} x_n = (2[a/2\pi]+\operatorname{sign}({a/2\pi}))\pi.

2).
For b>2b > 2, it is easy to show that there exists a0(0;π)a_0 \in (0; \pi) such that 2a0=bsina02a_0 = b \cdot \sin a_0 and the sequence {xn}\{x_n\} corresponding to (a=πa0,b)(a = \pi - a_0, b) is a periodic sequence of period 2.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.