Trên tia đối tia BA lấy điểm I sao cho
Ta có (cùng bù với )
. Từ đó ta có .
Suy ra: và
Tam giác ACI cân tại C nên .
Vậy AC là phân giác trong
c) Các tia phân giác của góc A và B cắt nhau ở I và cắt các tia phân giác các góc C và D thứ tự ở E và F. Chứng minh rằng tứ giác OEIF có các góc đối bù nhau.