在平行四邊形ABCD中，AO=CO,AD平行於BC，即AC平行於EF
所以角EAC=角FCA
在三角形AOE和三角形COF中
角AOE=角COF
角EAC=角FCA
AO=CO
所以三角形AOE全等於三角形COF（AAS）
所以AE=CF
所以AF=AE=CF=CE
所以AFCE是菱形