Cho đường tròn tâm (O; R). Điểm A nằm ngoài đường tròn, từ A kẻ các tiếp tuyến AB, AC tới đường tròn (B, C là các tiếp điểm). Gọi E, F lần lượt là trung điểm của AB, AC. Trên EF lấy điểm I bất kỳ. Từ I kẻ các tiếp tuyến IM, IN tới đường tròn (O) (M, N là các tiếp điểm)
Chứng minh rằng I là tâm của đường tròn ngoại tiếp tam giác AMN