如图，在矩形ABCD中，AE平分∠BAD，交BC于点E，过点E作EF⊥AD于点F，求证：四边形ABEF是正方形．