Let a, b, c be real numbers such that a+b+c+ab+bc+ca+abc≥7. Prove that a2+b2+2+b2+c2+2+c2+a2+2≥6
Solution
First, by AM-GM we can show that x2+y2+1≥xy+x+y for all x,y,z∈R. Hence, a2+b2+2≥∣ab∣+∣a∣+∣b∣+1=(∣a∣+1)(∣b∣+1). Construct similar inequalities and take the sum, we get a2+b2+2+b2+c2+2+c2+a2+2≥(∣a∣+1)(∣b∣+1)+(∣b∣+1)(∣c∣+1)+(∣c∣+1)(∣a∣+1). By AM-GM for three numbers, we get (∣a∣+1)(∣b∣+1)+(∣b∣+1)(∣c∣+1)+(∣c∣+1)(∣a∣+1)≥33(∣a∣+1)(∣b∣+1)(∣c∣+1)=33∣abc∣+∣ab∣+∣bc∣+∣ca∣+∣a∣+∣b∣+∣c∣+1≥33abc+ab+bc+ca+a+b+c+1≥337+1=6 By combining these two inequalities, we finish the proof. The equality occurs when a=b=c=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.