- Vì `tanB = cotC` nên:
+ `hat{B}` và `hat{C}` là hai góc phụ nhau (theo tỉ số lượng giác của 2 góc phụ nhau)
`⇒hat{B} + hat{C} = 90^o`
- Ta có:
`hat{A} + hat{B} + hat{C} = 180^o`
`⇒hat{A} = 180^o - hat{B} - hat{C}`
`⇒hat{A} = 180^o - (hat{B} + hat{C})`
`⇒hat{A} = 180^o - 90^o = 90^o`
`⇒hat{A}` vuông
`⇒ΔABC` vuông tại `A` (đpcm)