1) xét 2 tam giác HAC và ABC có : gốc C chung (1)
tam giác ABC vuông tại A (2)
AH là đường cao của tam giác ABC -> tam giác HAC vuông tại H (3)
từ (1)(2)(3) -> tam giác HAC ~ tam giác ABC ( góc- góc ) ( điều phải chứng minh )
-> AH/AB =AC/BC ( cạnh tương ứng )
-> AB. AC= AH. BC ( điều phải chứng minh )