Kẻ `MD⊥AB(D∈AB)`
`ME⊥AC(E∈AC)`
Xét `2Δ` vuông `ADM` và `AEM` có:
`hat{DAM}=hat{EAM}(g``t)`
`AM:chung`
`⇒ΔADM=ΔAEM(` cạnh huyền-góc nhọn `)`
`⇒DM=EM(2` cạnh tương ứng `)`
Xét `2Δ` vuông `BDM` và `ΔCEM` có:
`DM=EM(cmt)`
`BM=CM(g``t)`
`⇒ΔBDM=ΔCEM(` cạnh huyền-cạnh góc vuông `)`
`⇒hat{B}=hat{C}(2` góc tương ứng `)`
`⇒ΔABC` cân tại `A(đpcm)`