Gọi `M` là giao của `CD` và `OA`
`a)` Xét `(O: OA)` có:
`CD ⊥ OA = {M}`
`=> M` là trung điểm của `CD`
Vì: `CD` là trung trực của `AB`
`=> M` là trung điểm `AB`
Xét tứ giác `OCAD` có:
`M` là trung điểm của `CD`
`M` là trung điểm của `AB`
`CD ⊥ OA = {M}`
`=> OCAD` là hình thoi
`=> OC = CA = R`
`b)` Xét `ΔOCI` vuông tại `C` có:
`=> CA = (OI)/2`
`=> OI = 2.CA = 2R`
Áp dụng định lí Py - ta - go
`=> IC = sqrt{OI^2 - CO^2} = sqrt{4R² - R²} = Rsqrt{3}`