Ta có:
$CA = CD \quad (gt)$
$CD = CE$ ($E$ đối xứng $D$ qua $C$)
$\to CA = CD = CE$
$\to C$ là tâm đường tròn đường kính $CD$
$\to CA$ là bán kính của $(C)$
Ta lại có: $CA\perp BA \quad (ΔABC$ vuông tại $A)$
Do đó: $BA$ là tiếp tuyến của $(C)$ tại $A$
Vậy $BA$ là tiếp tuyến của đường tròn $(C)$ đường kính $DE$