Tia AH cắt đường tròn (B, BA)  tại D(D khác A) . Vẽ tiếp tuyến Dx của (B, BA)  (với D là

+ Xét ΔABD có: BA=BD;BH⊥AD.

⇒BH là đường cao đồng thời là đường phân giác của ΔABD cân tại B (tính chất).

⇒∠ABC=∠DBC

+ Xét ΔABC và ΔDBC có:

BC chung

∠ABC=∠DBCcmtBA=BDgt⇒ΔABC=ΔDBCc−g−c

(hai góc tương ứng).

⇒BD⊥DC

⇒DC là tiếp tuyến của đường tròn B;BA.

⇒DC≡Dx hay Dx đi qua điểm C (đpcm).