Cho tam giác cân ABC (AB = AC) nội tiếp đường tròn (O). Các đường phân giác của hai góc B và C cắt nhau ở E và cắt đường tròn lần lượt tại F và D. Chứng minh rằng tứ giác EDAF là một hình thoi