一道高中联赛题的探究及其一般化*

2017-03-15 13:20梁昌金寿县第一中学安徽寿县232200
中学教研(数学) 2017年3期
关键词:延长线外接圆证法

●梁昌金 (寿县第一中学 安徽寿县 232200)

一道高中联赛题的探究及其一般化*

●梁昌金 (寿县第一中学 安徽寿县 232200)

文章给出2016年全国高中数学联赛辽宁赛区预选赛第13题的4种证明,然后对结论作了类比,获得3个新命题,最后对获得的结论进行了一般化的探究,通过合理的证明,进而得到更完美的结论.

高中联赛;几何不等式;类比探究;一般化

题目 如图1所示,△ABC为锐角三角形,外接圆圆心为O,半径为R,AO的延长线交△BOC的外接圆于点A′,BO的延长线交△AOC的外接圆于点B′,CO的延长线交△AOB的外接圆于点C′,求证:OA′·OB′·OC′≥8R3.

(2016年全国高中数学联赛辽宁赛区预选赛试题第13题)

试题图形简洁优美,激发了笔者的探究欲望.从不同的角度运用图形特征,建立相关量之间的联系,可以得到不同的证明方法.

1 证法探究

以下证法1~证法3是对结论的一种等价性变换代数化证明[1],证法4是通过添加辅助线,利用三角法的直接证明.

证法1 如图2所示,设AO,BO,CO分别交对边BC,CA,AB于点D,E,F.由点B,O,C,A′共圆,知

∠OBD=∠OCB=∠OA′B,

从而

△OBD∽△OA′B,

于是

同理可得

因此

x+y+z=1.

同理可得

OA′·OB′·OC′≥8R3,

当且仅当△ABC为等边三角形时等号成立.

证法2 如图2所示,设AO,BO,CO分别交对边BC,CA,AB于点D,E,F,△OBC,△OCA,△OAB的面积依次为x,y,z,则

从而

同理可得

同证法1可得

当且仅当x=y=z时等号成立,此时△ABC为等边三角形.故OA′·OB′·OC′≥8R3,当且仅当△ABC为等边三角形时等号成立.

从而

同证法1可得

x(1+y)·y(1+z)·z(1+x)=

xyz(1+x)(1+y)(1+z)≥

图3

当且仅当x=y=z时等号成立,此时△ABC为等边三角形.于是

OA′·OB′·OC′≥8R3,

当且仅当为△ABC等边三角形时等号成立.

证法4 如图3所示,作△BOC外接圆的直径OD,联结A′D,CD,则

∠OA′D=∠OCD=90°,

从而

又易知OD⊥BC,得

从而 ∠A′OD= 180°-∠COD-∠COA=

180°-∠A-2∠B=

∠C-∠B,

同理可得

sin2A>0, sin2B>0, sin2C>0,

于是,由均值不等式得

以上3个式子相乘得

(sin2A+sin2B)(sin2B+sin2C)(sin2C+sin2A)≥

8sin2A·sin2B·sin2C,

当且仅当A=B=C时等号成立,此时△ABC为等边三角形.故

OA′·OB′·OC′≥8R3,

当且仅当△ABC为等边三角形时等号成立.

2 类比探究

类比是一个伟大的引路人.联赛题给出了锐角三角形外心的一个优美几何不等式,若将外心O替换成△ABC的垂心H、内心I、重心G,是否具有相似的结论呢[2]?答案是肯定的,以下笔者给出垂心时的证明,限于篇幅,内心、重心相关结论的证明不再赘述,留给有兴趣的读者探究.

命题1 若点H为锐角△ABC的垂心,AH的延长线交△BHC的外接圆于点A′,BH的延长线交△AHC的外接圆于点B′,CH的延长线交△AHB的外接圆于点C′,则

HA′·HB′·HC′≥8HA·HB·HC.

命题2 若点I为锐角△ABC的内心,AI的延长线交△BIC的外接圆于点A′,BI的延长线交△AIC的外接圆于点B′,CI的延长线交△AIB的外接圆于点C′,则

IA′·IB′·IC′≥8IA·IB·IC.

命题3 若点G为锐角△ABC的重心,AG的延长线交△BGC的外接圆于点A′,BG的延长线交△AGC的外接圆于点B′,CG的延长线交△AGB的外接圆于点C′,则

GA′·GB′·GC′≥8GA·GB·GC.

图4

命题1的证明 记△ABC的外接圆半径为R.如图4所示,设BH与AC相交于点E.

在Rt△AEH中,

2RcosA,

同理可得HB=2RcosB,HC=2RcosC.

在△A′BH中,易知

从而 ∠A′BH= ∠A′BC+∠CBH=

∠A′HC+∠CBH=

在△A′BH中,由正弦定理得

从而

HA′=2Rcos(B-C),

同理可得HB′=2Rcos(C-A),

HC′=2Rcos(A-B).

于是

同理可得

因此

HA′·HB′·HC′≥8HA·HB·HC,

当且仅当△ABC为等边三角形时等号成立.

3 一般化的结论

上述联赛题和3个命题给出了三角形4个特殊点的一种统一结论.一个自然的想法是:若将外心O、垂心H、内心I、重心G一般化为锐角△ABC内任意一点P,是否具有相似的结论?即PA′·PB′·PC′≥8PA·PB·PC是否成立[3]?答案是肯定的.

命题4 若点P为锐角△ABC内任意一点,AP的延长线交△BPC的外接圆于点A′,BP的延长线交△APC的外接圆于点B′,CP的延长线交△APB的外接圆于点C′,则

PA′·PB′·PC′≥8PA·PB·PC.

图5

证明 如图5所示,设∠BPA′=α,∠CPA′=β,∠CPB′=γ,由托勒密定理知

PA′·BC=PB·A′C+PC·A′B.

在△A′BC中,应用正弦定理得

从而

于是

PA′·PB′·PC′≥8PA·PB·PC.

[1] 梁昌金.一类几何竞赛题的代数化证明[J].数学通讯:下半月,2015(12):57-59.

[2] 梁昌金.第2130号数学问题的简证及其类比[J].数学通讯:下半月,2016(4):63-65.

[3] 梁昌金.2道数学竞赛题的证明[J].中学教研(数学),2016(6):48-封底.

��2016-10-21;

2016-11-25

梁昌金(1981-),男,安徽寿县人,中学一级教师.研究方向:数学教育.

O123.1

A

1003-6407(2017)03-48-03

猜你喜欢
延长线外接圆证法
南京地铁二号线既有线与延长线的施工及转场组织研究
一道数列不等式题的多种证法
2020年本刊原创题(二)
R.Steriner定理的三角证法
将相等线段转化为外接圆半径解题
仅与边有关的Euler不等式的加强
一道IMO试题的另解与探究
一个三角形面积取值范围问题的探究
从游戏中得到的解题方法
三个猜想的另证与推广