设ef与ac交于点o由于abcd是平行四边形,所以ad//bc所以角aef=角efc又角foc=角aoe,ao=co所以三角形foc≌三角形eoa所以ae=cf又ae//cfef垂直平分ac所以四边形afce是菱形
设EF与AC的交点为O∵EF垂直平分AC∴EA=EC∵AD∥BC∴∠AEO=∠CFO,∠EAO=∠FCO∵AO=CO∴△AOE≌△COF∴AE=CF∵AE∥CF∴四边形AECF是平行四边形∵AE=CE∴四边形AECF是菱形