Từ M kẻ ME vuông góc với AB,MF vuông góc với AC.
Ta có ΔEBM vuông cân tại E, ΔFMC vuông cân tại F và AEMF là hình chữ nhật.
Áp dụng định lý Pytago vào các tam giác EBM,FMC,AEF ta có:
BM^2 = EM^2 + BE^2 = 2.ME^2 ; MC^2 = 2.FM^2 ⇒ BM^2 + MC^2 = 2.(ME^2 + MF^2) (1)
Mà AM^2 = EF^2 = ME^2 + MF^2 (2)
Từ (1),(2) ta được 2AM^2 = MB^2 + MC^2