where O is the point inside triangle ABC such that ∠AOB=∠BOC=∠COA=120∘.
Solutions — 2
Solution 1
Denote the length of AO by x, BO by y and CO by z. From the cosine law we have: (fig.26)
Fig.26
AB=x2+xy+y2,BC=y2+yz+z2, CA=z2+zx+x2 and so we can rewrite our inequality: y2+yz+z2x2+z2+zx+x2y2+x2+xy+y2z2≥3x+y+z(1)
Without loss of generality we can suppose that x≥y≥z. Then it is easy to see that y2+yz+z21≥x2+xz+z21≥x2+xy+y21. And also it is obvious that x2≥y2≥z2. Thus we can use an obvious inequality: y2+yz+z2x2+x2+xz+z2y2+x2+xy+y2z2≥y2+yz+z2y2+x2+xz+z2z2+x2+xy+y2z2,y2+yz+z2x2+x2+xz+z2y2+x2+xy+y2z2≥y2+yz+z2z2+x2+xz+z2x2+x2+xy+y2y2 Therefore the left hand side of the inequality (1) is no less than 21(y2+yz+z2y2+z2+x2+xz+z2x2+z2+x2+xy+y2z2). We will now show that y2+yz+z2y2+z2≥3y+z. To prove this let us use the power mean inequality: y2+yz+z2y2+z2≥32(y2+z2)=322y2+z2≥32⋅2y+z=3y+z In the same way we can get analogous inequalities for pairs (x,y) and (x,z). And so we finally get: y2+z2y2+z2+x2+xz+z2x2+z2+x2+xy+y2x2+y2≥32(x+y+z), which was to be proved.
Solution 2
Here we will give another proof of the inequality (1). Using obvious inequalities yz≤2y2+z2, xz≤2x2+z2 and xy≤2x2+y2 we can obtain: y2+yz+z2x2+z2+zx+x2y2+x2+xy+y2z2≥32(y2+z2x2+z2+y2y2+x2+y2z2). Now denote S=x2+y2+z2 and consider the function f(t)=S−t1. Since f′′(t)=(S−t)31+43(S−t)51=4(S−t)54(S−t)+3t=4(S−t)54S−t≥0 for 0≤t<S, function f is convex on [0,S). And so applying the Jensen's inequality for (0≤x2,y2,z2<S we can get: 31(y2+z2x2+z2+x2y2+x2+y2z2)=31(S−x2x2+S−y2y2+S−z2z2)==31(f(x2)+f(y2)+f(z2))≥f(3x2+y2+z2)=3S−388=6(x2+y2+z2)2≥32x+y+z And finally y2+yz+z2x2+z2+zx+x2y2+x2+xy+y2z2≥32⋅21(x+y+z)=3x+y+z, 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.