已知:如图,在矩形ABCD中,BE平分∠ABC交CD于点E,EF⊥AE交BC于点F