Maths Olympiad Prep

Library / /5 of 20

Algebra Difficulty 5.3 AIME, harder Prove it Greece

a2+b22ab+b2+c22bc+c2+a22ca+2(ab+bc+ca)35. \frac{a^2 + b^2}{2ab} + \frac{b^2 + c^2}{2bc} + \frac{c^2 + a^2}{2ca} + \frac{2(ab + bc + ca)}{3} \geq 5.
When does equality hold?

Solution

Since a2+b2+c2=3a^2 + b^2 + c^2 = 3, the inequality is equivalent to

(a2+b22ab+1)+(b2+c22bc+1)+(c2+a22ca+1)+(2(ab+bc+ca)a2+b2+c2+1)9. \left( \frac{a^2 + b^2}{2ab} + 1 \right) + \left( \frac{b^2 + c^2}{2bc} + 1 \right) + \left( \frac{c^2 + a^2}{2ca} + 1 \right) + \left( \frac{2(ab + bc + ca)}{a^2 + b^2 + c^2} + 1 \right) \geq 9.
which can be written as
(a+b)22ab+(b+c)22bc+(c+a)22ca+(a+b+c)2a2+b2+c29. \frac{(a+b)^2}{2ab} + \frac{(b+c)^2}{2bc} + \frac{(c+a)^2}{2ca} + \frac{(a+b+c)^2}{a^2+b^2+c^2} \geq 9.
Let LL be the left hand side of the last inequality. Then from Cauchy-Schwarz inequality in the form of Engel or Andreescu it follows that
L((a+b)+(b+c)+(c+a)+(a+b+c))22ab+2bc+2ca+a2+b2+c2=9(a+b+c)2(a+b+c)2=9. L \geq \frac{((a+b) + (b+c) + (c+a) + (a+b+c))^2}{2ab + 2bc + 2ca + a^2 + b^2 + c^2} = \frac{9(a+b+c)^2}{(a+b+c)^2} = 9.
The equality holds, if and only if
a+b2ab=b+c2bc=c+a2ca=a+b+c3. \frac{a+b}{2ab} = \frac{b+c}{2bc} = \frac{c+a}{2ca} = \frac{a+b+c}{3}.
Since a,b,c>0a, b, c > 0, from the first two equations we get a=b=ca = b = c, and by using the last equation we find: a=b=c=1a = b = c = 1.

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.