⦁ Xét có vừa là đường cao, vừa là đường phân giác của  nên cân tại

Do đó . (1)

Ta có: (cùng phụ với ) (2)

Xét đường tròn có (góc nội tiếp cùng chắn cung ) (3)

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

Xét có nên cân tại .

⦁ Xét cân tại (do ) ta có .

Mà (do là đường phân giác của ).

Suy ra  

Xét vuông tại ta có:

Mà và nên

Do đó, .

Suy ra tại thuộc đường tròn .

Vậy là tiếp tuyến của đường tròn .