Maths Olympiad Prep

Library / /222 of 520

Algebra Difficulty 6.5 National olympiad Prove it

Example 1.1.10 Let a,b,c>0,abc=1a, b, c>0, abc=1, prove: a+ba+1+b+cb+1+c+ac+13\sqrt{\frac{a+b}{a+1}}+\sqrt{\frac{b+c}{b+1}}+\sqrt{\frac{c+a}{c+1}} \geq 3

Solution

Proof: By the AM-GM inequality, we have
LHS3a+ba+1b+cb+1c+ac+13=3(a+b)(b+c)(c+a)(a+1)(b+1)(c+1)6L H S \geq 3 \sqrt[3]{\sqrt{\frac{a+b}{a+1}} \cdot \sqrt{\frac{b+c}{b+1}} \cdot \sqrt{\frac{c+a}{c+1}}}=3 \sqrt[6]{\frac{(a+b)(b+c)(c+a)}{(a+1)(b+1)(c+1)}}

Thus, we only need to prove
(a+b)(b+c)(c+a)(a+1)(b+1)(c+1)(a+b)(b+c)(c+a) \geq(a+1)(b+1)(c+1)

Since abc=1a b c=1, ()(*) is equivalent to
ab(a+b)+bc(b+c)+ca(c+a)a+b+c+ab+bc+caa b(a+b)+b c(b+c)+c a(c+a) \geq a+b+c+a b+b c+c a

By the AM-GM inequality, we have
2LHS+cycab=cyc(a2b+a2b+a2c+a2c+bc)5cyca2LHS+cyca=cyc(a2b+a2b+b2a+b2a+c)5cycab\begin{array}{l} 2 L H S+\sum_{c y c} a b=\sum_{c y c}\left(a^{2} b+a^{2} b+a^{2} c+a^{2} c+b c\right) \geq 5 \sum_{c y c} a \\ 2 L H S+\sum_{c y c} a=\sum_{c y c}\left(a^{2} b+a^{2} b+b^{2} a+b^{2} a+c\right) \geq 5 \sum_{c y c} a b \end{array}

Therefore,
4LHS+2cycab+cyca5cycab+4cycab4LHS4cyca+4cycab=4RHS4 L H S+2 \sum_{c y c} a b+\sum_{c y c} a \geq 5 \sum_{c y c} a b+4 \sum_{c y c} a b \Rightarrow 4 L H S \geq 4 \sum_{c y c} a+4 \sum_{c y c} a b=4 R H S

Thus, the original inequality holds. Equality holds if and only if a=b=c=1a=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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.