Tam giác ABC vuông tại A. Từ K trên BC kẻ KH vuông góc với AC. Trên tia đối

Xét ∆vuông AKH và ∆vuông AIH có:

HK = HI (gt)

AH chung

Vậy ∆vuông AKH = ∆vuông AIH (cgv)

Nên AK = AI (cạnh tương ứng)

Do đó tam giác AIK cân tại A