Maths Olympiad Prep

Library / /464 of 520

Algebra Difficulty 5.9 AIME, harder Prove it

5. Given positive real numbers a,b,c,da, b, c, d satisfying abcd=1a b c d=1,
a+b+c+d>ab+bc+cd+da .  a+b+c+d>\frac{a}{b}+\frac{b}{c}+\frac{c}{d}+\frac{d}{a} \text { . }

Prove: a+b+c+d<ba+cb+dc+ada+b+c+d<\frac{b}{a}+\frac{c}{b}+\frac{d}{c}+\frac{a}{d}.

Solution

5. First prove: If abcd=1a b c d=1, then a+b+c+da+b+c+d does not exceed the weighted average of ab+bc+cd+da\frac{a}{b}+\frac{b}{c}+\frac{c}{d}+\frac{d}{a} and ba+cb+dc+ad\frac{b}{a}+\frac{c}{b}+\frac{d}{c}+\frac{a}{d}.
By the AM-GM inequality, we have
a=a4abcd4=ababbcad414(ab+ab+bc+ad). \begin{array}{l} a=\sqrt[4]{\frac{a^{4}}{a b c d}}=\sqrt[4]{\frac{a}{b} \cdot \frac{a}{b} \cdot \frac{b}{c} \cdot \frac{a}{d}} \\ \leqslant \frac{1}{4}\left(\frac{a}{b}+\frac{a}{b}+\frac{b}{c}+\frac{a}{d}\right) . \end{array}

Similarly, b14(bc+bc+cd+ba)b \leqslant \frac{1}{4}\left(\frac{b}{c}+\frac{b}{c}+\frac{c}{d}+\frac{b}{a}\right),
c14(cd+cd+da+cb),d14(da+da+ab+dc). \begin{array}{l} c \leqslant \frac{1}{4}\left(\frac{c}{d}+\frac{c}{d}+\frac{d}{a}+\frac{c}{b}\right), \\ d \leqslant \frac{1}{4}\left(\frac{d}{a}+\frac{d}{a}+\frac{a}{b}+\frac{d}{c}\right) . \end{array}

Adding the above four inequalities, we get
a+b+c+d34(ab+bc+cd+da)+14(ba+cb+dc+ad) \begin{array}{l} a+b+c+d \\ \leqslant \frac{3}{4}\left(\frac{a}{b}+\frac{b}{c}+\frac{c}{d}+\frac{d}{a}\right)+\frac{1}{4}\left(\frac{b}{a}+\frac{c}{b}+\frac{d}{c}+\frac{a}{d}\right) \end{array}

If a+b+c+d>ab+bc+cd+daa+b+c+d>\frac{a}{b}+\frac{b}{c}+\frac{c}{d}+\frac{d}{a}, then
a+b+c+d<ba+cb+dc+ad a+b+c+d<\frac{b}{a}+\frac{c}{b}+\frac{d}{c}+\frac{a}{d} \text {. }

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.