Vẽ lại hình:
Áp dụng định lý Pytago :
- Trong tam giác ABH có : AB2 = AH2 + HB2 = 22 + 32 = 13.
- Trong tam giác AKC có : AC2 = AK2 + KC2 =22 + 32 = 13.
- Trong tam giác BCI có: BC2 = BI2 + IC2 = 12 + 52 =26.
Nhận thấy AB2 = AC2 ⟹ AB = AC nên ∆ABC cân tại A (1)
Áp dụng định lý Pytago đảo ta thấy AB2 + AC2 = BC2 nên ∆ABC vuông tại A (2)
Từ (1) và (2) suy ra ∆ABC vuông cân tại A.