Maths Olympiad Prep

Library / /94 of 462

Algebra Difficulty 5.1 AIME, harder Prove it Ireland

Prove that x6+1233x24x+32\sqrt[3]{\frac{x^6 + 1}{2}} \le \frac{3x^2 - 4x + 3}{2}, for all real xx, with equality iff x=1x = 1.

Solution

Note that for all real xx
x6+1=(x2+1)(x4x2+1)=(x2+1)(x2+3x+1)(x23x+1), x^6 + 1 = (x^2 + 1)(x^4 - x^2 + 1) = (x^2 + 1)(x^2 + \sqrt{3}x + 1)(x^2 - \sqrt{3}x + 1),
is a product of three positive numbers, since x2±3x+1=(x±32)2+14x^2 \pm \sqrt{3}x + 1 = (x \pm \frac{\sqrt{3}}{2})^2 + \frac{1}{4}.
We use AGM for three positive variables: ABC3A+B+C3\sqrt[3]{ABC} \le \frac{A+B+C}{3} with A=x2+12A = \frac{x^2+1}{2}, B=a(x2+3x+1)B = a(x^2 + \sqrt{3}x + 1) and C=b(x23x+1)C = b(x^2 - \sqrt{3}x + 1), where a,ba, b are positive numbers (to be chosen) such that ab=1ab = 1. Then
x6+123x2+12+a(x2+3x+1)+b(x23x+1)3=(1+2(a+b))x2+23(ab)x+1+2(a+b)6=3x24x+32, \begin{aligned} \sqrt[3]{\frac{x^6 + 1}{2}} &\le \frac{\frac{x^2+1}{2} + a(x^2 + \sqrt{3}x + 1) + b(x^2 - \sqrt{3}x + 1)}{3} \\ &= \frac{(1 + 2(a + b))x^2 + 2\sqrt{3}(a - b)x + 1 + 2(a + b)}{6} \\ &= \frac{3x^2 - 4x + 3}{2}, \end{aligned}
if, in addition, a,ba, b satisfy the equations 1+2(a+b)=91 + 2(a + b) = 9, 3(ab)=6\sqrt{3}(a - b) = -6. The numbers a=23a = 2 - \sqrt{3}, b=2+3b = 2 + \sqrt{3} satisfy these and ab=1ab = 1. Hence,
x6+1233x24x+32, \sqrt[3]{\frac{x^6 + 1}{2}} \le \frac{3x^2 - 4x + 3}{2},
for all real xx, with equality iff
x2+12=a(x2+3x+1)=b(x23x+1), \frac{x^2 + 1}{2} = a(x^2 + \sqrt{3}x + 1) = b(x^2 - \sqrt{3}x + 1),
i.e., x=1x = 1.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.