Let a, b, c be positive real numbers satisfying min{a+b,b+c,c+a}>2 and a2+b2+c2=3. Prove that: (b+c−a)2a+(c+a−b)2b+(a+b−c)2c≥(abc)23
Solution
From b+c>2 we obtain b2+c2>1, so a2=3−(b2+c2)<2, that is a<2<b+c. Thus we have b+c−a>0, and similarly c+a−b>0 and a+b−c>0. We will use HÖLDER's inequality: y1px1p+1+y2px2p+1+⋯+ynpxnp+1≥(y1+y2+⋯+yn)p(x1+x2+⋯+xn)p+1 which holds for all positive real numbers p, x1, x2, ⋯, xn, y1, y2, ⋯, yn. Applying HÖLDER's inequality with p=2, n=3 we obtain: ∑(b+c−a)2a=∑a5(b+c−a)2(a2)3≥(∑a5/2(b+c−a))2(a2+b2+c2)3=(∑a5/2(b+c−a))227. To estimate the denominator on the right-hand side above, we observe a special case of SCHUR's inequality: ∑a3/2(a−b)(a−c)≥0 After rearranging, this gives: ∑a5/2(b+c−a)≤abc(a+b+c) Then by the Cauchy-Schwarz inequality we know: (3a+b+c)4≤3a2+b2+c2=1 that is a+b+c≤3. Hence ∑(b+c−a)2a≥(abc(a+b+c))227≥(abc)23 as desired.
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 translated into English from the original; metadata (topic, difficulty) added by this project.