Maths Olympiad Prep

Library / Vietnamese Mathematical Olympiad /9 of 68

Vietnamese Mathematical Olympiad

Algebra Difficulty 5.7 AIME, harder Prove it Vietnam

Consider the real sequence (xn)(x_n) such that x1∈(0,12)x_1 \in (0, \frac{1}{2}) and
xn+1=3xn2−2nxn3,∀n≥1. x_{n+1} = 3x_n^2 - 2n x_n^3, \quad \forall n \ge 1.

a) Prove that lim⁡n→∞xn=0\lim_{n \to \infty} x_n = 0.

b) For each n≥1n \ge 1, let yn=x1+2x2+⋯+nxny_n = x_1 + 2x_2 + \dots + n x_n. Prove that (yn)(y_n) converges.

Solution

a. First, we prove by induction that 0<xn<32n0 < x_n < \frac{3}{2n}, ∀n≥1\forall n \ge 1.
The base case n=1n = 1 is trivial. For n=2n = 2, we have
0<x12(3−2x1)<3x12<34⇒0<x2<34. 0 < x_1^2(3 - 2x_1) < 3x_1^2 < \frac{3}{4} \Rightarrow 0 < x_2 < \frac{3}{4}.
Assume that 0<xk<32k0 < x_k < \frac{3}{2k} for some k≥2k \ge 2, by the AM-GM inequality,
0<xk2(3−2kxk)=1k2(kxk)(kxk)(3−2kxk)≤1k2<32(k+1). 0 < x_k^2(3 - 2k x_k) = \frac{1}{k^2}(k x_k)(k x_k)(3 - 2k x_k) \le \frac{1}{k^2} < \frac{3}{2(k+1)}.
Therefore, 0<xk+1<32(k+1)0 < x_{k+1} < \frac{3}{2(k+1)}. The inductive step is completed.
By the Squeeze theorem, we have lim⁡n→∞xn=0\lim_{n \to \infty} x_n = 0.

b. It is clear that xn+1=3xn2−2nxn3≤3xn2x_{n+1} = 3x_n^2 - 2n x_n^3 \le 3x_n^2 implies
xn+2≤3xn+12≤27xn4≤3716n4=Cn4,∀n≥1. x_{n+2} \le 3x_{n+1}^2 \le 27x_n^4 \le \frac{3^7}{16 n^4} = \frac{C}{n^4}, \forall n \ge 1.
For all n>2n > 2, we obtain that
yn=∑i=1nixi=x1+2x2+∑i=1n−2(i+2)xi+2≤x1+2x2+C∑i=1n−2i+2i4≤x1+2x2+3C∑i=1n−21i2. y_n = \sum_{i=1}^{n} i x_i = x_1 + 2x_2 + \sum_{i=1}^{n-2} (i+2)x_{i+2} \\ \le x_1 + 2x_2 + C \sum_{i=1}^{n-2} \frac{i+2}{i^4} \le x_1 + 2x_2 + 3C \sum_{i=1}^{n-2} \frac{1}{i^2}.
Hence, (yn)(y_n) is bounded above. Note that (yn)(y_n) is increasing, we conclude that (yn)(y_n) is convergent. □\square

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.