Áp dụng định lý Py-ta-go và tam giác AHB vuông tại H:
=>AH2+HB2=AB2
Áp dụng định lý Py-ta-go vào tam giác AHC vuông ở H:
=>AC2=CH2+AH2
=> AB2-AC2=(AH2+BH2)-(AH2+HC2)
=> AB2-AC2=AH2+BH2-AH2-HC2=BH2-HC2
Vậy AB2-AC2=BH2-HC2
b)
Ta có:AH2+HB2=AB2=>AB2-AH2=HB2
AC2=CH2+AH2=>AC2-AH2=CH2
Lại có:
AC<AB=> AC2<AB2
AH2=AH2
=> AB2-AH2>AC2-AH2
=>BH>HC(dpcm)