一组几何不等式的新类比

摘"要"在文［1］的基础上，本文得到了一系列涉及三角形中线的三角形不等式.

关键词"三角形不等式；中线；类比

在△ABC中，记BC=a，CA=b，AB=c，其半周长、面积、外接圆半径、内切圆半径分别为p，S，R，r，边a，b，c对应的中线长分别为ma，mb，mc，∑x=x+y+z表示循环求和.文［1］中作者先对两道征解问题进行研究，再通过类比又获得了一组三角形不等式.

定理1"在△ABC中，有a+b+c2≤∑asinA2≤2p（1－rR）.

定理2"在△ABC中，有12r－6r2R≤∑acosA2≤2（R+r）Rp.

定理3"在△ABC中，有∑atanA2=4R－2r.

定理4"在△ABC中，有∑acotA2=8R+2r.

定理5"在△ABC中，有4（R+r）≤∑asecA2≤8R（4R+r）.

定理6"在△ABC中，有4p≤∑acscA2≤26R（4R+r）.

上述6个结论涉及三角形的边长及半角三角函数乘积的关系，笔者思考，能否继续类比获得新的结果，与三角形边长相关的还有中线长、角平分线长、高线长等几何量，笔者对中线的结果进行了探究，获得了一组结果.为了证明我们的结果，我们先给出如下预备知识.

在△ABC中，有Gerretsen不等式16Rr－5r2≤p2≤4R2+4Rr+3r2； p≥33r； ∑a2=2（p2－4Rr－r2）≤9R2；∑sinA2≤32；∑cosA2≤332；∑cos2A2=2+r2R≤94；sinA2sinB2sinC2=r4R；tanA2tanB2tanC2=rp；cotA2cotB2cotC2=pr.进一步给出如下两个引理.

引理1"在△ABC中，有b+c2cosA2≤ma≤2Rcos2A2.

证明"由中线长公式4m2a=2（b2+c2）－a2、余弦定理及均值不等式，得4m2a=（b2+c2）+（b2+c2－a2）=b2+c2+2bccosA=b2+c2+2bc（1－2sin2A2）=（b+c）2－4bcsin2A2≥（b+c）2－（b+c）2sin2A2=（b+c）2cos2A2.

于是4m2a≥（b+c）2cos2A2，所以ma≥b+c2cosA2.

如图1所示，设外心O到边BC的距离为d，则ma≤OA+OD=R+d=R+Rcos∠BOD=R+RcosA=2Rcos2A2.

综上，b+c2cosA2≤ma≤2Rcos2A2.

引理2"在△ABC中，有mambmc≥p2r.

证明"由中线长公式4m2a=2（b2+c2）－a2及柯西不等式得ma=122（b2+c2）－a2≥12（b+c）2－a2=12（b+c－a）（b+c+a）=p（p－a），同理mb≥p（p－b），mc≥p（p－c），所以mambmc≥p3（p－a）（p－b）（p－c）=pS=p2r.

有了上述结论，本文给出一组新的三角形不等式

命题1""在△ABC中，有9r2≤∑masinA2≤4R+r2.

证明"由mambmc≥p2r，sinA2sinB2sinC2=r4R，结合均值不等式得∑masinA2≥33mambmcsinA2sinB2sinC2≥33p2r·r4R=33p2r24R.

由Gerretsen不等式p2≥16Rr－5r2及欧拉不等式R≥2r，可得p2≥272Rr，所以∑masinA2≥33p2r24R≥3327Rr2·r24R=9r2.

由ma≤2Rcos2A2及∑cos2A2=2+r2R，得∑ma≤2R∑cos2A2=2R（2+r2R）=4R+r，不妨设ab≥c，则sinA2≥sinB2≥sinC2，ma≤mb≤mc，

由切比雪夫不等式得∑masinA2≤13∑ma∑sinA2≤13（4R+r）·32=4R+r2.

综上，9r2≤∑masinA2≤4R+r2.

命题2""在△ABC中，有32p≤∑macosA2≤934R.

证明"由ma≥12（b+c）cosA2，及射影定理a=bcosC+ccosB得∑macosA2≥∑b+c2·cos2A2=∑b+c2·1+cosA2=14∑（b+c）（1+cosA）=14∑（b+c）+14∑（b+c）cosA=12∑a+14∑（bcosC+ccosB）=12∑a+14∑a=34∑a=32p.

由中线长公式4m2a=2（b2+c2）－a2可得∑m2a=34∑a2≤274R2.

由∑cos2A2≤94及柯西不等式得∑macosA2≤∑m2a∑cos2A2≤274R2·94=934R.

综上，32p≤∑macosA2≤934R.

命题3"在△ABC中，有33r≤∑matanA2≤p.

证明"由mambmc≥p2r，tanA2tanB2tanC2=rp，p≥33r，结合均值不等式得∑matanA2≥33mambmctanA2tanB2tanC2≥33p2r·rp=33pr2≥33r.

由ma≤2Rcos2A2得∑matanA2≤∑2Rcos2A2tanA2=R∑sinA=12∑a=p.

综上，33r≤∑matanA2≤p.

命题4""在△ABC中，有3p≤∑macotA2≤33R（2R－r）2r.

证明"由mambmc≥p2r，cotA2cotB2cotC2=pr，结合均值不等式得∑macotA2≥33mambmccotA2cotB2cotC2≥33p2rpr=33p3=3p，由cotA2=p－ar，∑a2=2（p2－4Rr－r2），易得∑cot2A2=p2－8Rr－2r2r2，又p2≤4R2+4Rr+3r2，所以∑cot2A2≤4R2+4Rr+3r2－8Rr－2r2r2=（2R－r）2r2.由∑m2a≤274R2及柯西不等式得∑macotA2≤∑m2a∑cot2A2≤274R2·（2R－r）2r2=33R（2R－r）2r.综上，3p≤∑macotA2≤33R（2R－r）2r.

命题5"在△ABC中，有2p≤∑masecA2≤33R.

证明"由ma≥b+c2cosA2，得∑masecA2≥∑b+c2cosA2secA2=∑b+c2=∑a=2p.

由ma≤2Rcos2A2及∑cosA2≤332，得∑masecA2≤2R∑cosA2≤2R·332=33R.

综上，2p≤∑masecA2≤33R.

命题6""在△ABC中有12R－6r≤∑macscA2≤3R（2R－r）r.

证明"在△ABC中，知r=（p－a）tanA2，所以rcscA2=（p－a）secA2，所以∑macscA2=1r∑marcscA2=1r∑ma（p－a）secA2.

由ma≥b+c2cosA2，得∑macscA2≥1r∑（b+c）（p－a）2=a2+b2+c22r，

由p2≥16Rr－5r2，得2（p2－4Rr－r2）≥12r（2R－r），即a2+b2+c2≥12r（2R－r），

所以∑macscA2≥6（2R－r）=12R－6r.

由欧拉不等式R≥2r，得3≤（2R－r）23r2，由命题4知∑cot2A2≤（2R－r）2r2，

所以∑csc2A2=∑（1+cot2A2）=3+∑cot2A2≤（2R－r）23r2+（2R－r）2r2=4（2R－r）23r2，

由∑m2a≤274R2及柯西不等式，得∑macscA2≤∑m2a∑csc2A2≤274R2·4（2R－r）23r2=3R（2R－r）r.

综上，12R－6r≤∑macscA2≤3R（2R－r）r.

参考文献

［1］桓坤.两道三角形中不等式问题的逆向、加强及类比探究［J］.数学通讯，2024（1）：41-43.