已知，如图，在▱ABCD中，BF平分∠ABC交AD于点F，AE⊥BF于点O，交BC于点E，连接EF.