Maths Olympiad Prep

Library / /53 of 72

Algebra Difficulty 7.1 National Olympiad, round 2 Prove it Vietnam

Given a real number aa and consider the sequence (un)(u_n) defined by
u1=a,un+1=12+2n+3n+1un+14,nN. u_1 = a, \quad u_{n+1} = \frac{1}{2} + \sqrt{\frac{2n+3}{n+1}u_n + \frac{1}{4}}, \quad \forall n \in \mathbb{N}^*.
1.
If a=5a = 5, prove that (un)(u_n) has a finite limit and finds that limit.

2.
Find all the values of aa such that the sequence (un)(u_n) defines and has finite limits.

Solution

We will solve directly part 2), from which to deduce the result of part 1). It can be seen that the sequence (un)(u_n) defines if and only if u2u_2 defines. Since u2=12+52a+14u_2 = \frac{1}{2} + \sqrt{\frac{5}{2}a + \frac{1}{4}}, then u2u_2 defines if and only if
a110. a \geq -\frac{1}{10}.
We will prove that the sequence (un)(u_n) converges to 3 for every a110a \geq -\frac{1}{10}. It is easy to see that un12,n2u_n \geq \frac{1}{2}, \forall n \geq 2. Note that f(x)=2x+3x+1f(x) = \frac{2x+3}{x+1} is a strictly decreasing function over R+\mathbb{R}^+ so for every positive integers nn, we have
2n+3n+1>2(n+1)+3(n+1)+1. \frac{2n+3}{n+1} > \frac{2(n+1)+3}{(n+1)+1}.
If there exists a number n0Nn_0 \in \mathbb{N} such that un0un0+1u_{n_0} \ge u_{n_0+1} then we have
un0+2=12+2(n0+1)+3(n0+1)+1un0+1+1412+2n0+3n0+1un0+14=un0+1. u_{n_0+2} = \frac{1}{2} + \sqrt{\frac{2(n_0+1)+3}{(n_0+1)+1}u_{n_0+1} + \frac{1}{4}} \le \frac{1}{2} + \sqrt{\frac{2n_0+3}{n_0+1}u_{n_0} + \frac{1}{4}} = u_{n_0+1}.
Similarly, we have un0un0+1un0+2un0+3u_{n_0} \ge u_{n_0+1} \ge u_{n_0+2} \ge u_{n_0+3} \ge \dots. This means that the sequence (un)(u_n) does not increase from n0n_0 onward. Simultaneously, the sequence is also bounded lower for every n2n \ge 2 so there exists a limit limnun=L\lim_{n \to \infty} u_n = L (L12L \ge \frac{1}{2}). Now, convert equation (1) to limit, we get
L=12+2L+14. L = \frac{1}{2} + \sqrt{2L + \frac{1}{4}}.
Solve this equation, we have L=3L=3. In summary, if there exists n0n_0 as above then limnun=3\lim_{n \to \infty} u_n = 3.

Next, we consider the case: the number n0n_0 as above does not exist, in other words the sequence (un)(u_n) is strictly decreasing. We will prove (un)(u_n) is also bounded above. Indeed, since un+1>unu_{n+1} > u_n and 2n+3n+1<3\frac{2n+3}{n+1} < 3 for every n2n \ge 2 so we have
12+3un+14>12+2n+3n+1un+14=un+1>un,n2. \frac{1}{2} + \sqrt{3u_n + \frac{1}{4}} > \frac{1}{2} + \sqrt{\frac{2n+3}{n+1}u_n + \frac{1}{4}} = u_{n+1} > u_n, \quad \forall n \ge 2.
Solving this inequality of unu_n, we have un<4+172u_n < \frac{4+\sqrt{17}}{2} for every n2n \ge 2. Therefore the sequence (un)(u_n) is strictly decreasing and bounded upper by 4+172\frac{4+\sqrt{17}}{2} so it has a finite limit. Hence, by convert equation (1) to limit, we also have limnun=3\lim_{n \to \infty} u_n = 3.

In summary, for every a110a \ge -\frac{1}{10} the sequence (un)(u_n) defines and converges to 3. ■

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.