平行四边形ABCD是中心对称图形,O是对称中心,E,F分别在相应的对称直线上,且EF经过O,因此OE=OF.

又,AO=CO

所以四边形AFCE是平行四边形,由于AF垂直BC,

AFCE为矩形