Maths Olympiad Prep

Library / /40 of 397

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+d2a4+(ad)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 (ad)2(a-d)^2, then
cyca2b4cyc(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 (ad)2(a-d)^2 we need to prove
cyc(a2b+b)8+(ad)2cyc(a2b+b2a)(ad)2cyc(a2+b22abb)(ad)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((ab)2b)cyc(b)(cycab)2((ab)+(bc)+(cd)+(ad))2=(2a2d)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+b22abb)(2a2d)2a+b+c+d=(2a2d)24=(ad)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,000 problems in a working order, from AMC 10 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.