Maths Olympiad Prep

Library / /19 of 30

Algebra Difficulty 6.1 National olympiad Prove it Ireland

Suppose aa, bb, cc, dd are positive numbers such that
1=3abcd+2(abc+bcd+dca+dab)+(ab+bc+cd+da+ac+bd). 1 = 3abcd + 2(abc + bcd + dca + dab) + (ab + bc + cd + da + ac + bd).
Prove that
abcd181, abcd \le \frac{1}{81},
and that the inequality is strict unless a=b=c=d=1/3a = b = c = d = 1/3.

Solution

By the AM-GM inequality,
abc+bcd+dca+dab4(abcd)34andab+bc+cd+da+ac+bd6(abcd)36, \begin{aligned} &abc + bcd + dca + dab \ge 4\sqrt[4]{(abcd)^3} \quad \text{and} \\ &ab + bc + cd + da + ac + bd \ge 6\sqrt[6]{(abcd)^3}, \end{aligned}
with equality in both inequalities iff a=b=c=da = b = c = d. Hence, letting x=abcd4x = \sqrt[4]{abcd}, we have that
13x4+8x3+6x2 1 \ge 3x^4 + 8x^3 + 6x^2
with equality iff a=b=c=da = b = c = d. But 13x48x36x2=(13x)(1+x)31 - 3x^4 - 8x^3 - 6x^2 = (1 - 3x)(1+x)^3, and xx is positive. Hence, 13x4+8x3+6x21 \ge 3x^4 + 8x^3 + 6x^2 iff x1/3x \le 1/3, with equality iff x=1/3x = 1/3. Thus abcd1/34abcd \le 1/3^4, and the inequality is strict unless a=b=c=d=1/3a = b = c = d = 1/3.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.