1. Hệ thức giữa cạnh góc vuông và hình chiếu của nó trên cạnh huyền
Định lí 1:
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.
2. Một số hệ thức liên quan tới đường cao
Định lí 2:
Trong 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 hai cạnh góc vuông trên cạnh huyền.
Định lí 3:
Trong tam giác vuông, tích hai cạnh góc vuông bằng tích cạnh huyền và đường cao tương ứng.Định lí 4:
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 nghịch đảo của bình phương hai cạnh góc vuông.