已知在矩形ABCD中，E为DC边上一点BF⊥AE于点F，且BF＝BC。求证：AE＝AB。