Cho tam giác ABC nhọn, AB<AC và nội tiếp (O). D là điểm đối xứng với A qua O. Tiếp tuyến với O tại D cắt BC tại E. Đường thẳng DE lần lượt cắt AB, AC tại K, L. Đường thẳng qua A song song với EO cắt DE tại F.

 Đường thẳng qua D song song với EO lần lượt cắt AB, AC tại M, N. Chứng minh rằng EF tiếp xúc với đường tròn ngoại tiếp tam giác BCF.