Cho tam giác ABC nội tiếp đường tròn O (góc BAC >90o), 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