求助一个代数不等式证明
2L所说正确,所证不等式右边系数改为6。即
∑(1+x)*√[x/(1+yz)]≥6√(yz+zx+xy)
证明 首先齐次化。
∑(2x+y+z)√[x(y+z)]≥6[∏√(y+z)*√∑yz]/√∑x (1)
上式两边平方
∑x{∑x(y+z)(2x+y+z)^2+2∑(2y+z+x)(2z+x+y)√[yz(x+y)(x+z)]}
≥36∏(y+z)*∑yz (2)
由局部不等式:
√[yz(x+y)(x+z)]≥yz(2x+y+z)/(y+z); (3-1)
√[zx(y+z)(x+y)]≥zx(2y+z+x)/(z+x); (3-2)
√[xy(z+...全部
2L所说正确,所证不等式右边系数改为6。即
∑(1+x)*√[x/(1+yz)]≥6√(yz+zx+xy)
证明 首先齐次化。
∑(2x+y+z)√[x(y+z)]≥6[∏√(y+z)*√∑yz]/√∑x (1)
上式两边平方
∑x{∑x(y+z)(2x+y+z)^2+2∑(2y+z+x)(2z+x+y)√[yz(x+y)(x+z)]}
≥36∏(y+z)*∑yz (2)
由局部不等式:
√[yz(x+y)(x+z)]≥yz(2x+y+z)/(y+z); (3-1)
√[zx(y+z)(x+y)]≥zx(2y+z+x)/(z+x); (3-2)
√[xy(z+x)(y+z)]≥xy(2z+x+y)/(x+y)。
(3-3)
(3-1)式两边平方化==>
x(x+y+z)*(y-z)^2≥0
因此只需证
∑x*∑x(y+z)(2x+y+z)^2+2∑x*∏(2x+y+z)*∑yz/(y+z)≥36∏(y+z)*∑yz (4)
令x=s-a,y=s-b,z=s-c,s,R,r分别表示三角形ABC的半周长、外接圆与内切圆半径。
BC=a,CA=b,AB=c。则
∑x*∑x(y+z)(2x+y+z)^2=s∑a(s-a)(b+c)^2
=2sr[(10R-r)s^2-r(4R+r)^2];
∑x*∏(2x+y+z)*∑yz/(y+z)=s∏(b+c)*∑(s-b)(s-c)/a
=sr(s^2+2Rr+r^2)*[s^2+(4R+r)^2]/(2R);
∏(y+z)*∑yz=4Rsr^2*(4R+r)。
所以(4)式转化为
2sr[(10R-r)s^2-r(4R+r)^2]+sr(s^2+2Rr+r^2)*[s^2+(4R+r)^2]/R
≥144Rsr^2*(4R+r)
s^4+(36R^2+8Rr+2r^2)s^2-r(4R+r)(144R^2-4Rr-r^2)≥0 (5)
(5)分解为:
(s^2+36R^2+24Rr-3r^2)(s^2-16Rr+5r^2)+4r^2*(19R-2r)(R-2r)≥0
∵s^2-16Rr+5r^2≥0, R-2r≥0。
∴上式成立。
。收起