a) Áp dụng định lí Pytago vào ΔABH vuông tại H, ta được:
\(AB^2=AH^2+BH^2\)
Áp dụng định lí Pytago vào ΔACH vuông tại H, ta được:
\(AC^2=AH^2+CH^2\)
hay \(CH^2=AC^2-AH^2\)
\(\Leftrightarrow AB^2+CH^2=AH^2+BH^2+AC^2-AH^2\)
\(\Leftrightarrow AB^2+CH^2=AC^2+BH^2\)(đpcm)