Cho hình vuông $ABCD$; Trên tia đối tia $BA$ lấy $E$, trên tia đối tia $CB$ lấy $F$ sao cho $AE = CF$
a) Chứng minh : tam giác $EDF$ vuông cân
b) Gọi $O$ là giao điểm của $2$ đường chéo $AC$ và $BD$. Gọi $I$ là trung điểm $EF$. Chứng minh $O, C, I$ thẳng hàng.