Có OD $\bot$ OB, AB $\bot$ OB
$\Rightarrow$ OD // AB (*)
Nối O và A
Từ (*) $\Rightarrow \widehat{OAB}=\widehat{AOD}$ (so le trong) (1)
AB, AC là hai tiếp tuyến nên $\widehat{OAD}=\widehat{OAB}$ (2)
Từ (1)(2) $\Rightarrow \widehat{OAD}=\widehat{AOD}$
$\Rightarrow \Delta$ AOD cân tại D
$\Rightarrow$ OD=DA