陜西安康學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院 (725000) 趙臨龍
命題1 (2009年全國高中數(shù)學(xué)聯(lián)賽陜西賽區(qū)預(yù)賽試題)[1]如圖1,PA、PB為⊙O的兩條切線,切點(diǎn)分別為A、B,過點(diǎn)P的直線交⊙O于點(diǎn)C、D,交弦AB于點(diǎn)Q,求證:
PQ2=PC·PD-QC·QD(1)
參考答案利用圓冪定理、相似性、共點(diǎn)圓等知識,給出證明,其技巧性要求較高.
現(xiàn)在,通過圓冪定理:PA2=PC·PD,QC·QD=QA·QB,將命題1結(jié)論,轉(zhuǎn)化為PQ2=PA2-QA·QB(2)
圖1 圖2 圖3
此時(shí),想到斯庫頓(Schooten)定理:如圖1,若PQ為△PAB的內(nèi)角平分線段,則PQ2=PA·PB-QA·QB(3)
在圖1中,盡管PA=PB,但PQ不是△PAB的內(nèi)角平分線段,(3)不成立.
由上題的結(jié)論,又使我們想到蝴蝶定理.
命題2(蝴蝶定理)[3]如圖2,過⊙O內(nèi)一弦EF中點(diǎn)P引任意兩弦AB、CD,AD和BC交EF于Q1、Q2,則Q1P=Q2P.
當(dāng)點(diǎn)P在弦EF延長線上時(shí),有坎迪(Candy)蝴蝶定理.
如圖3,當(dāng)割線PAB、PCD退化為⊙O的切線,則弦AD與BC合于一條,及點(diǎn)Q1、Q1合于切點(diǎn)弦與EF的交點(diǎn)Q,則命題3退化為命題1.
也就是說,可以用蝴蝶定理證明命題1.由此,我們說:模型、聯(lián)想、轉(zhuǎn)化是數(shù)學(xué)解題創(chuàng)新的基本環(huán)節(jié).
如我們以斯庫頓定理為模型,需要構(gòu)造△PCF,使PF=PD.
如圖4,將割線PCD沿對稱軸PO對折得割線PEF,連線FC和ED的交點(diǎn)R在對稱軸PO上,而且可利用射影幾何證得:[4]點(diǎn)A,R,B共線.*
圖4 圖5
由斯庫頓定理,得R2=PC·PF-RC·RF=PC·PD-RA·RB=PC·PD-(QA-RQ)·(RQ+QB)=PC·PD-RQ(QA-QB)+RQ2-QA·QB=PC·PD-2RQ·RQ+RQ2-QC·QD(6),則PC·PD-QC·QD=R2+RQ2=PQ2(由AB⊥PO)(7).
*附錄:極點(diǎn)與極線的理論
定義[4]如圖5,過點(diǎn)P引二次曲線Γ的直線PAB交Γ于A、B兩點(diǎn),若直線PAB上一點(diǎn)Q滿足:
特例:當(dāng)點(diǎn)P在Γ上,則過P與Γ相切的直線為極點(diǎn)P關(guān)于Γ的極線.
結(jié)論:二次曲線Γ極線l的點(diǎn)列Q與過極點(diǎn)P的線束l'構(gòu)成一一對應(yīng).
此時(shí),在圖4中,取完全四邊形CDEF,則對角線的交點(diǎn)R的極線必過完全四邊形CDFE對邊交點(diǎn)P,又⊙O兩切點(diǎn)A、B的兩切線也交于點(diǎn)P,于是⊙O的極點(diǎn)A、R、B三點(diǎn)共線.