求证:AB与EF互相平分,即求证:GE=GF且GA=GB
又,角AGE跟角BGF是对顶角
所以即求证:三角形AGE跟三角形BGF是全等三角形
连接BD,因为ABCD是菱形
所以BD⊥AC
又因为EF⊥AC,所以EF平行BD
因为AD也平行CF,所以四边形EDBF是平行四边形
则,FB=ED
因为E是AD的中点,所以AE=DE,所以FB=AE
又根据平行四边形内错角相等,所以角DAB=角ABF,角EFB=角AEF
由角DAB=角ABF,角EFB=角AEF,FB=AE
三个条件就可以证明三角形AGE跟三角形BGF是全等三角形(角边角)