Maths Olympiad Prep

Library / Vijetnam /12 of 20

Vijetnam, 2007

Algebra Difficulty 6.4 National Olympiad Prove it Vietnam

Let a>2a > 2 be a real number and fn(x)=a10xn+10+xn+⋯+x+1f_n(x) = a^{10} x^{n+10} + x^n + \dots + x + 1 (n=1,2,…n = 1, 2, \dots). Prove that for every positive integer nn the equation fn(x)=af_n(x) = a has exactly a real root xn∈(0;+∞)x_n \in (0; +\infty). Prove that the sequence (xn)(x_n) has a finite limit when n→+∞n \to +\infty.

Solution

For every nn we define gn(x)=fn(x)−ag_n(x) = f_n(x) - a. Then gn(x)g_n(x) is a continuous and increasing function on [0;+∞)[0; +\infty). We have gn(0)=1−a<0g_n(0) = 1 - a < 0; gn(1)=a10+n+1−a>0g_n(1) = a^{10} + n + 1 - a > 0 so gn(x)=0g_n(x) = 0 has the only root xnx_n in (0;+∞)(0; +\infty).

To prove the existence of the limit lim⁡n→∞xn\lim_{n \to \infty} x_n, we prove that the sequence (xn)(x_n), n=1,2,…n=1, 2, \dots, is increasing and confined.

We have gn(1−1a)=a10(1−1a)n+10+1−(1−1a)n+11−a=a(1−1a)n+1(a9(1−1a)9−1)=a(1−1a)n+1((a−1)9−1)>0. \begin{aligned} \text{We have } & g_n\left(1-\frac{1}{a}\right) = a^{10}\left(1-\frac{1}{a}\right)^{n+10} + \frac{1-\left(1-\frac{1}{a}\right)^{n+1}}{1} - a \\ & = a\left(1-\frac{1}{a}\right)^{n+1}\left(a^9\left(1-\frac{1}{a}\right)^9 - 1\right) = a\left(1-\frac{1}{a}\right)^{n+1}\left((a-1)^9 - 1\right) > 0. \end{aligned}

Thus xn<1−1a∀n. \text{Thus } x_n < 1 - \frac{1}{a} \quad \forall n.

On the other hand gn(xn)=a10xnn+10+xnn+⋯+1−a=0g_n(x_n) = a^{10}x_n^{n+10} + x_n^n + \dots + 1 - a = 0, therefore

xngn(xn)=a10xnn+11+xnn+1+⋯+xn−axn=0⇒gn+1(xn)=xngn(xn)+1+axn−a=axn+1−a<0 for xn<1−1a. \begin{aligned} x_n g_n(x_n) &= a^{10} x_n^{n+11} + x_n^{n+1} + \dots + x_n - a x_n = 0 \\ \Rightarrow g_{n+1}(x_n) &= x_n g_n(x_n) + 1 + a x_n - a = a x_n + 1 - a < 0 \text{ for } x_n < 1 - \frac{1}{a}. \end{aligned}

Since the function gn+1g_{n+1} is increasing and 0=gn+1(xn+1)>gn+1(xn)0 = g_{n+1}(x_{n+1}) > g_{n+1}(x_n) then we have xn<xn+1x_n < x_{n+1}. Thus the sequence (xn)(x_n), n=1,2,…n=1, 2, \dots, is increasing and confined, and therefore there exists lim⁡n→∞xn\lim_{n \to \infty} x_n.

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.