Olympiad Maths Prep

Library / /21 of 28

Geometry Difficulty 6.0 AIME, harder Prove it Ukraine

AO2BC+BO2CA+CO2ABAO+BO+CO3 \frac{AO^2}{BC} + \frac{BO^2}{CA} + \frac{CO^2}{AB} \ge \frac{AO + BO + CO}{\sqrt{3}}

where OO is the point inside triangle ABCABC such that AOB=BOC=COA=120\angle AOB = \angle BOC = \angle COA = 120^\circ.

Solutions — 2

Solution 1

Denote the length of AOAO by xx, BOBO by yy and COCO by zz. From the cosine law we have: (fig.26)
Figure 1

Fig.26

AB=x2+xy+y2,BC=y2+yz+z2, AB = \sqrt{x^2 + xy + y^2}, \quad BC = \sqrt{y^2 + yz + z^2},
CA=z2+zx+x2CA = \sqrt{z^2 + zx + x^2} and so we can rewrite our inequality:
x2y2+yz+z2+y2z2+zx+x2+z2x2+xy+y2x+y+z3(1) \frac{x^2}{\sqrt{y^2 + yz + z^2}} + \frac{y^2}{\sqrt{z^2 + zx + x^2}} + \frac{z^2}{\sqrt{x^2 + xy + y^2}} \ge \frac{x+y+z}{\sqrt{3}} \quad (1)

Without loss of generality we can suppose that xyzx \ge y \ge z. Then it is easy to see that
1y2+yz+z21x2+xz+z21x2+xy+y2. And also it is obvious that x2y2z2. Thus \frac{1}{\sqrt{y^2 + yz + z^2}} \ge \frac{1}{\sqrt{x^2 + xz + z^2}} \ge \frac{1}{\sqrt{x^2 + xy + y^2}}. \text{ And also it is obvious that } x^2 \ge y^2 \ge z^2. \text{ Thus}
we can use an obvious inequality:
x2y2+yz+z2+y2x2+xz+z2+z2x2+xy+y2y2y2+yz+z2+z2x2+xz+z2+z2x2+xy+y2,x2y2+yz+z2+y2x2+xz+z2+z2x2+xy+y2z2y2+yz+z2+x2x2+xz+z2+y2x2+xy+y2 \frac{x^2}{\sqrt{y^2 + yz + z^2}} + \frac{y^2}{\sqrt{x^2 + xz + z^2}} + \frac{z^2}{\sqrt{x^2 + xy + y^2}} \ge \frac{y^2}{\sqrt{y^2 + yz + z^2}} + \frac{z^2}{\sqrt{x^2 + xz + z^2}} + \frac{z^2}{\sqrt{x^2 + xy + y^2}}, \\ \frac{x^2}{\sqrt{y^2 + yz + z^2}} + \frac{y^2}{\sqrt{x^2 + xz + z^2}} + \frac{z^2}{\sqrt{x^2 + xy + y^2}} \ge \frac{z^2}{\sqrt{y^2 + yz + z^2}} + \frac{x^2}{\sqrt{x^2 + xz + z^2}} + \frac{y^2}{\sqrt{x^2 + xy + y^2}}
Therefore the left hand side of the inequality (1) is no less than
12(y2+z2y2+yz+z2+x2+z2x2+xz+z2+z2x2+xy+y2). \frac{1}{2} \left( \frac{y^2+z^2}{\sqrt{y^2+yz+z^2}} + \frac{x^2+z^2}{\sqrt{x^2+xz+z^2}} + \frac{z^2}{\sqrt{x^2+xy+y^2}} \right).
We will now show that y2+z2y2+yz+z2y+z3\frac{y^2+z^2}{\sqrt{y^2+yz+z^2}} \ge \frac{y+z}{\sqrt{3}}. To prove this let us use the power mean inequality:
y2+z2y2+yz+z223(y2+z2)=23y2+z2223y+z2=y+z3 \frac{y^2+z^2}{\sqrt{y^2+yz+z^2}} \ge \sqrt{\frac{2}{3}(y^2+z^2)} = \frac{2}{\sqrt{3}} \sqrt{\frac{y^2+z^2}{2}} \ge \frac{2}{\sqrt{3}} \cdot \frac{y+z}{2} = \frac{y+z}{\sqrt{3}}
In the same way we can get analogous inequalities for pairs (x,y)(x, y) and (x,z)(x, z). And so we finally get:
y2+z2y2+z2+x2+z2x2+xz+z2+x2+y2x2+xy+y22(x+y+z)3, \frac{y^2+z^2}{\sqrt{y^2+z^2}} + \frac{x^2+z^2}{\sqrt{x^2+xz+z^2}} + \frac{x^2+y^2}{\sqrt{x^2+xy+y^2}} \ge \frac{2(x+y+z)}{\sqrt{3}},
which was to be proved.

Solution 2

Here we will give another proof of the inequality (1). Using obvious inequalities yzy2+z22yz \le \frac{y^2+z^2}{2}, xzx2+z22xz \le \frac{x^2+z^2}{2} and xyx2+y22xy \le \frac{x^2+y^2}{2} we can obtain:
x2y2+yz+z2+y2z2+zx+x2+z2x2+xy+y223(x2y2+z2+y2z2+y2+z2x2+y2). \frac{x^2}{\sqrt{y^2 + yz + z^2}} + \frac{y^2}{\sqrt{z^2 + zx + x^2}} + \frac{z^2}{\sqrt{x^2 + xy + y^2}} \ge \sqrt{\frac{2}{3}} \left( \frac{x^2}{\sqrt{y^2 + z^2}} + \frac{y^2}{\sqrt{z^2 + y^2}} + \frac{z^2}{\sqrt{x^2 + y^2}} \right).
Now denote S=x2+y2+z2S = x^2 + y^2 + z^2 and consider the function f(t)=1Stf(t) = \frac{1}{\sqrt{S-t}}. Since
f(t)=1(St)3+341(St)5=4(St)+3t4(St)5=4St4(St)50 f''(t) = \frac{1}{\sqrt{(S-t)^3}} + \frac{3}{4} \frac{1}{\sqrt{(S-t)^5}} = \frac{4(S-t)+3t}{4\sqrt{(S-t)^5}} = \frac{4S-t}{4\sqrt{(S-t)^5}} \ge 0
for 0t<S0 \le t < S, function ff is convex on [0,S)[0, S). And so applying the Jensen's inequality for (0x2,y2,z2<S(0 \le x^2, y^2, z^2 < S we can get:
13(x2y2+z2+y2z2+x2+z2x2+y2)=13(x2Sx2+y2Sy2+z2Sz2)==13(f(x2)+f(y2)+f(z2))f(x2+y2+z23)=83S83=(x2+y2+z2)26x+y+z32 \frac{1}{3} \left( \frac{x^2}{\sqrt{y^2+z^2}} + \frac{y^2}{\sqrt{z^2+x^2}} + \frac{z^2}{\sqrt{x^2+y^2}} \right) = \frac{1}{3} \left( \frac{x^2}{\sqrt{S-x^2}} + \frac{y^2}{\sqrt{S-y^2}} + \frac{z^2}{\sqrt{S-z^2}} \right) = \\ = \frac{1}{3} \left( f(x^2) + f(y^2) + f(z^2) \right) \ge f\left(\frac{x^2+y^2+z^2}{3}\right) = \frac{8}{3\sqrt{S-\frac{8}{3}}} = \sqrt{\frac{(x^2+y^2+z^2)^2}{6}} \ge \frac{x+y+z}{3\sqrt{2}}
And finally
x2y2+yz+z2+y2z2+zx+x2+z2x2+xy+y22312(x+y+z)=x+y+z3, \frac{x^2}{\sqrt{y^2+yz+z^2}} + \frac{y^2}{\sqrt{z^2+zx+x^2}} + \frac{z^2}{\sqrt{x^2+xy+y^2}} \ge \sqrt{\frac{2}{3}} \cdot \frac{1}{\sqrt{2}} (x+y+z) = \frac{x+y+z}{\sqrt{3}},
And we're done.

Looking for a route rather than 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.