姜卫东 (邮编:264210)
威海职业学院艺术学院
△ABC的内切圆与三边BC,CA,AB的切点分别为D,E,F,则AD,BE,CF交于一点J,称此交点J为Gergonne点,AD,BE,CF称为过J点的Gergonne线.如图1所示.
图1
文[1]给出了Gergonne点与Kooi不等式的一个关系,文[2]建立了Gergonne点到三角形三边距离的几个恒等式和不等式.记AD=ga,BE=gb,CF=gc,文[3]得到如下的不等式
①
②
①和②形式简洁,但是下界却不能令人满意.本文首先给出①和②上界的改进,并给出①和②的下界的估计,我们的主要结果如下.
定理1在△ABC中,有
③
其中等号当且仅当△ABC为正三角形时取得.
证明由斯蒂瓦特定理;AB2·CD+AC2·BD=AD2·BC+BD·CD·BC,可得
④
同理可得
⑤
⑥
⑦
∑a5=(a+b+c)∑a4-∑a3∑bc+abc∑a2可得
⑧
由三角形中熟知的恒等式
abc=4Rrs,
∑bc=s2+4Rr+r2,
∑a2=2(s2-4Rr-r2),
∑a3=2s(s2-6Rr-3r2),
∑a4=2s4-4(3r2+4Rr)s2+2r2(4R+r)2,
∑(s-b)(s-c)=4Rr+r2.
以上公式代入⑧⑦,整理可得
⑨
下面先证
⑩
由⑨可知⑩等价于
s2-14Rr+r2≥0
及Gerretsen不等式s2≥16Rr-5r2可知式成立.下面再证
s2≤4R2+6Rr-r2
再由Gerretsen不等式s2≤4R2+4Rr+3r2可知成立,从而定理成立.
定理2在△ABC中,有
其中等号当且仅当△ABC为正三角形时取得.
证明由⑨可知,要证明左端不等式,只需证
经过简单的计算,上式等价于
(R-2r)s2≥12R2r-21Rr2-6r3
由Gerretsen不等式:s2≥16Rr-5r2,并注意到
(R-2r)(16Rr-5r2)-(12R2r-21Rr2-6r3)=4r(R-2r)2≥0.
从而定理2成立.
猜你喜欢 内切圆正三角形下界 无限追踪（二）小猕猴智力画刊(2021年8期)2021-08-27三个伪内切圆之间的一些性质中等数学(2021年2期)2021-07-22不可或缺的正三角形数学小灵通·3-4年级(2021年4期)2021-06-09与三角形的内切圆有关的一个性质及相关性质和命题中等数学(2020年9期)2020-11-26Lower bound estimation of the maximum allowable initial error and its numerical calculationAtmospheric and Oceanic Science Letters(2018年5期)2018-12-07一种伪内切圆切点的刻画办法中等数学(2018年7期)2018-11-10仅与边有关的Euler不等式的加强中学数学杂志(高中版)(2018年1期)2018-01-27发现之旅：由正三角形“衍生”出正三角形再探数学学习与研究(2016年24期)2016-06-01正三角形的两个有趣性质オ中学数学杂志(初中版)(2015年3期)2015-07-13矩阵Hadamard积的上下界序列哈尔滨师范大学自然科学学报(2015年6期)2015-04-23