一个新的三角不等式及其应用

本文约定:△ABC的三边长为a、b、c,半周长为p,外接圆半径为R,内切圆半径为r,∑表示循环和,Ⅱ表示循环积.经过探讨,笔者得到:定理在△ABC中,有tan2222A r∑≥?R.为证明此不等式,先看下面的引理:引理R(4R+r)2?(4R?2r)p2≥0.证明由R≥2r及p2≤2R2+10Rr?r2+2(R?2r)R(R?2r)知欲证:R(4R+r)2?(4R?2r)p2≥0,我们只需证明:16R3+8R2r+Rr2≥(4R?2r)[2R2+10Rr?r2+2(R?2r)R(R?2r)]?(R?2r)(8R2?12Rr+r2)≥4(2R?r)(R?2r)R(R?2r)?(R?2r)2(8R2?12Rr+r2)2≥16R(2R?r)2(R?2r)3?(R?2r)2(16R2r2+8Rr3+r4)≥0,上式显然成立,故:R(4R+r)2?(4R?2r…