Maths Olympiad Prep

Library / /352 of 520

Algebra Difficulty 7.0 National olympiad, round 2 Prove it

Example 2.1.16. Let a,b,ca, b, c be non-negative real numbers. Prove that
ab2+c2+ba2+c2+ca2+b245(1b+c+1c+a+1a+b).\frac{a}{b^{2}+c^{2}}+\frac{b}{a^{2}+c^{2}}+\frac{c}{a^{2}+b^{2}} \geq \frac{4}{5}\left(\frac{1}{b+c}+\frac{1}{c+a}+\frac{1}{a+b}\right) .

Solution

SolutION. Applying Cauchy-Schwarz, we obtain
(cycab2+c2)(cyca(b2+c2))(a+b+c)2\left(\sum_{c y c} \frac{a}{b^{2}+c^{2}}\right)\left(\sum_{c y c} a\left(b^{2}+c^{2}\right)\right) \geq(a+b+c)^{2}

It remains to prove that
(a+b+c)2ab(a+b)+bc(b+c)+ca(c+a)45a2+b2+c2+3(ab+bc+ca)ab(a+b)+bc(b+c)+ca(c+a)+2abc\frac{(a+b+c)^{2}}{a b(a+b)+b c(b+c)+c a(c+a)} \geq \frac{4}{5} \cdot \frac{a^{2}+b^{2}+c^{2}+3(a b+b c+c a)}{a b(a+b)+b c(b+c)+c a(c+a)+2 a b c}

Let S=cyc a2,P=cyc abS=\sum_{\text {cyc }} a^{2}, P=\sum_{\text {cyc }} a b and Q=cyc ab(a+b)Q=\sum_{\text {cyc }} a b(a+b). The above inequality becomes
5(S+2P)Q4(S+3P)Q+2abcSQ+10abcS+20abcP2PQ\frac{5(S+2 P)}{Q} \geq \frac{4(S+3 P)}{Q+2 a b c} \Leftrightarrow S Q+10 a b c S+20 a b c P \geq 2 P Q

Clearly, we have
PQ=syma2b2(a+b)+2abc(S+P)SQsymab(a+b)(a2+b2)2sym a2b2(a+b)\begin{array}{l} P Q=\sum_{s y m} a^{2} b^{2}(a+b)+2 a b c(S+P) \\ S Q \geq \sum_{s y m} a b(a+b)\left(a^{2}+b^{2}\right) \geq 2 \sum_{\text {sym }} a^{2} b^{2}(a+b) \end{array}

This finishes the proof. Equality holds for a=b,c=0a=b, c=0 up to permutations.

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.