Maths Olympiad Prep

Library / India competition problems /3 of 8

India competition problems

Algebra Difficulty 5.9 AIME, harder Prove it India

For each positive integer n≥2n \ge 2, define the polynomial fn(x)f_n(x) by fn(x)=xn−xn−1−xn−2−⋯−x−1f_n(x) = x^n - x^{n-1} - x^{n-2} - \cdots - x - 1. Prove that
(a) for each positive integer n≥2n \ge 2, the equation fn(x)=0f_n(x) = 0 has a unique real positive root, say, αn\alpha_n;
(b) (αn)n≥2(\alpha_n)_{n \ge 2} is a strictly increasing sequence; and
(c) lim⁡n→∞αn=2\lim_{n \to \infty} \alpha_n = 2.

Solution

(a) Since fn(x)f_n(x) has one change of sign, it follows that fn(x)=0f_n(x) = 0 has at most one positive real root by Descartes' Rule. As fn(0)=−1<0f_n(0) = -1 < 0 and fn(2)=2n−2n−1−2n−2−⋯−2−1=1>0f_n(2) = 2^n - 2^{n-1} - 2^{n-2} - \cdots - 2 - 1 = 1 > 0, we see that fn(x)=0f_n(x) = 0 has at least one root between 00 and 22. Thus fn(x)=0f_n(x) = 0 has exactly one root αn\alpha_n between 00 and 22, n≥2n \ge 2.

(b) We show that αn<αn+1\alpha_n < \alpha_{n+1}, for n≥2n \ge 2. Because fn(αn)=0f_n(\alpha_n) = 0, we have αnn−αnn−1−αnn−2−⋯−αn−1=0\alpha_n^n - \alpha_n^{n-1} - \alpha_n^{n-2} - \cdots - \alpha_n - 1 = 0. Now fn+1(αn)=αn(αnn−αnn−1−αnn−2−⋯−αn−1)−1=αn⋅0−1=−1<0f_{n+1}(\alpha_n) = \alpha_n(\alpha_n^n - \alpha_n^{n-1} - \alpha_n^{n-2} - \cdots - \alpha_n - 1) - 1 = \alpha_n \cdot 0 - 1 = -1 < 0. As fn+1(2)=1>0f_{n+1}(2) = 1 > 0, as above, we infer that there is a root of fn+1(x)=0f_{n+1}(x) = 0 between αn\alpha_n and 22. Since αn>0\alpha_n > 0, we conclude that αn<αn+1<2\alpha_n < \alpha_{n+1} < 2, as desired.

(c) Again
(x−1)fn(x)=(x−1)(xn−xn−1−xn−2−⋯−x−1)=xn+1−2xn+1. (x-1)f_n(x) = (x-1)(x^n - x^{n-1} - x^{n-2} - \cdots - x - 1) = x^{n+1} - 2x^n + 1.
So
αnn+1−2αnn+1=0, \alpha_n^{n+1} - 2\alpha_n^n + 1 = 0,
giving αn=2−1αnn≥2−1α2n=1+52\alpha_n = 2 - \frac{1}{\alpha_n^n} \ge 2 - \frac{1}{\alpha_2^n} = \frac{1+\sqrt{5}}{2}, where α2=1+52\alpha_2 = \frac{1+\sqrt{5}}{2}, being the positive root of x2−x−1=0x^2 - x - 1 = 0. But α2>1\alpha_2 > 1. So 1α2n→0\frac{1}{\alpha_2^n} \to 0, as n→∞n \to \infty. Thus, in 2−1α2n≤αn<22 - \frac{1}{\alpha_2^n} \le \alpha_n < 2, we let n→∞n \to \infty, to get
lim⁡n→∞αn=2. \lim_{n \to \infty} \alpha_n = 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.