Maths Olympiad Prep

Library / /2 of 18

Algebra Difficulty 5.4 AIME, harder Prove it Belarus

Prove that
(ab)(bc)(cd)(da)abcd4, |(a-b)(b-c)(c-d)(d-a)| \le \frac{abcd}{4},
if real numbers a,b,c,da, b, c, d belong to the segment [1;2][1; 2].

Solution

It is evident that
(ab)(bc)(cd)(da)abcd4     |(a-b)(b-c)(c-d)(d-a)| \le \frac{abcd}{4} \iff
(ab)2ab(bc)2bc(cd)2cd(da)2da116.() \frac{(a-b)^2}{ab} \cdot \frac{(b-c)^2}{bc} \cdot \frac{(c-d)^2}{cd} \cdot \frac{(d-a)^2}{da} \le \frac{1}{16}. \qquad (*)

Note that
(ab)2ab12.(1) \frac{(a-b)^2}{ab} \le \frac{1}{2}. \qquad (1)
Indeed, we have
(ab)2ab122(ab)2ab2(ab)25(ab)+202(ab2)(ab12)0. \frac{(a-b)^2}{ab} \le \frac{1}{2} \Leftrightarrow 2(a-b)^2 \le ab \Leftrightarrow 2\left(\frac{a}{b}\right)^2 - 5\left(\frac{a}{b}\right) + 2 \le 0 \Leftrightarrow \\ 2\left(\frac{a}{b} - 2\right)\left(\frac{a}{b} - \frac{1}{2}\right) \le 0.
The last inequality holds since a,b[1,2]a, b \in [1, 2].
Similarly we have
(bc)2bc12,(2) \frac{(b-c)^2}{bc} \le \frac{1}{2}, \qquad (2)
(cd)2cd12,(3) \frac{(c-d)^2}{cd} \le \frac{1}{2}, \qquad (3)
(da)2da12.(4) \frac{(d-a)^2}{da} \le \frac{1}{2}. \qquad (4)
Multiplying (1), (2), (3), (4), we obtain the required inequality (*).

Note that the equality occurs when
{(a,b,c,d)=(2,1,2,1),(1,2,1,2)}. \{(a, b, c, d) = (2, 1, 2, 1), (1, 2, 1, 2)\}.

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.