Prove that 32x6+1≤23x2−4x+3, for all real x, with equality iff x=1.
Solution
Note that for all real x x6+1=(x2+1)(x4−x2+1)=(x2+1)(x2+3x+1)(x2−3x+1), is a product of three positive numbers, since x2±3x+1=(x±23)2+41. We use AGM for three positive variables: 3ABC≤3A+B+C with A=2x2+1, B=a(x2+3x+1) and C=b(x2−3x+1), where a,b are positive numbers (to be chosen) such that ab=1. Then 32x6+1≤32x2+1+a(x2+3x+1)+b(x2−3x+1)=6(1+2(a+b))x2+23(a−b)x+1+2(a+b)=23x2−4x+3, if, in addition, a,b satisfy the equations 1+2(a+b)=9, 3(a−b)=−6. The numbers a=2−3, b=2+3 satisfy these and ab=1. Hence, 32x6+1≤23x2−4x+3, for all real x, with equality iff 2x2+1=a(x2+3x+1)=b(x2−3x+1), i.e., x=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.