李 飛
(揚州大學附屬中學東部分校 225003)
《數學通報》2013年第6期數學問題解答欄目編號為2126的問題是這樣的:
如圖1,已知四邊形ABCD是⊙I的外切的四邊形,則下列恒等式成立:
供題者在《數學通報》2013年第7期給出了該題的三角解法.
此命題結論結構優美,遂嘗試純幾何證法,最終用面積法將其證出,并有其它發現.
從簡單問題入手,首先思考:如果是三角形有沒有類似的結論?經過探索,發現:
結論1如圖2-1,如果△ABC是⊙I的外切三角形,則有

圖2-2
證明(面積法)設內切圓與△ABC的切點分別為D、E、F,如圖2-2,




接下來,嘗試用面積法證明本文開頭提到的命題,即證明:
分母不同,四個分式如何相加?


經過推證,以上猜測正確.現將完整證明過程整理如下:

圖3
為了推導的方便,將用到的關系先列如下:
如圖3,連接AC、BD相交于O,連接FH;
①設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.
證明第一步,推導
過程如下:


由牛頓定理3可知,對角線AC、BD、線段FH交于點O,

又sin∠AHO=sin∠CFO,sin∠AOH=sin∠COF,




至此可以得到圓外切四邊形的一個性質:

由等比性質可得


所以



在探索問題過程中,發現了一個與牛頓定理2相關的結論.
結論2四邊形ABCD是⊙I的外切的四邊形,對角線AC、BD相交于點O,M、N分別為AC、BD的中點,則有



圖4
證明前面已經證得
若S1=S3,S2=S4,
則S△ABD=S△BCD,S△ABC=S△ACD,M、N、O重合.
若S1=S3,S2=S4中至少有一個不滿足,
不妨設S1≠S3,

于是,由等比性質可得

如圖4,連接MN、MB、MD,由牛頓定理2可知,MN經過點I.
于是
又
由等比性質可得

同理可得



由本結論很容易得到
結論3如圖5,四邊形ABCD是⊙I的外切的四邊形,M、N分別AC、BD的中點,延長AN、BC相交于點P,延長AI、EC相交于點Q,則PQ//AB.

圖5
證明由前面證明可知





所以PQ//AB.(證畢)