Cho tam giác ABC nội tiếp đường tròn tâm O, một điểm I chuyển động trên cung BC không chứa điểm A (I không trùng với B và C). Đường thẳng vuông góc với IB tại I cắt đường thẳng AC tại E, đường thẳng vuông góc với IC tại I cắt đường thẳng AB tại F. Chứng minh rằng đường thẳng EF luôn đi qua một điểm cố định.