Bandila不等式的证明、隔离及应用.docxVIP

Bandila不等式的证明、隔离及应用

1765年，瑞士著名数学家Euler建立了关于△ABC的外接圆半径R和内切圆半径r的一个重要不等式R≥2r.设△ABC的三边长分别为a，b，c，外接圆、内切圆半径分别为R，r，1985年，V·Bandila建立了如下一个欧拉不等式的加强：

Rr≥bc+cb.①

这是一个形式简洁、优美的不等式.本文笔者对该不等式进行探究.

1.Bandila不等式的证明

证明记△ABC的面积为S，半周长为p.

由abc=4RS，S=12r（a+b+c）知R2r=abc4S·a+b+c4S=abc（a+b+c）16S2，又S=p（p－a）（p－b）（p－c），所以16S2=（a+b+c）（b+c－a）（c+a－b）（a+b－c），

有R2r=abc（a+b+c）（a+b+c）（b+c－a）（c+a－b）（a+b－c）=abc（b+c－a）（c+a－b）（a+b－c），令a=y+x，b=z+x，c=x+y，则Rr=（x+y）（y+z）（z+x）4xyz，因为1（x+y）2+1（z+x）2≤14xy+14zx=y+z4xyz，两边同乘（y+z）（z+x），

得z+xx+y+x+yz+x≤（x+y）（y+z）（z+x）4xyz，即Rr≥bc+cb.

注Bandila不等式可变形为R2r≥b2+c22bc，由b2+c2≥2bc知R2r≥b2+c22bc≥1，故Bandila不等式是欧拉不等式的一种简洁加强.

2.Bandila不等式的隔离

1982年，Panaitopol得到结果R2r≥maha，无独有偶，《数学通报》2011年第11期问题2031是：在△ABC中，求证：maha≥b2+c22bc.故可得①式的一个隔离.

定理1在△ABC中，有R2r≥maha≥b2+c22bc.

证明先证明R2r≥maha.由abc=4RS，S=12r（a+b+c）知R2r=abc4S·a+b+c4S=abc（a+b+c）16S2，

又ma=122b2+2c2－a2，ha=2Sa，所以R2r≥mahaabc（a+b+c）16S2≥a2b2+2c2－a24Sb2c2（a+b+c）2≥（2b2+2c2－a2）·16S2.

又16S2=（a+b+c）（b+c－a）（c+a－b）（a+b－c），2b2+2c2－a2=（a+b+c）（b+c－a）+（b－c）2，所以只需证明b2c2（a+b+c）≥［（a+b+c）（b+c－a）+（b－c）2］（b+c－a）（c+a－b）（a+b－c）.

令x=b+c－a，y=c+a－b，z=a+b－c，x，y，zgt;0，则（x+y）2（x+z）2（x+y+z）≥16x2yz（x+y+z）+4xyz（y－z）2［（x－y）2+4xy］［（x－z）2+4xz］（x+y+z）≥16x2yz（x+y+z）+4xyz（y－z）2（x+y+z）（x－y）2（x－z）2+4［xy（x－z）2+xz（x－y）2］（x+y+z）≥4xyz（y－z）2.

由此知，只需证明［y（x－z）2+z（x－y）2］（x+y+z）≥yz（y－z）2，因为［y（x－z）2+z（x－y）2］（x+y+z）≥［y（x－z）2+z（x－y）2］（y+z）≥yz（y－z）2，所以上式成立，故R2r≥maha成立.

再证maha≥b2+c22bc.因为S=12bcsinA=12a·ha，所以ha=bcsinAa.

由中线长公式得m2a=14（2b2+2c2－a2）=14（b2+c2+2bccosA），所以m2ah2a=a2（b2+c2+2bccosA）4b2c2sin2A=（b2+c2－2bccosA）（b2+c2+2bccosA）4b2c2sin2A

=（b2+c2）2－4b2c2（1－sin2A）4b2c2sin2A=（b2+c2）2－4b2c24b2c2sin2A+1.

又因为sin2A≤1，所以m2ah2a≥（b2+c2）2－4b2c24b2c2+1=（b2+c2）24b2c2，故maha≥b2+c22bc.

综上所述，定理1成立.

3.Bandila不等式的应用

利用Bandila不等式可以证明一些几何不等式.

定理2在△ABC中，有R2r≥a2+b2+c2ab+bc+ca②.

证明由①式知R2r≥b2+c22bc，所以2bc·R2r≥b2+c2，同理有2ab·R2r≥a2+b2，2ca·R2r≥c2+a2三式相加即得（2ab+bc+ca）·R2r≥2（a2+b2+c2），所以R2r≥a2+b2+c2ab+bc+ca.

注易知a2+b2+c2ab+bc+ca≥1，则②式是欧拉不等式的加强，将R2r=abc（b+c－a）（c+a－b）（a+b－c）代入得abc≥a2+b2+c2ab+bc+ca（b+c－a）（c+a－b）（a+