Xét `ΔHAB` và `ΔHMB` có:
`AH = HM` (gt)
`hat{AHB} = hat{BHM} = 90^o`
`BH` chung
`=> ΔHAB = ΔHMB` (cạnh - góc - cạnh)
`=> AB = BM; hat{ABC} = hat{CBM}`
Xét `ΔABC` và `ΔMBC` có:
`AB = BM` (cmt)
`hat{ABC} = hat{CBM}` (cmt)
`BC` chung
`=> ΔABC = ΔMBC` (cạnh - góc - cạnh)
`=> AC = MC`
Để `MB^2 + MC^2 = BC^2` thì:
`AB^2 + AC^2 = BC^2`
`=> ΔABC` vuông tại `A`