∵O为平行四边形ABCD对角线的交点
∴AO=OC
∵AD‖BC
∴∠FAO=∠ECO
又∠FOA=∠EOC
∴△FOA≌△EOC
∴FA=CE
而AF‖EC
∴四边形AECF为平行四边形
又∠AEC=90°
∴四边形AECF为矩形