江蘇省姜堰中等專(zhuān)業(yè)學(xué)校 (225000)
陳 宇
第59屆IMO試題第1題設(shè)Γ為銳角⊿ABC的外接圓,點(diǎn)D,E分別在線(xiàn)段AB,AC上,滿(mǎn)足AD=AE,線(xiàn)段BD,CE的垂直平分線(xiàn)分別與圓Γ的劣弧AB,AC交于點(diǎn)F,G.證明:直線(xiàn)DE與FG平行(或重合).
圖1
筆者在此將部分借助三角法給出這道賽題的一個(gè)別證.同時(shí)論證該賽題一個(gè)G′條件“銳角⊿ABC”中的“銳角”為多余條件.
證明:按題意,分別連接AF,BF,DF;AG,CG,EG.設(shè)AB>AC,∠BAF=α,∠ABF=∠BDF=∠AGF=β,∠ACG=∠CEG=∠AFG=γ,∠CAG=δ(如圖1).則α+β=∠ACB,γ+δ=∠ABC.且銳角α,β,γ,δ滿(mǎn)足α<β,δ<γ<∠ABC.
進(jìn)而得β-α=γ-δ?α+γ=β+δ(∵β-α<∠AFG<∠ABC為銳角),又⊿AHK中,∠AHK=α+γ=β+δ=∠AKH,可知AH=AK,由此得DE∥HK.即DE∥FG.
圖2
由AB>AC,當(dāng)DE與FG重合時(shí),圓Γ上的點(diǎn)C,G重合于C.進(jìn)而點(diǎn)E,K,G,C重合于C.否則(如圖2),點(diǎn)E,K,C不重合于C,則CE﹥0,依題設(shè)條件,線(xiàn)段CE的中垂線(xiàn)交圓Γ于G′,必有FG′分別與AB,AC交于點(diǎn)H′,K′.由上述證明可知DE(FG)∥FG′.進(jìn)而FG′與FG重合.
此時(shí),在線(xiàn)段AB,AC上分別取AD=AE=AC(如圖3,點(diǎn)G,C重合于C.).連接并延長(zhǎng)GD交圓Γ于點(diǎn)F.則∠ACF=∠ADC=∠BDF=∠DBF.
圖3
∴⊿BDF中,BF=DF.則點(diǎn)F在線(xiàn)段BD的中垂線(xiàn)上.此時(shí)DE與FG重合.
當(dāng)AC>AB時(shí),由對(duì)稱(chēng)性可知,同樣有DE與FG重合.
當(dāng)AB=AC時(shí),有DE∥FG.若DE與FG重合.則點(diǎn)B,D,F;C,E,G分別重合.否則,如圖4,∠ADE=∠BDF=∠DBF=∠ACB>∠DBF.矛盾.
圖4
也許本文證明DE與FG重合的過(guò)程較煩.但參考答案中并未對(duì)DE與FG重合時(shí)相關(guān)點(diǎn)的位置關(guān)系給出證明.只是籠統(tǒng)的一句“結(jié)論得證”.似有遺漏之嫌.
參考答案從平幾角度證明,確實(shí)涉及到∠BAC的大小.但由本文上述證明知,在題設(shè)條件下,該試題結(jié)論成立,與∠BAC的大小無(wú)關(guān),只與∠BAC的邊AB與AC的大小相關(guān).即滿(mǎn)足0<∠BAC<π,原賽題結(jié)論總成立.DE與FG重合時(shí),其重合的位置也只與∠BAC的邊AB與AC的大小相關(guān).
進(jìn)而,當(dāng)0<∠ACB<π時(shí),點(diǎn)D,E分別在線(xiàn)段AB,AC上,滿(mǎn)足AD=AE,線(xiàn)段BD,CE的垂直平分線(xiàn)分別與∠ACB,∠ABC所對(duì)的弧AB,AC交于點(diǎn)F,G(此處條件敘述與原賽題對(duì)應(yīng)條件敘述同義,雖顯直白,但適用于任意三角形).結(jié)論成立.
可見(jiàn),對(duì)于任意⊿ABC,在題設(shè)條件下,該試題結(jié)論成立.顯然,題設(shè)條件“銳角⊿ABC”中的“銳角”實(shí)為多余.
至此,該試題只需表為設(shè)Γ為⊿ABC的外接圓,點(diǎn)D,E分別在線(xiàn)段AB,AC上,滿(mǎn)足AD=AE,線(xiàn)段BD,CE的垂直平分線(xiàn)分別與∠ACB,∠ABC所對(duì)的弧AB,弧AC交于點(diǎn)F,G.證明:直線(xiàn)DE與FG平行(或重合).
其證明過(guò)程統(tǒng)一包含于上述別證(直線(xiàn)DE與FG平行(或重合))
中學(xué)數(shù)學(xué)研究(江西)2019年6期