如图,正方形ABCD中,点E在CD上,点F在CB延长线上,DE=BF,连EF