Hai đường tròn $(O);(O')$ có tiếp tuyến chung trong `IA` cắt tiếp tuyến chung ngoài `BC` tại $I$
$IA;IB$ là hai tiếp tuyến cắt nhau tại $I$ ($A;B$ là hai tiếp điểm)
`=>IA=IB`
$IA;IC$ là hai tiếp tuyến cắt nhau tại $I$ ($A;C$ là hai tiếp điểm)
`=>IA=IC`
`=>IA=IB=IC`
`=>I` là trung điểm $BC$
`=>IA=IB=IC={BC}/2`
`=>IA` là bán kính của đường tròn đường kính $BC$
Vì $IA\perp O O'$ tại $A$
`=>O O'` là tiếp tuyến tại $A$ của đường tròn đường kính $BC$ (đpcm)