Maths Olympiad Prep

Library / /20 of 397

Algebra Difficulty 4.6 AIME Prove it Taiwan

Given a,b,c,d>0a, b, c, d > 0, prove that:
cycca+2b+cyca+2bc8((a+b+c+d)2ab+ac+ad+bc+bd+cd1), \sum_{cyc} \frac{c}{a + 2b} + \sum_{cyc} \frac{a + 2b}{c} \geq 8 \left( \frac{(a + b + c + d)^2}{ab + ac + ad + bc + bd + cd} - 1 \right),
where cycf(a,b,c,d)=f(a,b,c,d)+f(d,a,b,c)+f(c,d,a,b)+f(b,c,d,a)\sum_{cyc} f(a, b, c, d) = f(a, b, c, d) + f(d, a, b, c) + f(c, d, a, b) + f(b, c, d, a)

Solution

Notice that
ca+2b=a+2b+ca+2b1,a+2bc=a+2b+cc1 \frac{c}{a+2b} = \frac{a+2b+c}{a+2b} - 1, \quad \frac{a+2b}{c} = \frac{a+2b+c}{c} - 1
So we have:
cycca+2b+cyca+2bc=cyc(a+2b+c)(1a+2b+1c)8=cyc(a+2b+c)2c(a+2b)8. \begin{aligned} \sum_{cyc} \frac{c}{a+2b} + \sum_{cyc} \frac{a+2b}{c} &= \sum_{cyc} (a+2b+c) \left( \frac{1}{a+2b} + \frac{1}{c} \right) - 8 \\ &= \sum_{cyc} \frac{(a+2b+c)^2}{c(a+2b)} - 8. \end{aligned}
Using the Cauchy-Schwarz inequality:
(cycc(a+2b))(cyc(a+2b+c)2c(a+2b))16(a+b+c+d)2 \left( \sum_{cyc} c(a+2b) \right) \left( \sum_{cyc} \frac{(a+2b+c)^2}{c(a+2b)} \right) \geq 16(a+b+c+d)^2
that is
cyc(a+2b+c)2c(a+2b)88((a+b+c+d)2cycc(a+2b)1)=8((a+b+c+d)2ab+ac+ad+bc+bd+cd1). \begin{aligned} \sum_{cyc} \frac{(a+2b+c)^2}{c(a+2b)} - 8 &\geq 8 \left( \frac{(a+b+c+d)^2}{\sum_{cyc} c(a+2b)} - 1 \right) \\ &= 8 \left( \frac{(a+b+c+d)^2}{ab+ac+ad+bc+bd+cd} - 1 \right). \end{aligned}

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.