Prove that 43x2−2x+3≤32x6+1≤2x2−3x+2, for all non-negative real x, with equality iff x=1.
Solution
These inequalities are surely true when x=0, so assume x>0 and let y=x+x1, so that y≥2, and y3−3y=x3+3x+x3+x31−3(x+x1)=x3+x31=x3x6+1. Also 43x2−2x+3=4x(3x−2+x3)=x⋅43y−2, and 2x2−3x+2=x(2y−3). Hence, we are required to prove that 43y−2≤32y3−3y≤2y−3,for all y≥2. Consider the rightmost inequality. It holds iff y3−3y0≤2(2y−3)3=16y3−72y2+108y−54,i.e.≤15y3−72y2+111y−54=3(y−1)(y−2)(5y−9), which is true since each factor is non-negative. Clearly, this inequality is strict unless y=2, i.e. x=1. We treat the leftmost one similarly, which is equivalent to the claim that (3y−2)3≤32(y3−3y) for all y≥2. Expanding and simplifying this becomes 0≤5y3+54y2−132y+8=(y−2)(5y2+62y+2(y−2)), which is true, with equality iff y=2. The result follows.
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.