EF和GH交于M
三角形BHM与GMD相似
BH=BC/2=AD/2=DG
所以GM=HM
BM=DM
三角形ABE与CFD相似
AB=CD
所以BE=DF
EM=BM-BE=DM-DF=FM
EF和GH互相平分