李 飛
(揚(yáng)州大學(xué)附屬中學(xué)東部分校 225003)
《數(shù)學(xué)通報(bào)》2013年第6期數(shù)學(xué)問(wèn)題解答欄目編號(hào)為2126的問(wèn)題是這樣的:
如圖1,已知四邊形ABCD是⊙I的外切的四邊形,則下列恒等式成立:
供題者在《數(shù)學(xué)通報(bào)》2013年第7期給出了該題的三角解法.
此命題結(jié)論結(jié)構(gòu)優(yōu)美,遂嘗試純幾何證法,最終用面積法將其證出,并有其它發(fā)現(xiàn).
從簡(jiǎn)單問(wèn)題入手,首先思考:如果是三角形有沒(méi)有類(lèi)似的結(jié)論?經(jīng)過(guò)探索,發(fā)現(xiàn):
結(jié)論1如圖2-1,如果△ABC是⊙I的外切三角形,則有
圖2-2
證明(面積法)設(shè)內(nèi)切圓與△ABC的切點(diǎn)分別為D、E、F,如圖2-2,
接下來(lái),嘗試用面積法證明本文開(kāi)頭提到的命題,即證明:
分母不同,四個(gè)分式如何相加?
經(jīng)過(guò)推證,以上猜測(cè)正確.現(xiàn)將完整證明過(guò)程整理如下:
圖3
為了推導(dǎo)的方便,將用到的關(guān)系先列如下:
如圖3,連接AC、BD相交于O,連接FH;
①設(shè)SABCD=S,S△AEI=S△AHI=S1,
S△BEI=S△BFI=S2,S△CFI=S△CGI=S3,
S△DGI=S△DHI=S4,
則有2S1+2S2+2S3+2S4=S;
②IH=IF;
③∠DHF=∠CFH,則∠AHO+∠CFO=∠AHO
+∠DHO=180°,
所以sin∠AHO=sin∠CFO.
證明第一步,推導(dǎo)
過(guò)程如下:
由牛頓定理3可知,對(duì)角線(xiàn)AC、BD、線(xiàn)段FH交于點(diǎn)O,
又sin∠AHO=sin∠CFO,sin∠AOH=sin∠COF,
至此可以得到圓外切四邊形的一個(gè)性質(zhì):
由等比性質(zhì)可得
所以
在探索問(wèn)題過(guò)程中,發(fā)現(xiàn)了一個(gè)與牛頓定理2相關(guān)的結(jié)論.
結(jié)論2四邊形ABCD是⊙I的外切的四邊形,對(duì)角線(xiàn)AC、BD相交于點(diǎn)O,M、N分別為AC、BD的中點(diǎn),則有
圖4
證明前面已經(jīng)證得
若S1=S3,S2=S4,
則S△ABD=S△BCD,S△ABC=S△ACD,M、N、O重合.
若S1=S3,S2=S4中至少有一個(gè)不滿(mǎn)足,
不妨設(shè)S1≠S3,
于是,由等比性質(zhì)可得
如圖4,連接MN、MB、MD,由牛頓定理2可知,MN經(jīng)過(guò)點(diǎn)I.
于是
又
由等比性質(zhì)可得
同理可得
由本結(jié)論很容易得到
結(jié)論3如圖5,四邊形ABCD是⊙I的外切的四邊形,M、N分別AC、BD的中點(diǎn),延長(zhǎng)AN、BC相交于點(diǎn)P,延長(zhǎng)AI、EC相交于點(diǎn)Q,則PQ//AB.
圖5
證明由前面證明可知
所以PQ//AB.(證畢)