Trên tia đối của tia AB, lấy điểm F sao cho AF = CK

Cho hình vuông ABCD, E thuộc cạnh AB. Phân giác EDC cắt BC tại K. Trên tia đối của tia AB, lấy điểm F sao cho AF = CK. Chứng minh rằng
a) Tam giác DEF cân
b) AE + CK = DE