Cho tam giác ABC cân tại A nội tiếp đường tròn (O). Đường phân giác của hai góc

Câu hỏi :

Cho $∆\mathrm{ABC}$ cân tại A nội tiếp đường tròn (O). Đường phân giác của hai góc $\hat{\mathrm{B}}$ và $\hat{\mathrm{C}}$ cắt nhau ở E và cắt đường tròn ở F và D. Chứng minh rằng tứ giác EDAF là một hình thoi.