Theo tính chất hai tiếp tuyến cắt nhau, ta có: là tia phân giác , là tia phân giác góc , mà và là hai góc kề bù nên .

Suy ra tam giác vuông tại có ( là tiếp tuyến).

Xét và , có:

(gt) và (cùng phụ với )

Do đó, (g-g)

Suy ra , suy ra .

Theo tính chất của hai tiếp tuyến cắt nhau, ta có: và .

Do đó, suy ra . (1)

Mà ta có: suy ra nên   (2)

Từ (1) và (2) suy ra (đpcm).