Maths Olympiad Prep

Library / /277 of 520

Algebra Difficulty 6.7 National olympiad Prove it

88. Given that a,b,ca, b, c are positive numbers, prove: (1+a2)(1+b2)(1+c2)(1+a)(1+b)(1+c)12(1+abc)\frac{\left(1+a^{2}\right)\left(1+b^{2}\right)\left(1+c^{2}\right)}{(1+a)(1+b)(1+c)} \geqslant \frac{1}{2}(1+a b c)

Solution

88 = If a,ba, b are positive numbers, then a3+b323a2+b2a+b\sqrt[3]{-\frac{a^{3}+b^{3}}{2}} \leqslant \frac{a^{2}+b^{2}}{a+b}. (Proof see Question 60), thus
(1+a2)(1+b2):(1+c2)(1+a)(1+b)=(1+c)1+a321+b3231+c323=12(1+a3)(1+b3)(1+c3)3\begin{array}{l} \frac{\left(-1+a^{2}\right)\left(1+b^{2}\right):\left(1+c^{2}\right)}{(1+a)(1+b)=(1+c)} \geqslant \sqrt{\frac{1+a^{3}}{2}} \cdot \sqrt[3]{\frac{1+b^{3}}{2}} \cdot \sqrt[3]{\frac{1+c^{3}}{2}}= \\ \frac{1}{2} \cdot \sqrt[3]{\left(1+a^{3}\right)\left(1+b^{3}\right)\left(1+c^{3}\right) *} \end{array}

By the AM-GM inequality, we get
(1+a3)(1+b3)(1+c3)=1+(a3+b3+c3)+(a3b3+b3c3+c3a3)+a3b3c31+3abc+3a2b2c2+a3b3c3=(1+abc)3\begin{aligned} \left(1+a^{3}\right)\left(1+b^{3}\right)-\left(1+c^{3}\right)= & 1+\left(a^{3}+b^{3}+c^{3}\right)+\left(a^{3} b^{3}+b^{3} c^{3}+c^{3} a^{3}\right)+a^{3} b^{3} c^{3} \geqslant \\ & 1+3 a b c+3 a^{2} b^{2} c^{2}+a^{3} b^{3} c^{3}=(1+a b c)^{3-} \end{aligned}

Therefore,
(1+a2)(1+b2)(F+c2)(1+a)(1+b)(1+c)12(1+abc)\frac{\left(1+a^{2}\right)\left(-1+b^{2}\right)\left(F+c^{2}\right)}{(1+a)(1+b)(1+c)} \geqslant-\frac{1}{2}(1+a b c)

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.