Maths Olympiad Prep

Library / /241 of 520

Algebra Difficulty 6.5 National olympiad Prove it

4. Let non-negative real numbers a,b,c,da, b, c, d satisfy abcd=1a b c d=1. Prove:
12a2+a+1+12b2+b+1+12c2+c+1+12d2+d+11.\frac{1}{2 a^{2}+a+1}+\frac{1}{2 b^{2}+b+1}+\frac{1}{2 c^{2}+c+1}+\frac{1}{2 d^{2}+d+1} \geqslant 1 .

Solution

4. Rewrite a,b,c,da, b, c, d as a4,b4,c4,d4a^{4}, b^{4}, c^{4}, d^{4} respectively, then the original expression becomes
cyc 12a8+a5bcd+a2b2c2d21a2b2c2d2. Let b=a+x,c=a+x+y,d=a+x+y+z, substitute into cyc (2b8+b5cda+a2b2c2d2)(2c8+c5dab+a2b2c2d2)(2d8+d5abc+a2b2c2d2)a2b2c2d2cyc (2a8+a5bcd+a2b2c2d2),\begin{array}{c} \sum_{\text {cyc }} \frac{1}{2 a^{8}+a^{5} b c d+a^{2} b^{2} c^{2} d^{2}} \geqslant \frac{1}{a^{2} b^{2} c^{2} d^{2}} . \\ \text { Let } b=a+x, c=a+x+y, d=a+x+y+z \text {, substitute into } \\ \sum_{\text {cyc }}\left(2 b^{8}+b^{5} c d a+a^{2} b^{2} c^{2} d^{2}\right)\left(2 c^{8}+c^{5} d a b+a^{2} b^{2} c^{2} d^{2}\right)\left(2 d^{8}+d^{5} a b c\right. \\ \left.+a^{2} b^{2} c^{2} d^{2}\right) a^{2} b^{2} c^{2} d^{2}-\prod_{\text {cyc }}\left(2 a^{8}+a^{5} b c d+a^{2} b^{2} c^{2} d^{2}\right), \end{array}

Prove that this expression 0\geqslant 0.

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.