Tam giác ABC vuông tại A (theo định lý Py-ta-go đảo)
⇒AC⊥AB,⇒AC⊥AB, do đó AC là tiếp tuyến.
Ta có: AB2 + AC2 = 32 + 42 = 25.
BC2 = 52 = 25.
Nên AB2 + AC2 = BC2.
Suy ra tam giác ABC vuông tại A hay AC ⊥ BA.
Đường thẳng AC đi qua điểm A của đường tròn và vuông góc với bán kính BA đi qua điểm A nên AC là tiếp tuyến của đường tròn.