Tam giác AHB vuông tại H => AH2 + BH2 = AB2 ( định lí Py-ta-go)
=> 122 + BH2 = 152
=> BH = 152 - 122 = 81
=> BH = 9 ( vì BH > 0) (1)
Tam giác AHC vuông tại H => AH2 + HC2 = AC2 ( định lí Py-ta-go)
=> 122 + HC = 202
=> HC = 202 - 122 = 256
=> HC = 16 ( vì HC > 0) (2)
Từ (1) và (2) BH + HC = 9 + 16
=> BC = 25
Dễ thấy, 152 + 202 = 252
=> AB2 + AC2 = BC2
=> Tam giác ABC vuông tại A ( định lí Py-ta-go đảo) hay BAC = 90o (đpcm)