Chứng minh tam giác AED = tam giác CFD. Chứng minh tam giác DEF vuông cân

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 CF=AE
a, chứng minh tam giác AED = tam giác CFD
b, Chứng minh tam giác DEF vuông cân
c, Gọi O là giao điểm 2 đường chéo của hình vuông và K là trung điểm của EF. Chứng minh 3 điểm A,C,K thẳng hàng