Bổ sung đều `OA` cắt `BC` tại `H`

`a)`

`AB, AC` là tiếp tuyến

`-> AB=AC` (Tính chất hai tiếp tuyến cắt nhau)

`-> \triangle ABC` cân tại `A`

`\hat(BAO)=\hat(CAO)` (tính chất hai tiếp tuyến cắt nhau)

`-> AO` là phân giác `\hat(BAC)`

Hay `AH` là phân giác `\hat(BAC)`

Mà trong tam giác cân đường phân giác cũng là đường cao

`-> AH` là đường cao `\triangle ABC`

`-> AH\botBC`

Hay `OA\botBC` tại `H`

Xét `\triangle ABO` và `\triangle AHB` có:

`\hat(A)` chung

`\hat(ABO)=\hat(AHB)=90^o`

`-> \triangle ABO` $\backsim$ `\triangle AHB\ (g-g)`

`-> (AB)/(AO)=(AH)/(AB)` (t.ung)

`-> AB^2=AH*AO`