Example 1.11.7. Let a,b,c be non-negative real numbers with sum 3. Prove that 1+ba+b+1+cb+c+1+ac+a≥3
This one wants a proof. Work it on paper, then read the official solution and mark
yourself. Be honest about it: the record is only any use to you if it is.
Official solution
SOLUTION. The inequality is equivalent to (homogeneous form) b+3a+b+ca+b+c+3a+b+cb+c+a+3a+b+cc+a≥3
Since this problem is cyclic, homogeneous, and holds if a=b=c, we can assume that c=0 and a+b=3. In this case, we have to prove that 1+b3+b+1+aa≥3⇔4−a3+1+aa≥a⇔a3−4a2+3a+3≥0⇔a(a−2)2+(3−a)≥0 which is obvious because a∈[0,3]. The equality holds for only one case, a=b=c=1.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.