從別證看一道奧賽題的條件多余

江蘇省姜堰中等專業(yè)學(xué)校 (225000)

陳 宇

第59屆IMO試題第1題設(shè)Γ為銳角⊿ABC的外接圓，點(diǎn)D,E分別在線段AB,AC上，滿足AD=AE，線段BD,CE的垂直平分線分別與圓Γ的劣弧AB,AC交于點(diǎn)F,G.證明：直線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.且銳角α,β,γ,δ滿足α<β，δ<γ<∠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è)條件，線段CE的中垂線交圓Γ于G′,必有FG′分別與AB,AC交于點(diǎn)H′,K′.由上述證明可知DE(FG)∥FG′.進(jìn)而FG′與FG重合.

此時(shí)，在線段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在線段BD的中垂線上.此時(shí)DE與FG重合.

當(dāng)AC>AB時(shí),由對(duì)稱性可知，同樣有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).即滿足0<∠BAC<π，原賽題結(jié)論總成立.DE與FG重合時(shí)，其重合的位置也只與∠BAC的邊AB與AC的大小相關(guān).

進(jìn)而，當(dāng)0<∠ACB<π時(shí)，點(diǎn)D,E分別在線段AB,AC上，滿足AD=AE，線段BD,CE的垂直平分線分別與∠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分別在線段AB,AC上，滿足AD=AE，線段BD,CE的垂直平分線分別與∠ACB，∠ABC所對(duì)的弧AB,弧AC交于點(diǎn)F,G.證明：直線DE與FG平行(或重合).

其證明過(guò)程統(tǒng)一包含于上述別證(直線DE與FG平行(或重合))