Cho ∆ABC cân tại A nội tiếp đường tròn (O). Đường phân giác của hai góc B^ và 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.