1、已知：如图，O为平行四边形ABCD中心，DF⊥AC于F,CE⊥BD于E,EF交AB于G。

求证：GO⊥AD

（高中联赛难度几何100题之74，田开斌 题）

思路分析：显然CDEF共圆，圆心J为CD中点，从而需证GO⊥JO，这显然是蝴蝶定理之逆，延长GO交DC于K，则OG=OK,从而得证。

证明：设GO交CD于K，由对称性知OG=OK；

设J为CD中点，由垂直得CDFE共圆，且圆心J为BC中点，

由蝴蝶定理逆定理即知JO⊥OG，

又由中位线定理得OJ//AD,

故GO⊥AD。

注：本题证明方法比较多。除了上述蝴蝶定理方法以外，还可以用根轴（田开斌老师的解答就是利用根轴解决的）。当然还可以使用其他计算方法等。不过如果能想到蝴蝶定理，本题能迅速得到解决。

2、已知：如图，△ABC中，D为BC中点，以AD为直径的圆交AB、AC于E、F。

此圆在E、F处切线交于G。

求证：GD⊥BC

思路分析1：类似蝴蝶定理证法2，过G作两边垂线，由垂直得共圆倒角得相似，为了利用垂直，采用同一法。

证明1：根据图形的唯一性，我们证明其逆命题，即由GD⊥BC证明BD=CD,

设GH⊥AB于H,GI⊥AC于I,

由切线知∠HEG=∠EDA,∠IFG=∠FDA,

又GE=GF,故HF:ED=GE:AD=GF:AD=IF:DF,

故∠EDH=∠FDI。

由垂直得BHDG,GICD共圆，又GH//DE,GI//DF,

则∠DBG=∠GHD=∠HDE=∠FDI=∠DIG=∠DCG,

故GB=GC,DB=DC，证毕。

思路分析2：看到平分和垂直想到蝴蝶定理。

E、F在以G为圆心的圆上，由切线倒角得到IGJ共线，

由垂直得直径与共圆，

利用蝴蝶定理逆定理即得。

证明2：如图，显然GE=GF，

设以G为圆心GE为半径的圆交射线AB、AC于I、J，

由GE为圆的切线得∠EIG=∠IEG=∠AFE=∠EIJ,

故IGJ共线。

又∠AED=90°,则E,D,J共线，

同理F,D,I共线。

又DB=DC,

由蝴蝶定理逆定理知GD⊥BC。

注：1）证法1相当于证明了本题的逆命题，本题的证明严格上可以这样叙述：

设过E的圆的切线交过D的BC的垂线于G',G'F'为圆的另一个切线，

AF'交BD于C',由证法1知DB=DC',从而C,C'重合，即原结论成立。

2）证法2将其巧妙转化为蝴蝶定理，不过还要由切线证明三点共线，才能完成证明。本证法最终图形与《蝴蝶定理之八》的第1题殊途同归。将其对照会有更多收获。这也算是本题的一种本质。

3）本题有很多解法，叶中豪老师得到不少解法，也对其做过很多推广。不过一言以蔽之：蝴蝶定理算是本题的一种本质认识。

3、如图，已知△ABC旁切圆I切三边于D,E,F,EF交ID于H，AH交BC于M。

求证：MB=MC,

（1991年四川省竞赛题）

思路分析1：类似于切割线蝴蝶定理证法1，

过H作BC平行线，得到共圆倒角即可。

证明1：设过H的BC平行线交AB,AC于J,K，

由垂直得IJFH,IHKE共圆，

故∠IJH=∠IFH=∠IEH=∠IKH,

故IJ=IK,HJ=HK,

由JK//BC,从而MB=MC。

思路2：利用正弦定理或分角定理以FH:HE为媒介进行计算即可。

证明2：设△ABC三个角为A,B,C,

由垂直得BFID,DIEC共圆，

故∠FID=∠B,∠DIE=∠C,

△IFE中，由正弦定理得：

FH:HE=sin∠FID:sin∠DIE=sinB:sinC,

△AFE中，由正弦定理得：

sinB:sinC=FH:HE=sin∠FAH:sin∠HAE,

△ABC中，由正弦定理得：

BM:CM=ABsin∠FAH:(ACsin∠HAE)

=(sinC:sinB)*(sin∠FAH:sin∠HAE)=1,

即MB=MC。

注：1）解法1通过精妙的平移转化，轻松倒角得证。其思路和《蝴蝶定理之四》第1题的最经典的证法1异曲同工。也与上题的思路1如出一辙。

2）证法2没有添加辅助线，只是通过简单三角计算即得，也不失为一种合理的证法，值得体会学习。

3）本题很经典，解法也很巧妙简洁，人见人爱，花见花开。我们在鸡爪定理里面反复强调，每一个内心具有的性质旁心都有。不难想象，本结论对内切圆也是成立的，这正是2010年北方竞赛的第6题，如下图所示。证明当然也是如出一辙。

4、已知：如上图，△ABC中，D、K分别为BC、AD中点，E、F为D在AB、AC上垂足，

KE,KF交BC于M,N。O、O'为△EMD、△FND外心。

求证：OO'//BC

（2017年东南数学奥林匹克竞赛第2题）

思路分析：设圆O、O'交于D、G。若OO'//BC则GD⊥BC,GE⊥ME,GF⊥FN,则本题

化为第2题，下面只需考虑如何转化即可。想到第2题证法2，利用其辅助线及蝴蝶定理

即可证明。

证明：如图，设DE交AF于L，DF交AE于J，LJ中点为G，

由垂直得JEFL、AEDF共圆，

则∠GEJ=∠GJE=∠AFE=∠ADE=∠KED

则GE⊥KE,同理GF⊥KF。

由DB=DC,根据蝴蝶定理逆定理知GD⊥BC。

故MEDG,NFDG共圆，

故O、O'为MG、NG中点，

则OO'//BC

注：本题证法比较多，上述证法是本人联系到第2题得到的。这也说明本题的本质是蝴蝶定理，算是第2题的进一步加深。

,