Maths Olympiad Prep

Library / /450 of 520

Algebra Difficulty 7.4 National olympiad, round 2 Prove it

- Example 3 Positive numbers a,b,ca, b, c satisfy a+b+c=1a+b+c=1, prove: 1+a1a+1+b1b+1+c1c\frac{1+a}{1-a}+\frac{1+b}{1-b}+\frac{1+c}{1-c} 2(ba+cb+ac)\leqslant 2\left(\frac{b}{a}+\frac{c}{b}+\frac{a}{c}\right) (2004 Japan Mathematical Olympiad Problem)

Solution

Prove that the original inequality is equivalent to
ba+cb+ac32+ab+c+bc+a+ca+bbabc+a+cbca+b+acab+c32bca(c+a)+cab(a+b)+abc(b+c)32\begin{aligned} & \frac{b}{a}+\frac{c}{b}+\frac{a}{c} \geqslant \frac{3}{2}+\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b} \\ \Leftrightarrow & \frac{b}{a}-\frac{b}{c+a}+\frac{c}{b}-\frac{c}{a+b}+\frac{a}{c}-\frac{a}{b+c} \geqslant \frac{3}{2} \\ \Leftrightarrow & \frac{b c}{a(c+a)}+\frac{c a}{b(a+b)}+\frac{a b}{c(b+c)} \geqslant \frac{3}{2} \end{aligned}

By the Cauchy-Schwarz inequality, we have
[(b+c)+(c+a)+(a+b)][bca(c+a)+cab(a+b)+abc(b+c)](abc+bca+cab)2\begin{aligned} & {[(b+c)+(c+a)+(a+b)]\left[\frac{b c}{a(c+a)}+\frac{c a}{b(a+b)}+\frac{a b}{c(b+c)}\right] } \\ \geqslant & \left(\sqrt{\frac{a b}{c}}+\sqrt{\frac{b c}{a}}+\sqrt{\frac{c a}{b}}\right)^{2} \end{aligned}

We need to prove that
(abc+bca+cab)23(a+b+c)\left(\sqrt{\frac{a b}{c}}+\sqrt{\frac{b c}{a}}+\sqrt{\frac{c a}{b}}\right)^{2} \geqslant 3(a+b+c)

Let abc=x,bca=y,cab=z\sqrt{\frac{a b}{c}}=x, \sqrt{\frac{b c}{a}}=y, \sqrt{\frac{c a}{b}}=z, then a=zx,b=xy,c=yza=z x, b=x y, c=y z, and (2) is equivalent to
(x+y+z)23(xy+yz+zx)(x+y+z)^{2} \geqslant 3(x y+y z+z x)

This is obvious, so abc(c+a)+bcb(a+b)+cac(b+c)32\frac{a b}{c(c+a)}+\frac{b c}{b(a+b)}+\frac{c a}{c(b+c)} \geqslant \frac{3}{2}. 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.