Xét \(\Delta ABM\) co
BM=AM(=1/2BC)
=>\(\Delta ABM\) can
=> \(\widehat{ABM}=\widehat{BAM}\)
Tương tự ta có \(\widehat{MAC}=\widehat{MCA}\)
Ma \(\widehat{BAC}=\widehat{BAM}+\widehat{MAC}\)
=> \(\widehat{BAC}=\widehat{ABC}+\widehat{ACB}\)
=>\(\widehat{BAC}=90^O\)
=>\(\Delta ABC\) vuông