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) Gọi O là giao điểm của hai đường chéo AC và BD. Chứng minh O, C, I thẳng hàng.