Cho tam giác vuông tại (như hình vẽ)
Trong tam giác vuông, bình phương mỗi cạnh góc vuông bằng tích của cạnh huyền và hình chiếu của cạnh góc vuông trên cạnh huyền.
Cho tam giác vuông tại (như hình vẽ)
Định lí 1: Trong một tam giác vuông, bình phương đường cao ứng với cạnh huyền bằng tích hai hình chiếu của cạnh góc vuông trên cạnh huyền
Định lí 2: Trong một tam giác vuông, tích của hai cạnh góc vuông bằng tích của cạnh huyền với đường cao tương ứng
Định lí 3: Trong tam giác vuông, nghịch đảo của bình phương đường cao ứng với cạnh huyền bằng tổng các nghịch đảo của bình phương hai cạnh góc vuông.
Ví dụ: Cho tam giác vuông tại , đường cao AH. Biết và .
a) Tính các cạnh của tam giác ABC.
b) Tính độ dài các đoạn AH, BH, CH.
a) Theo giả thiết: suy ra:
Do đó .
Tam giác ABC vuông tại A, theo định lý Pythagore ta có:
b) Tam giác ABC vuông tại A, ta có , suy ra
Ta có:
Đặt thì , ta có:
hoặc (loại).
Vậy .
Từ đó .
Chú ý: Có thể tính BH như sau:
suy ra