Maths Olympiad Prep

Library / Vietnamese Mathematical Olympiad /56 of 68

Vietnamese Mathematical Olympiad

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+bsin⁡xnfor 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 (k∈Zk \in \mathbb{Z}), we have xn=kπ∀n∈Nx_n = k\pi \quad \forall n \in \mathbb{N}, therefore lim⁡n→∞xn=kπ\lim_{n \to \infty} x_n = k\pi.

+ For a≠kπa \neq k\pi (k∈Zk \in \mathbb{Z}), consider the function f(x)=x+sin⁡xf(x) = x + \sin x defined on R\mathbb{R}. We have f′(x)=1+cos⁡x≥0∀x∈Rf'(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 lim⁡n→∞xn=(2k+1)π\lim_{n \to \infty} x_n = (2k+1)\pi.

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

Thus, for every a∈Ra \in \mathbb{R}, the sequence {xn}\{x_n\} corresponding to (a,1)(a, 1) is convergent and lim⁡n→∞xn=(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=b⋅sin⁡a02a_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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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