a: Xét (O) có
AB là tiếp tuyến
AC là tiếp tuyến
Do dó: AB=AC
hay A nằm trên đường trung trực của BC(1)
Ta có: OB=OC
nên O nằm trên đường trung trực của BC(2)
Từ (1) và (2) suy ra OA⊥BC(3)
Xét (O) có
ΔBCD nội tiếp
BD là đường kính
Do đó: ΔBCD vuông tại C
=>BC⊥CD(4)
Từ (3) và (4) suy ra OA//CD