Xét đường tròn O  có AB, AC là hai tiếp tuyến cắt nhau tại A nên AO là phân giác BAC (tính chất) hay BAO=OAK  (1).

Lại có  AB⊥OB(cmt) và OK⊥OB  (gt) suy ra OK // AB

Do đó: BOA=AOK  (2) (hai góc ở vị trí so le trong)

Từ (1) và (2) ta có KOA=KAO=BAO  suy ra tam giác OKA cân tại K (đpcm).