1: Xét ΔHFB vuông tại F và ΔHEC vuông tại E có
góc FHB=góc EHC
=>ΔHFB đồng dạng với ΔHEC
=>HF/HE=HB/HC
=>HF*HC=HB*HE
2: Xét ΔAFH vuông tại F và ΔADB vuông tại D có
góc FAH chung
=>ΔAFH đồng dạng với ΔADB
=>AF/AD=AH/AB
=>AF*AB=AD*AH
Xét ΔAEB vuông tại E và ΔAFC vuông tại F có
góc EAB chung
=>ΔAEB đồng dạng với ΔAFC
=>AE/AF=AB/AC
=>AE*AC=AB*AF=AH*AD