Chứng minh rằng góc AIF = góc KIC

Đường tròn tâm nội tiếp tam giác nên là các đường phân giác của tam giác.

Do đó .

Ta có: . (1)

(2)

Xét có là góc ngoài tại đỉnh nên (3)

Từ (1), (2) và (3) suy ra (4)