Let a,b,c be real numbers such that 0≤a≤b≤c. Prove that if
a+b+c=ab+bc+ca>0,
then bc(a+1)≥2. When does the equality hold?
Solution
Let a+b+c=ab+bc+ca=k. Since (a+b+c)2≥3(ab+bc+ca), we get that k2≥3k. Since k>0, we obtain that k≥3.
We have bc≥ca≥ab, so from the above relation we deduce that bc≥1. By AM-GM, b+c≥2bc and consequently b+c≥2. The equality holds iff b=c. The constraint gives us
For bc=2 condition a≥0 gives bc(a+1)≥2 with equality iff a=0 and b=c=2. For bc>2 we have bc(a+1)>2(a+1)≥2. The proof is complete. The equality holds iff a=b=c=1 or a=0 and b=c=2.
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.