Cho hình vuông ABCD.Trên tia đối của tia BA lấy điểm E, trên tia đối của tia CB lấy điểm F sao cho AE=CF. Chứng minh tam giác EDF vuông cân.