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 tai CB lấy điểm F sao cho AE = CF. Chứng mính tam giác EDF vuông cân