Vì `AB, AC` là `2` tiếp tuyến của `(O)` nên:

`AB=AC`

`OB=OC (=R)`

`OA` là phân giác của `\hat{BOC}`

`AO` là phân giác của `\hat{BAC}`

`⇒ OA⊥BC`

`→ OA` là trung trực `BC`

Vì `ΔABO` vuông tại `B`

`⇒ 3` điểm `A,B,O` thuộc đường tròn đđường kính `OA` `\text{(1)}`

Vì `ΔACO` vuông tại `C`

`⇒ 3` điểm `A,C,O` thuộc đường tròn đường kính `OA` `\text{(2)}`

Từ `\text{(1)}` và `\text{(2)}` `→ 4` điểm `A,B,O,C` cùng thuộc 1 đường tròn `\text{(đpcm)}`