+ \(\left\{{}\begin{matrix}\widehat{ADC}=\widehat{ABD}\left(=\frac{1}{2}sđ\stackrel\frown{AD}của\left(O'\right)\right)\\\widehat{ACD}=\widehat{ADB}\left(=\frac{1}{2}sđ\stackrel\frown{AD}của\left(O\right)\right)\end{matrix}\right.\)
=> ΔABD ∼ ΔADC (g.g)
\(\Rightarrow\frac{AD}{AB}=\frac{AC}{AD}=\frac{CD}{BD}\)
\(\Rightarrow\frac{AD}{AB}\cdot\frac{AC}{AD}=\frac{CD^2}{BD^2}\) => đpcm