a) Xét ΔOIC và ΔABC có:
\(\widehat{ACB}\) : góc chung
\(\widehat{OIC}=\widehat{ABC}\) (đồng vị do JI//AB(gt))
=> ΔOIC~ΔABC(g.g)
=>\(\frac{OI}{AB}=\frac{CI}{BC}\)
=> BC.OI=AB.CI
b) Theo định lý đảo của định lý ta-let vào ΔBDC :
=> \(\frac{OI}{DC}=\frac{BI}{BC}\)