(α) For every real number x>0 prove that: x3−3x≥−2.
(β) For all real numbers x,y,z>0, prove that: zx2y+xy2z+yz2x+2(xzy+xyz+yzx)≥9.(1) When equality holds?
Solution
(α) We have x3−3x≥−2⇔x3−3x+2≥0⇔x3−x−2x+2≥0⇔x(x−1)(x+1)−2(x−1)≥0⇔(x−1)(x2+x−2)≥0⇔(x+2)(x−1)2≥0 which is valid, because x>0.
(β) The inequality is equivalent to zy(x2+x2)+xz(y2+y2)+yx(z2+z2)≥9.(2) From question (α), by dividing both parts by x we obtain x2+x2≥3. Therefore it is enough to prove: 3(zy+xz+yx)≥9⇔zy+xz+yx≥3.(3) The latter is valid, as we can easily see, by applying the inequality of arithmetic and geometric mean as follows: zy+xz+yx≥3zxyyzx=3(4) The equality holds if and only if x=y=z=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 and solution reproduced as published; topic and difficulty added by this site.