Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /82 of 270

Iranian Mathematical Olympiad

Algebra Difficulty 6.2 National Olympiad Prove it Iran

Let aa, bb and cc be positive real numbers with c≥b≥ac \ge b \ge a. Prove that
(c−a)26c≤a+b+c3−31a+1b+1c \frac{(c-a)^2}{6c} \le \frac{a+b+c}{3} - \frac{3}{\frac{1}{a} + \frac{1}{b} + \frac{1}{c}}

Solution

First solution. Just to simplify the calculations, define S=a+cS = a + c and P=acP = ac. In this case, the RHS of the inequality becomes
RHS=a+b+c3−31a+1b+1c=S+b3−3PbSb+P. RHS = \frac{a+b+c}{3} - \frac{3}{\frac{1}{a} + \frac{1}{b} + \frac{1}{c}} = \frac{S+b}{3} - \frac{3Pb}{Sb+P}.
The goal is to minimize the above phrase as a function of bb; Note that the phrase, as a function of bb, has a linear term which is S+b3\frac{S+b}{3}, and a fractional term with the denominator Sb+PSb + P. Now we re-write the phrase using the new variable t=Sb+Pt = Sb + P and with a little calculation we shall have
RHS=S+b3−3PbSb+P=S2−10P3S+t3S+P2St. RHS = \frac{S+b}{3} - \frac{3Pb}{Sb+P} = \frac{S^2 - 10P}{3S} + \frac{t}{3S} + \frac{P^2}{St}.
Note that the multiply of the last two terms is a phrase without the variable tt. Therefore with using the AM-GM inequality we obtain
RHS≥S2−10P3S+2P2S2=S2−4P3S=(c−a)23(c+a)≥(c−a)26c.■ RHS \ge \frac{S^2 - 10P}{3S} + 2\sqrt{\frac{P^2}{S^2}} = \frac{S^2 - 4P}{3S} = \frac{(c-a)^2}{3(c+a)} \ge \frac{(c-a)^2}{6c}. \blacksquare

Second solution. For the easement of calculations, for any arbitrary formula F(a,b,c)F(a, b, c) with three variables aa, bb and cc, the cyclic sum
F(a,b,c)+F(b,c,a)+F(c,a,b), F(a, b, c) + F(b, c, a) + F(c, a, b),
is shown with ∑F(a,b,c)\sum F(a, b, c). Using this notation, we expand the RHS of the inequality
∑a3−3∑1a=∑a3−3abc∑ab=(∑a)(∑ab)−9abc3∑ab=∑(a2b+ab2)−6abc3∑ab=∑a(b−c)23∑ab. \begin{aligned} \frac{\sum a}{3} - \frac{3}{\sum \frac{1}{a}} &= \frac{\sum a}{3} - \frac{3abc}{\sum ab} = \frac{(\sum a)(\sum ab) - 9abc}{3 \sum ab} \\ &= \frac{\sum (a^2b + ab^2) - 6abc}{3 \sum ab} = \frac{\sum a(b-c)^2}{3 \sum ab}. \end{aligned}
Therefore, the claim of the problem is equivalent to the following inequality
∑a(b−c)2≥(∑ab2c)(c−a)2.(1) \sum a(b-c)^2 \ge \left( \frac{\sum ab}{2c} \right) (c-a)^2. \quad (1)
But note that with condition a≤b≤ca \le b \le c, ab2c\frac{ab}{2c} is not greater than b2\frac{b}{2} so for the RHS of the above inequality we have
(∑ab2c)(c−a)2=(ab2c+a+b2)(c−a)2≤(a2+b)(c−a)2.(2) \left( \frac{\sum ab}{2c} \right) (c-a)^2 = \left( \frac{ab}{2c} + \frac{a+b}{2} \right) (c-a)^2 \le \left( \frac{a}{2} + b \right) (c-a)^2. \quad (2)
For the LHS of (1), we have
∑a(b−c)2≥b(c−a)2+a((c−b)2+(b−a)2).(3) \sum a(b-c)^2 \ge b(c-a)^2 + a((c-b)^2 + (b-a)^2). \quad (3)
Note that for any two numbers X,YX, Y,
(X−Y)2≥0  ⟹  X2+Y2−2XY≥0  ⟹  2(X2+Y2)≥(X+Y)2  ⟹  X2+Y2≥(X+Y)22. \begin{aligned} (X - Y)^2 \ge 0 &\implies X^2 + Y^2 - 2XY \ge 0 \\ &\implies 2(X^2 + Y^2) \ge (X + Y)^2 \\ &\implies X^2 + Y^2 \ge \frac{(X + Y)^2}{2}. \end{aligned}
Therefore, if X=c−bX = c - b, Y=b−aY = b - a using (3), we obtain
∑a(b−c)2≥b(c−a)2+a((c−b)2+(b−a)2)≥b(c−a)2+a2(c−a)2. \sum a(b-c)^2 \ge b(c-a)^2 + a((c-b)^2 + (b-a)^2) \ge b(c-a)^2 + \frac{a}{2}(c-a)^2.
This inequality along with (2) implies (1) which is equivalent to the claim of the problem. ■

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