Cho hình vuông ABCD. Lấy điểm E thuộc cạnh CD và điểm F thuộc tia đối của tia BC sao cho BF = DE. Chứng minh tam giác AEF là tam giác vuông cân.