Maths Olympiad Prep

Library / /439 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

(2) a,b,ca, b, c are positive real numbers, and abc=1,f(α)=abaα+bα+ab+bcbα+cα+bc+a b c=1, f(\alpha)=\frac{a b}{a^{\alpha}+b^{\alpha}+a b}+\frac{b c}{b^{\alpha}+c^{\alpha}+b c}+ cacα+aα+ca\frac{c a}{c^{\alpha}+a^{\alpha}+c a}, then when α12\alpha\frac{1}{2}, f(α)1f(\alpha) \leqslant 1; when α=1\alpha=-1 or α=12\alpha=\frac{1}{2}, f(α)=1f(\alpha)=1; when 1<α<12-1<\alpha<\frac{1}{2}, f(α)1f(\alpha) \geqslant 1. (Generalization of a problem from the 37th IMO Shortlist)

Solution

(2) From the identity
bα+cα=(bα+13cα+13)(b2α13c2α13)+bα+1cα+13(bα23+cα23)b^{\alpha}+c^{\alpha}=\left(\sqrt[3]{b^{\alpha+1}}-\sqrt[3]{c^{\alpha+1}}\right)\left(\sqrt[3]{b^{2 \alpha-1}}-\sqrt[3]{c^{2 \alpha-1}}\right)+\sqrt[3]{b^{\alpha+1} c^{\alpha+1}}\left(\sqrt[3]{b^{\alpha-2}}+\sqrt[3]{c^{\alpha-2}}\right)

we know that when α>12\alpha > \frac{1}{2},
bα+cαbα+1cα+13(bα23+cα23)b^{\alpha}+c^{\alpha} \geqslant \sqrt[3]{b^{\alpha+1} c^{\alpha+1}}\left(\sqrt[3]{b^{\alpha-2}}+\sqrt[3]{c^{\alpha-2}}\right)

Therefore,
bcbα+cα+bcbcbα+1cα+13(bα23+cα23)+bcaα23aα23+bα23+cα23\begin{array}{l} \frac{b c}{b^{\alpha}+c^{\alpha}+b c} \leqslant \frac{b c}{\sqrt[3]{b^{\alpha+1} c^{\alpha+1}}\left(\sqrt[3]{b^{\alpha-2}}+\sqrt[3]{c^{\alpha-2}}\right)+b c} \leqslant \\ \frac{\sqrt[3]{a^{\alpha-2}}}{\sqrt[3]{a^{\alpha-2}}+\sqrt[3]{b^{\alpha-2}}+\sqrt[3]{c^{\alpha-2}}} \end{array}

Similarly,
abaα+bα+abcα23aα23+bα23+cα23cacα+aα+cabα23aα23+bα23+cα23\begin{array}{l} \frac{a b}{a^{\alpha}+b^{\alpha}+a b} \leqslant \frac{\sqrt[3]{c^{\alpha-2}}}{\sqrt[3]{a^{\alpha-2}}+\sqrt[3]{b^{\alpha-2}}+\sqrt[3]{c^{\alpha-2}}} \\ \frac{c a}{c^{\alpha}+a^{\alpha}+c a} \leqslant \frac{\sqrt[3]{b^{\alpha-2}}}{\sqrt[3]{a^{\alpha-2}}+\sqrt[3]{b^{\alpha-2}}+\sqrt[3]{c^{\alpha-2}}} \end{array}

Adding the three inequalities, we get f(α)1f(\alpha) \leqslant 1;
Similarly, when α=1\alpha=-1 or α=12\alpha=\frac{1}{2}, f(α)=1f(\alpha)=1; when 1<α<12-1<\alpha<\frac{1}{2}, f(α)1f(\alpha) \geqslant 1.

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.