两个含余弦函数的三角母不等式及其推论.docVIP

两个含余弦函数的三角母不等式及其推论 　　笔者最近得到两个含余弦函数的“三角母不等式”，然后利用它们给出一些有趣的三角子不等式，供读者欣赏. 　　定理1在任意△ABC中，若A≥B≥C，且实数x，y，z满足x≥y≥z及y≥0，则有 　　x+y+z≥2（xcosA+ycosB+zcosC）（*） 　　证当A≥B≥C时，此时就有 　　12-cosA≥0，同时12-cosC≤0， 　　又设不等式（*）左右之差为M，那么 　　M=2x（12-cosA）+2y（12-cosB）+2z（12-cosC）≥2y（12-cosA）+2y（12-cosB）+2y（12-cosC）=2y（32-cosA-cosB-cosC）≥0. 　　即定理1成立.当且仅当A=B=C=π3时不等式取等号. 　　以上证明过程用到了一个熟知的不等式cosA+cosB+cosC≤32. 　　与定理1完全类似，我们还可轻松证明如下类似的定理2（其证明略）. 　　定理2在任意△ABC中，若A≥B≥C，且实数x，y，z满足x≥y≥z及y≥0，则有 　　x+y+z≥23（xcosA2+ycosB2+zcosC2）（*′） 　　以下给出两个定理的几个有趣推论. 　　推论1在任意△ABC中，有 　　sinA+sinB+sinC≥sin2A+sin2B+sin2C（1） 　　证当A≥B≥C时，取x=sinA，y=sinB，z=sinC，即满足定理1条件， 　　代入不等式（*）立得sinA+sinB+sinC≥sin2A+sin2B+sin2C， 　　即当A≥B≥C时不等式（1）成立，又不等式（1）是完全对称不等式， 　　故不等式（1）对任意△ABC均成立. 　　推论2在任意△ABC中，有 　　a2b2c2+b2c2a2+c2a2b2+1bc+1ca+1ab≥ 　　2a2+2b2+2c2（2） 　　证当A≥B≥C时，取x=1bc，y=1ca，z=1ab，即满足定理1条件， 　　代入不等式（*）并利用余弦定理整理可得 　　a2b2c2+b2c2a2+c2a2b2+1bc+1ca+1ab≥ 　　2a2+2b2+2c2， 　　即当A≥B≥C时不等式（2）成立，又不等式（2）是完全对称不等式， 　　故不等式（2）对任意△ABC均成立. 　　推论3在任意△ABC中，若指数p0，则有 　　secpA2+secpB2+secpC2≥23（secp-1A2+secp-1B2+secp-1C2）（3） 　　证当A≥B≥C且p0时，取x=secpA2，y=secpB2，z=secpC2即满足定理2条件， 　　代入不等式（*′）整理即得 　　secpA2+secpB2+secpC2≥23（secp-1A2+secp-1B2+secp-1C2）， 　　即当A≥B≥C时不等式（3）成立，又不等式（3）是完全对称不等式， 　　故不等式（3）对任意△ABC均成立. 　　推论4（欧拉不等式的加强） 　　若a，b，c，Δ，R，r分别为△ABC的三边长，面积，外接圆半径和内切圆半径，则有 　　Rr≥3213sinAsinBsinCsinA2sinB2sinC2≥2（4） 　　证当A≥B≥C时，取x=a，y=b，z=c，即满足定理2条件，代入不等式（*′）， 　　且右边利用三角形面积公式 　　2Δ=bcsinA=casinB=absinC=（a+b+c）r整理可得a+b+c≥23（acosA2+bcosB2+ccosC2） 　　=23（acosA2bcsinA+bcosB2casinB+ccosC2absinC）（a+b+c）r， 　　上式再利用正弦定理及三元均值不等式整理可得Rr≥13（cosA2sinBsinC+cosB2sinCsinA+cosC2sinAsinB） 　　≥3213sinAsinBsinCsinA2sinB2sinC2≥2， 　　即当A≥B≥C时不等式链（4）成立，又由不等式链（4）的完全对称性，知欧拉不等式加强链（4）对任意△ABC均成立. 　　以上证明过程用到了两个熟知的三角不等式 　　sinAsinBsinC≤338，sinA2sinB2sinC2≤18. 　　推论5（外森比克不等式） 　　若a，b，c，Δ分别为△ABC的三边长及面积，则有a2+b2+c2≥43Δ（5） 　　证当A≥B≥C时，取x=a2，y=b2，z=c2，即满足定理2条件，代入不等式（*′）并利用三元均值定理等三角公式可得 　　a2+b2+c2 　　≥23（a2cosA2+b2cosB2+c2cosC2） 　　=4Δ3（a2cosA2bcsinA+b2cosB2casinB+c2cosC2absinC） 　　≥4