由于1/a^3(b+c)=abc/a^2(ab+bc)=1/a^2(1/b+1/c)令x=1/a,y=1/b,z=1/c,又由于abc=1,a、b、c∈R+,有xyz=1,且x、y、z∈R+,于是只需证明x^2/(y+z)+y^2/(x+z)+z^2/(x+y)≥3/2.因为x^2/(y+z)+(y+z)/4≥x,y^2/(x+z)+(x+z)/4≥y,z^2/(x+y)+(x+y)/4≥z,以上三式相加得x^2/(y+z)+y^2/(x+z)+z^2/(x+y)≥(x+y+z)/2≥3(xyz)^(1/3)/2=3/2.得证
基本不等式
参考以下:
1/(a²(b+c))+1/(b²(a+c))+1/(c²(a+b))
=[1/(a²(b+c))+1/(b²(a+c))+1/(c²(a+b))](abc)²
=(b²c²)/(b+c)+(a²c²)/(a+c)+(a²b²)/(a+b)
>=(bc+ac+ab)²/[2(a+b+c)]
这里是用了一个重要的不等式,其实是柯西不等式的一个变形,下面有讲解
=[a²b²+b²c²+a²c²+2(a²bc+ab²c+abc²)]/[2(a+b+c)]
因为a²b²+b²c²+a²c²
=(1/2)(2a²b²+2b²c²+2a²c²)
=(1/2)(a²b²+b²c²+a²c²+a²b²+b²c²+a²c²)
=(1/2)[b²(a²+c²)+a²(c²+b²)+c²(b²+a²)]
利用均值不等式
>=(1/2)[b²(2ac)+a²(2bc)+c²(2ab)]
=ab²c+a²bc+abc²
=a+b+c
所以[a²b²+b²c²+a²c²+2(a²bc+ab²c+abc²)]/2(a+b+c)
>=[a+b+c+2(a+b+c)]/[2(a+b+c)]
=3(a+b+c)/[2(a+b+c)]
=3/2 证毕
柯西不等式
(a²+b²+c²)(x²+y²+z²)>=(ax+by+cz)²
变形为
[(a²/x)+(b²/y)+(c²/z)](x+y+z)>=(a²+b²+c²)²
两边除以(x+y+z),即
(a²/x)+(b²/y)+(c²/z)>=(a²+b²+c²)²/(x+y+z)
上面有一关键步就是利用这个不等式证明的