如图，在正方形ABCD中，E是BC边上的点，连接AE，作BF⊥AE于点O，且点F在CD边上。