证明：∵四边形ABCD是矩形，
∴AD=BC，AD∥BC．
∴∠CAE=∠ACF，∠AEF=∠CFE．
∵AO=CO，
∴△AOE≌△COF．
∴AE=CF．
∴ED=BF．