蝴蝶定理【几何】

蝴蝶定理的英文是Butterfly Theorem，蝴蝶定理是古典欧氏平面几何的最精彩的结果之一。

蝴蝶定理（Butterfly Theorem）：设M为圆内弦PQ的中点，过M作弦AB和CD。设AD和BC各相交PQ于点X和Y，则M是XY的中点。
去掉中点的条件，结论变为一个一般关于有向线段的比例式，称为“坎迪定理”， 不为中点时满足:1/MY-1/MX=1/MQ-1/MP ,这对2，3均成立。

证明：
霍纳证法！
过O作OL⊥ED，OT⊥CF，垂足为L、T，
连接ON，OM，OS，SL，ST，易明△ESD∽△CSF
证法1:霍纳证法
证法1:霍纳证法
∴ES/CS=ED/FC
根据垂径定理得：LD=ED/2，FT=FC/2
∴ES/CS=EL/CT
又∵∠E=∠C
∴△ESL∽△CST
∴∠SLN=∠STM
∵S是AB的中点所以OS⊥AB
∴∠OSN=∠OLN=90°
∴O，S，N，L四点共圆，（一中同长）
同理，O，T，M，S四点共圆
∴∠STM=∠SOM，∠SLN=∠SON
∴∠SON=∠SOM
∵OS⊥AB
∴MS=NS