证明：∵四边形ABCD是正方形，
∴BC=AD．
又∵BE=BC，
∴BE=AD．
∵AD∥BE，
∴∠E=∠ADF，∠AFD=∠EFB．
∴△ADF≌△BEF．
∴DF=FE．
又∵DO=OB．
∴OF为△BDE的中位线．
∴OF=

1

2

BE．