Olympiad Maths Prep

Track / Stage 7 / 76 of 300 #1476 of 2000

Problem 1476

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.2 Prove it

9 Given a>1,b>1,c>1a>1, b>1, c>1, prove:
(1) a5b21+b5c21+c5a2126615\frac{a^{5}}{b^{2}-1}+\frac{b^{5}}{c^{2}-1}+\frac{c^{5}}{a^{2}-1} \geqslant \frac{26}{6} \sqrt{15};
(2) a5b31+b5c31+c5a3152503\frac{a^{5}}{b^{3}-1}+\frac{b^{5}}{c^{3}-1}+\frac{c^{5}}{a^{3}-1} \geqslant \frac{5}{2} \sqrt[3]{50}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

9. (1) Using the mean inequality, we have
a5b21+25(5+15)12(b1)+25(515)12(b+1)+251815+2518151256a, hence a5b211256(ab)+251815.\begin{array}{l} \quad \frac{a^{5}}{b^{2}-1}+\frac{25(5+\sqrt{15})}{12}(b-1)+\frac{25(5-\sqrt{15})}{12}(b+1)+\frac{25}{18} \sqrt{15}+ \\ \frac{25}{18} \sqrt{15} \geqslant \frac{125}{6} a \text {, hence } \frac{a^{5}}{b^{2}-1} \geqslant \frac{125}{6}(a-b)+\frac{25}{18} \sqrt{15} . \end{array}

Similarly, b5c211256(bc)+251815;c5a211256(ca)+251815\frac{b^{5}}{c^{2}-1} \geqslant \frac{125}{6}(b-c)+\frac{25}{18} \sqrt{15} ; \frac{c^{5}}{a^{2}-1} \geqslant \frac{125}{6}(c-a)+\frac{25}{18} \sqrt{15}. Adding these inequalities yields the original inequality.

(2) Since (b31)(b31)(b31)×32×3235b1555\left(b^{3}-1\right)\left(b^{3}-1\right)\left(b^{3}-1\right) \times \frac{3}{2} \times \frac{3}{2} \leqslant \frac{3^{5} \cdot b^{15}}{5^{5}}, we have b31b^{3}-1 \leqslant 3203b525\frac{3 \cdot \sqrt[3]{20} \cdot b^{5}}{25}, thus a5b315503a56b5\frac{a^{5}}{b^{3}-1} \geqslant \frac{5 \cdot \sqrt[3]{50} \cdot a^{5}}{6 b^{5}}. Similarly, b5c315503b56c5\frac{b^{5}}{c^{3}-1} \geqslant \frac{5 \cdot \sqrt[3]{50} \cdot b^{5}}{6 c^{5}}; c5a315503c56a5\frac{c^{5}}{a^{3}-1} \geqslant \frac{5 \cdot \sqrt[3]{50} \cdot c^{5}}{6 a^{5}}. Therefore, the left side of the inequality 55036(a5b5+b5c5+c5a5)52503\geqslant \frac{5 \sqrt[3]{50}}{6}\left(\frac{a^{5}}{b^{5}}+\frac{b^{5}}{c^{5}}+\frac{c^{5}}{a^{5}}\right) \geqslant \frac{5}{2} \cdot \sqrt[3]{50}.

Note: The first part (1) can also be solved using a method similar to part (2).
Since (b21)(b21)232323(2b25)5\left(b^{2}-1\right)\left(b^{2}-1\right) \cdot \frac{2}{3} \cdot \frac{2}{3} \cdot \frac{2}{3} \leqslant\left(\frac{2 b^{2}}{5}\right)^{5}, we have b2163b5255b^{2}-1 \leqslant \frac{6 \sqrt{3} b^{5}}{25 \sqrt{5}}, thus a5b21255a563b5\frac{a^{5}}{b^{2}-1} \geqslant \frac{25 \sqrt{5} a^{5}}{6 \sqrt{3} b^{5}}. This makes it easy to prove the original inequality.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.