Xét ΔAHB vuông tại H và ΔAMC vuông tại M có
góc HAB chung
=>ΔAHB đồng dạng với ΔAMC
=>AH/AM=AB/AC
=>AB*AM=AH*AC
Xét ΔHCB vuông tại H và ΔNAC vuông tại N có
góc HCB=góc NAC
=>ΔHCB đồng dạng với ΔNAC
=>CB/AC=HC/NA
=>CB*NA=HC*AC=AD*AN
=>AD*AN+AB*AM=AC^2