AECF是矩形
证明：∵OB=OD,∠EOB=∠FOD,∠OBE=∠ODF,∴△BOE≌△DOF,∴OE=OF
又∵OB=OD,∴四边形AECF是平行四边形
又∵AE⊥BC,∴∠AEC=90°
∴四边形AECF是矩形