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

 
Bài 4. Hình vuông ABCD. Trên tia đối của BA lấy điểm E, trên tia đối của CB lấy F sao cho AE = CF.
a) Chứng minh tam giác EDF vuông cân.
b) I là trung điểm EF. Chứng minh BI = DI.
c) Chứng minh A, C, I thẳng hàng.