Chứng minh tam giác OAK cân tại K.
Giải thích
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).