两个含余弦函数三角母不等式和其推论.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Δ3331