Xét tam giác ABC có : BC ^2 = AB^2 = AC^2
suy ra tam giác ABC vuông tại A (Pytago)
suy ra, (O;AB) là đường trong ngoại tiếp tam giác ABC có tâm là trung điểm cạnh huyền BC
Ta có  AB vuông góc AC (tam giác  ABC vuông tại A)
mà AB là bán kính (O) suy ra AC là tiếp tuyến (O;AB) tại A.