Maths Olympiad Prep

Library / /1 of 16

, 2013

Algebra Difficulty 4.5 AIME Prove it Czech-Polish-Slovak Mathematical Match

Show that for any real x>0x > 0 and integer n>0n > 0 we have
xn+1xn2n2(x+1x2). x^n + \frac{1}{x^n} - 2 \ge n^2 \left(x + \frac{1}{x} - 2\right).

Solution

Without loss of generality assume that y=x>1y = \sqrt{x} > 1. The identity
a2+1a22=(a1a)2 a^2 + \frac{1}{a^2} - 2 = \left(a - \frac{1}{a}\right)^2
reduces the problem to showing that
yn1ynn(y1y) y^n - \frac{1}{y^n} \ge n\left(y - \frac{1}{y}\right)
or y2nn(yn+1yn1)10y^{2n} - n(y^{n+1} - y^{n-1}) - 1 \ge 0. Upon division by y1>0y - 1 > 0 this follows from the following computation:
y2n1y1nyn1(y21)y1=i=02n1yin(yn1+yn)==i=0n1(y2n1iynyn1+yi)=i=0n1yi(yn1i1)(yni1)0. \begin{aligned} \frac{y^{2n} - 1}{y - 1} - \frac{n y^{n-1}(y^2 - 1)}{y - 1} &= \sum_{i=0}^{2n-1} y^i - n(y^{n-1} + y^n) = \\ &= \sum_{i=0}^{n-1} (y^{2n-1-i} - y^n - y^{n-1} + y^i) = \sum_{i=0}^{n-1} y^i (y^{n-1-i} - 1)(y^{n-i} - 1) \ge 0. \end{aligned}

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.