Chứng minh rằng OA vuông góc với BC.

 Ta có: AB = AC (tính chất của hai tiếp tuyến cắt nhau). Nên ΔABC cân tại A.

Lại có AO là tia phân giác của góc A nên AO ⊥ BC. (trong tam giác cân, đường phân giác cũng là đường cao)