Prove that for every positive real numbers x,y,z the following inequality holds x+y+z9−xyz1≤2.
Solution
From the AM-GM inequality we have x+y+z9−xyz1≤3xyz3−xyz1.(1) Let t=3xyz1. According to inequality (1) it is sufficient to prove that 3t−t3≤2 for t>0. The last inequality is equivalent to t3−3t+2≥0, which is the same as (t−1)2(t+2)≥0.
We have equality if and only if t=1 and we have equality in the AM-GM inequality. That is, xyz=1 and x=y=z, so 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.