Maths Olympiad Prep

Library / /476 of 520

Algebra Difficulty 7.5 National olympiad, round 2 Prove it

39. Positive numbers a,ba, b satisfy a+b=1a+b=1, prove: (1a3a2)(1b3b2)(314)2\left(\frac{1}{a^{3}}-a^{2}\right)\left(\frac{1}{b^{3}}-b^{2}\right) \geqslant\left(\frac{31}{4}\right)^{2}. (Mathematical Bulletin Problem 1808)

Solution

39. After factorization and applying the Cauchy-Schwarz inequality, we get
(1a3a2)(1b3b2)=(1a5)(1b5)a3b3=(1a)(1b)(1+a+a2+a3+a4)(1+b+b2+b3+a3b3+(1+a+a2+a3+a4)(1+b+b2+b3+b4)a2b2=(1a2+1a+1+a+a2)(1b2+1b+1+b+b2)(1ab+1ab+1+ab+ab)2=(ab+1ab+ab+1ab+1)2\begin{array}{l} \left(\frac{1}{a^{3}}-a^{2}\right)\left(\frac{1}{b^{3}}-b^{2}\right)=\frac{\left(1-a^{5}\right)\left(1-b^{5}\right)}{a^{3} b^{3}}= \\ \frac{(1-a)(1-b)\left(1+a+a^{2}+a^{3}+a^{4}\right)\left(1+b+b^{2}+b^{3}+\right.}{a^{3} b^{3}}+ \\ \frac{\left(1+a+a^{2}+a^{3}+a^{4}\right)\left(1+b+b^{2}+b^{3}+b^{4}\right)}{a^{2} b^{2}}= \\ \left(\frac{1}{a^{2}}+\frac{1}{a}+1+a+a^{2}\right)\left(\frac{1}{b^{2}}+\frac{1}{b}+1+b+b^{2}\right) \geqslant \\ \left(\frac{1}{a b}+\frac{1}{\sqrt{a b}}+1+\sqrt{a b}+a b\right)^{2}= \\ \left(a b+\frac{1}{a b}+\sqrt{a b}+\frac{1}{\sqrt{a b}}+1\right)^{2} \end{array}

By the AM-GM inequality, we have aba+b2=12,ab14\sqrt{a b} \leqslant \frac{a+b}{2}=\frac{1}{2}, a b \leqslant \frac{1}{4}. Therefore,
ab+1ab174=4a2b217ab+44ab=(4ab1)(ab4)4ab0ab+1ab52=2(ab1)(ab2)ab0\begin{array}{c} a b+\frac{1}{a b}-\frac{17}{4}=\frac{4 a^{2} b^{2}-17 a b+4}{4 a b}=\frac{(4 a b-1)(a b-4)}{4 a b} \geqslant 0 \\ \sqrt{a b}+\frac{1}{\sqrt{a b}}-\frac{5}{2}=\frac{2(\sqrt{a b}-1)(\sqrt{a b}-2)}{\sqrt{a b}} \geqslant 0 \end{array}

Thus, ab+1ab+ab+1ab+1314a b+\frac{1}{a b}+\sqrt{a b}+\frac{1}{\sqrt{a b}}+1 \geqslant \frac{31}{4}. The inequality is proved.

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.