Maths Olympiad Prep

Library / /7 of 13

, 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)=1a<0g_n(0) = 1 - a < 0; gn(1)=a10+n+1a>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 limnxn\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(11a)=a10(11a)n+10+1(11a)n+11a=a(11a)n+1(a9(11a)91)=a(11a)n+1((a1)91)>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<11an. \text{Thus } x_n < 1 - \frac{1}{a} \quad \forall n.

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

xngn(xn)=a10xnn+11+xnn+1++xnaxn=0gn+1(xn)=xngn(xn)+1+axna=axn+1a<0 for xn<11a. \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 limnxn\lim_{n \to \infty} x_n.

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 and solution reproduced as published; topic and difficulty added by this site.