Maths Olympiad Prep

Library / Belarus — Final Round /3 of 32

Belarus — Final Round

Algebra Difficulty 5.4 AIME, harder Prove it Belarus

Prove that
∣(a−b)(b−c)(c−d)(d−a)∣≤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
∣(a−b)(b−c)(c−d)(d−a)∣≤abcd4  ⟺   |(a-b)(b-c)(c-d)(d-a)| \le \frac{abcd}{4} \iff
(a−b)2ab⋅(b−c)2bc⋅(c−d)2cd⋅(d−a)2da≤116.(∗) \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
(a−b)2ab≤12.(1) \frac{(a-b)^2}{ab} \le \frac{1}{2}. \qquad (1)
Indeed, we have
(a−b)2ab≤12⇔2(a−b)2≤ab⇔2(ab)2−5(ab)+2≤0⇔2(ab−2)(ab−12)≤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
(b−c)2bc≤12,(2) \frac{(b-c)^2}{bc} \le \frac{1}{2}, \qquad (2)
(c−d)2cd≤12,(3) \frac{(c-d)^2}{cd} \le \frac{1}{2}, \qquad (3)
(d−a)2da≤12.(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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.