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

4B. 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.
a) Chứng minh tam giác EDF vuông cân.
b) Gọi I là trung điểm của EF. Chứng minh BI = DI.
c) Chứng minh ba điểm A, C, I thẳng hàng