蝴蝶定理是歐氏幾何中的一個經(jīng)典定理，它描述的是在一個圓內(nèi)，如果過圓內(nèi)一點(diǎn)M引出三條弦AB、CD、PQ，且M是PQ的中點(diǎn)，那么直線AD與直線BC交直線PQ于點(diǎn)E和F時，ME=MF。這個定理最初出現(xiàn)在1815年，由英國中學(xué)數(shù)學(xué)教師W.G.霍納提出證明。

蝴蝶定理的證明可以通過多種方法，其中霍納的證明方法較為經(jīng)典，具體如下：

1. 作OU⊥AD，OV⊥BC，則U、V分別是AD、BC的中點(diǎn)。

2. 注意到∠EUO=∠EMO=90°，從而E、M、O、U四點(diǎn)共圓，進(jìn)而∠EOM=∠EUM。

3. 同理，可知∠FOM=∠FVM。

4. 注意到△ADM∽△CBM，且U、V是對應(yīng)點(diǎn)，那么∠AUM=∠CVM，即∠EOM=∠FOM，從而ME=MF，證畢。

蝴蝶定理的推廣包括：

M作為圓內(nèi)弦的交點(diǎn)可以移到圓外。

圓可以改為任意圓錐曲線。

將圓變?yōu)橐粋€箏形，M為對角線交點(diǎn)。

去掉中點(diǎn)的條件，結(jié)論變?yōu)橐粋€一般關(guān)于有向線段的比例式，稱為“坎迪定理”。

蝴蝶定理不僅在初等數(shù)學(xué)中有著重要地位，而且在更高級的數(shù)學(xué)領(lǐng)域，如解析幾何和射影幾何中也有廣泛的應(yīng)用。

其他小伙伴的相似問題：

蝴蝶定理在解析幾何中的應(yīng)用有哪些？

蝴蝶定理如何應(yīng)用于射影幾何？

小學(xué)階段如何教授蝴蝶定理？