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

Cho hình vuông ABCD; Trên tia đối tia BA lấy E , trên tia đối của tia CB lấy điểm F sao cho AE=CF. 

a) CMR: 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 của EF. CM: O,C, I thẳng hàng