Cho tam giác ABC vuông tại A. Kẻ đường cao AH (H ∈ BC). Chứng minh tam giác HBA ~ tam giác ABC. Từ đó suy ra: BA^2 = BH.BC