关于蝴蝶定理的证明

蝴蝶定理：圆O中的弦PQ的中点M，过点M任作两弦AB，CD，弦AD与BC分别交PQ于X，Y，则M为XY之中点

证明：在弧AE上取一点C1，使得∠XC1M = ∠YCM，则∠XAM = ∠YCM = ∠XC1M，即A、C1、X、M四点共圆。

           所以∠AXP = ∠AC1M，即弧AP + 弧DQ = 弧AD1 = 弧AP + 弧PD1

           所以弧DQ = 弧PD1，即弧PD + 弧DD1 = 弧QD1 + 弧DD1，所以弧PD = 弧QD1

           由于P与Q关于直径EF对称，所以由对称性可知D与D1关于直径EF对称。

           所以DM = D1M，而C1M * MD1 = CM * MD，所以C1M = CM，即C与C1关于直径EF对称。

           所以根据∠XC1M = ∠YCM，∠C1MX = ∠CMY，以及C1M = CM，可得△XC1M 与三角形YCM全等。

           所以XM = YM，即M为XY的中点。