Gọi giao của BC và OA là F
Xét (O) có
AB,AC là tiếp tuyến
=>AB=AC
mà OB=OC
nên OA là trung trực của BC
=>F là trung điểm của BC
Xet ΔOIA vuông tại I và ΔOFS vuông tại F có
góc IOA chung
=>ΔOIA đồng dạng với ΔOFS
=>OI/OF=OA/OS
=>OI*OS=OF*OA=OB^2=OD^2
=>SD là tiếp tuyến của (O)