AlgebraDifficulty 7.4National olympiad, round 2Prove it
- Example 3 Positive numbers a,b,c satisfy a+b+c=1, prove: 1−a1+a+1−b1+b+1−c1+c⩽2(ab+bc+ca) (2004 Japan Mathematical Olympiad Problem)
Solution
Prove that the original inequality is equivalent to ⇔⇔ab+bc+ca⩾23+b+ca+c+ab+a+bcab−c+ab+bc−a+bc+ca−b+ca⩾23a(c+a)bc+b(a+b)ca+c(b+c)ab⩾23
By the Cauchy-Schwarz inequality, we have ⩾[(b+c)+(c+a)+(a+b)][a(c+a)bc+b(a+b)ca+c(b+c)ab](cab+abc+bca)2
We need to prove that (cab+abc+bca)2⩾3(a+b+c)
Let cab=x,abc=y,bca=z, then a=zx,b=xy,c=yz, and (2) is equivalent to (x+y+z)2⩾3(xy+yz+zx)
This is obvious, so c(c+a)ab+b(a+b)bc+c(b+c)ca⩾23. Therefore, the original inequality is proved.
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.