a) Áp dụng định lý pytago vào tam giác vuông ABH, ta có:

BH2+AH2=AB2

=> AH2=AB2-BH2(1)

Áp dụng định lý pytago vào tam giác vuông AHC ta có: 

AH2+HC2=AC2

=> AH2=AC2-HC2(2)

Từ (1) và (2) => AB2-BH2=AC2-HC2 => AB2+HC2=AC2+BH2(chuyển vế đổi dấu)

b) Trên đoạn thẳng AB lấy điểm E => AE<AB, trên đoạn thẳng AC lấy điểm F => AF<AC

Áp dụng định lý pytago vào tam giác vuông EAF ta có: 

AE2+AF2=EF2

Áp dụng định lý pytago vào tam giác vuông ABC ta có: 

AB2+AC2=BC2

Mà AE<AB(cmt) => AE2<AB2, AF<AC(cmt) => AF2<AC2

=>AE2+AF2<AB2+AC2 hay EF2<BC2=> EF<BC