Maths Olympiad Prep

Library / /316 of 520

Algebra Difficulty 6.9 National olympiad Prove it

Example 11 Proof: For non-negative real numbers a,b,ca, b, c, we have
cyc2(a2+b2)9cyc(a+b)33.\sum_{\mathrm{cyc}} \sqrt{2\left(a^{2}+b^{2}\right)} \geqslant \sqrt[3]{9 \sum_{\mathrm{cyc}}(a+b)^{3}} .

Solution

cyc2(a2+b2)9cyc(a+b)33=cyc(2(a2+b2)ab)(9cyc(a+b)332(a+b+c))=cyc(ab)2a+b+2(a2+b2)cyc(18a3+27a2b+27a2c)8(a+b+c)3(9cyc(a+b)33)2+2(a+b+c)9cyc(a+b)33+4(a+b+c)2=cyc(ab)2(1a+b+2(a2+b2)5a+5b+8c(9cyc(a+b)33)2+2(a+b+c)9cyc(a+b)33+4(a+b+c)2)cyc(ab)2(1a+b+1.5(a+b)5a+5b+8c(3cyc(a+b)2)2+4(a+b+c)2+4(a+b+c)2)=cyc(ab)2(25(a+b)5a+5b+8ccyc(14a2+22ab))=cyc(ab)2(4c(7c+a+b)+3(ab)2)10(a+b)cyc(7a2+11ab)0,\begin{array}{l} \sum_{\mathrm{cyc}} \sqrt{2\left(a^{2}+b^{2}\right)}-\sqrt[3]{9 \sum_{\mathrm{cyc}}(a+b)^{3}} \\ =\sum_{\mathrm{cyc}}\left(\sqrt{2\left(a^{2}+b^{2}\right)}-a-b\right)-\left(\sqrt[3]{9 \sum_{\mathrm{cyc}}(a+b)^{3}}-2(a+b+c)\right) \\ =\sum_{\mathrm{cyc}} \frac{(a-b)^{2}}{a+b+\sqrt{2\left(a^{2}+b^{2}\right)}} \\ -\frac{\sum_{\mathrm{cyc}}\left(18 a^{3}+27 a^{2} b+27 a^{2} c\right)-8(a+b+c)^{3}}{\left(\sqrt[3]{9 \sum_{\mathrm{cyc}}(a+b)^{3}}\right)^{2}+2(a+b+c) \sqrt[3]{9 \sum_{\mathrm{cyc}}(a+b)^{3}}+4(a+b+c)^{2}} \\ =\sum_{\mathrm{cyc}}(a-b)^{2}\left(\frac{1}{a+b+\sqrt{2\left(a^{2}+b^{2}\right)}}\right. \\ \left.-\frac{5 a+5 b+8 c}{\left(\sqrt[3]{9 \sum_{\mathrm{cyc}}(a+b)^{3}}\right)^{2}+2(a+b+c) \sqrt[3]{9 \sum_{\mathrm{cyc}}(a+b)^{3}}+4(a+b+c)^{2}}\right) \\ \geqslant \sum_{\mathrm{cyc}}(a-b)^{2}\left(\frac{1}{a+b+1.5(a+b)}\right. \\ \left.-\frac{5 a+5 b+8 c}{\left(\sqrt{3 \sum_{\mathrm{cyc}}(a+b)^{2}}\right)^{2}+4(a+b+c)^{2}+4(a+b+c)^{2}}\right) \\ =\sum_{\mathrm{cyc}}(a-b)^{2}\left(\frac{2}{5(a+b)}-\frac{5 a+5 b+8 c}{\sum_{\mathrm{cyc}}\left(14 a^{2}+22 a b\right)}\right) \\ =\sum_{\mathrm{cyc}} \frac{(a-b)^{2}\left(4 c(7 c+a+b)+3(a-b)^{2}\right)}{10(a+b) \sum_{\mathrm{cyc}}\left(7 a^{2}+11 a b\right)} \geqslant 0, \end{array}

Therefore, the original inequality holds.

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.