如图,矩形ABCD中,BC>AB,点E在BC上,把矩形沿AE折叠,点B恰好落在边AD上的点F,求证矩形ABCD是正方形