Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /38 of 359

Taiwan IMO Selection Camp

Algebra Difficulty 4.9 AIME Prove it Taiwan

a, b, c, d are positive real numbers satisfying a+b+c+d=4a + b + c + d = 4. Prove that:
a2b+b2c+c2d+d2a≥4+(a−d)2. \frac{a^2}{b} + \frac{b^2}{c} + \frac{c^2}{d} + \frac{d^2}{a} \geq 4 + (a-d)^2.

Solution

Notice that if the RHS did not have the term (a−d)2(a-d)^2, then
∑cyca2b≥4⇔∑cyc(a2b+b)≥8 \begin{aligned} \sum_{cyc} \frac{a^2}{b} &\geq 4 \\ \Leftrightarrow \sum_{cyc} \left(\frac{a^2}{b} + b\right) &\geq 8 \end{aligned}
The above can easily be seen to hold by four applications of the AM-GM inequality. Returning to the original problem, after adding the term (a−d)2(a-d)^2 we need to prove
⇔∑cyc(a2b+b)≥8+(a−d)2⇔∑cyc(a2b+b−2a)≥(a−d)2⇔∑cyc(a2+b2−2abb)≥(a−d)2 \begin{align*} \Leftrightarrow \sum_{cyc} \left(\frac{a^2}{b} + b\right) &\geq 8 + (a-d)^2 \\ \Leftrightarrow \sum_{cyc} \left(\frac{a^2}{b} + b - 2a\right) &\geq (a-d)^2 \\ \Leftrightarrow \sum_{cyc} \left(\frac{a^2 + b^2 - 2ab}{b}\right) &\geq (a-d)^2 \end{align*}
By the Cauchy-Schwarz inequality we know
∑cyc((a−b)2b)∑cyc(b)≥(∑cyc∣a−b∣)2≥((a−b)+(b−c)+(c−d)+(a−d))2=(2a−2d)2. \begin{align*} \sum_{cyc} \left(\frac{(a-b)^2}{b}\right) \sum_{cyc} (b) &\geq \left(\sum_{cyc} |a-b|\right)^2 \\ &\geq \left((a-b) + (b-c) + (c-d) + (a-d)\right)^2 = (2a-2d)^2. \end{align*}
Therefore
∑cyc(a2+b2−2abb)≥(2a−2d)2a+b+c+d=(2a−2d)24=(a−d)2. \begin{align*} \sum_{cyc} \left( \frac{a^2 + b^2 - 2ab}{b} \right) &\ge \frac{(2a-2d)^2}{a+b+c+d} \\ &= \frac{(2a-2d)^2}{4} = (a-d)^2. \end{align*}

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 translated into English from the original; metadata (topic, difficulty) added by this project.