Maths Olympiad Prep

Library / /1 of 43

Algebra Difficulty 4.7 AIME Prove it JBMO

Problem:
Let aa, bb, cc be positive real numbers. Prove the inequality
(a2+ac+c2)(1a+b+c+1a+c)+b2(1b+c+1a+b)>a+b+c \left(a^{2}+a c+c^{2}\right)\left(\frac{1}{a+b+c}+\frac{1}{a+c}\right)+b^{2}\left(\frac{1}{b+c}+\frac{1}{a+b}\right)>a+b+c

Solutions — 2

Solution 1

Solution:
By the Cauchy-Schwarz Inequality, we have
1a+b+c+1a+c42a+b+2c \frac{1}{a+b+c}+\frac{1}{a+c} \geqslant \frac{4}{2 a+b+2 c}
and
1b+c+1a+b4a+2b+c \frac{1}{b+c}+\frac{1}{a+b} \geqslant \frac{4}{a+2 b+c}
Since
a2+ac+c2=34(a+c)2+14(ac)234(a+c)2 a^{2}+a c+c^{2}=\frac{3}{4}(a+c)^{2}+\frac{1}{4}(a-c)^{2} \geqslant \frac{3}{4}(a+c)^{2}
then, writing LL for the Left Hand Side of the required inequality, we get
L3(a+c)22a+b+2c+4b2a+2b+c L \geqslant \frac{3(a+c)^{2}}{2 a+b+2 c}+\frac{4 b^{2}}{a+2 b+c}
Using again the Cauchy-Schwarz Inequality, we have:
L(3(a+c)+2b)23a+3b+3c>(3(a+c)+3b)23a+3b+3c=a+b+c L \geqslant \frac{(\sqrt{3}(a+c)+2 b)^{2}}{3 a+3 b+3 c}>\frac{(\sqrt{3}(a+c)+\sqrt{3} b)^{2}}{3 a+3 b+3 c}=a+b+c

Solution 2

Alternative Solution by PSC:
The required inequality is equivalent to
[b2a+b(ba)]+b2b+c+[a2+ac+c2a+ca]+[a2+ac+c2a+b+c(a+c)]>0 \left[\frac{b^{2}}{a+b}-(b-a)\right]+\frac{b^{2}}{b+c}+\left[\frac{a^{2}+a c+c^{2}}{a+c}-a\right]+\left[\frac{a^{2}+a c+c^{2}}{a+b+c}-(a+c)\right]>0
or equivalently, to
a2a+b+b2b+c+c2c+a>ab+bc+caa+b+c \frac{a^{2}}{a+b}+\frac{b^{2}}{b+c}+\frac{c^{2}}{c+a}>\frac{a b+b c+c a}{a+b+c}
However, by the Cauchy-Schwarz Inequality we have
a2a+b+b2b+c+c2c+a(a+b+c)22(a+b+c)3(ab+bc+ca)2(a+b+c)>ab+bc+caa+b+c \frac{a^{2}}{a+b}+\frac{b^{2}}{b+c}+\frac{c^{2}}{c+a} \geqslant \frac{(a+b+c)^{2}}{2(a+b+c)} \geqslant \frac{3(a b+b c+c a)}{2(a+b+c)}>\frac{a b+b c+c a}{a+b+c}

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 reproduced verbatim; metadata (topic, difficulty) added by this project.