Các hệ thức liên hệ giữa cạnh góc vuông, hình chiếu của nó trên cạnh huyền và độ dài đường cao
a. Các định lí thuận
Xét tam giác ABC vuông tại A, đường cao AH. Ta có:
- .
- .
- .
- .
- .
b. Các định lý đảo
Xét một tam giác ABC bất kỳ, đường cao AH. Ta có:
- Tam giác ABC vuông tại A.
- Tam giác ABC vuông tại A.
- Tam giác ABC vuông tại A.
- Tam giác ABC vuông tại A.
- Tam giác ABC vuông tại A.
c. Lưu ý áp dụng
Các định lý thuận thường được sử dụng trong các bài toán về tính độ dài các cạnh, các bài tập chứng minh các đẳng thức về cạnh trong tam giác.
Các định lý đảo được coi là các dấu hiệu để nhận biết các tam giác vuông; thường được sử dụng để chứng minh các tam giác vuông, chứng minh hai đường thẳng vuông góc ,...