$\hat{ICA}$=$\dfrac{1}{2}$ sđ cung AC=$\hat{CBI}$
Xét $\Delta$CIA và $\Delta$BIC có: $\hat{CIB}$ chung ; $\hat{ICA}$=$\hat{CBI}$
\Rightarrow$\Delta$ICA $\sim$ $\Delta$BIC (g.g)
\Rightarrow$\dfrac{IC}{IB}$=$\dfrac{IA}{IC}$ \Leftrightarrow $IC^2$=IA.IB (1)
$\hat{IDA}$=$\dfrac{1}{2}$ sđ cung AD=$\hat{ABD}$
Xét $\Delta$IDA và $\Delta$IBD có: $\hat{DIB}$ chung ; $\hat{IDA}$=$\hat{ABD}$
\Rightarrow$\Delta$IDA $\sim$ $\Delta$IBD (g.g)
\Rightarrow$\dfrac{ID}{IA}$=$\dfrac{IB}{ID}$ \Leftrightarrow $ID^2$=IA.IB (2)
Từ (1) và (2)\Rightarrow$IC^2$=$ID^2$ \Leftrightarrow IC=ID