Chứng minh rằng: Và
Theo tính chất hai tiếp tuyến cắt nhau ta có:
IA = IM , IO là tia phân giác
IA = IN , IO' là tia phân giác
Tam giác MAN có AI là đường trung tuyến và (IM = IA = IN)
=> ∆ MAN vuông tại A
=>
Do IO và IO' là hai tia phân giác của hai góc kề bù Và
=>