Trong một tam giác vuông, bình phương độ dài cạnh huyền bằng tổng bình phương độ dài hai cạnh góc vuông. Nếu tam giác $ABC$ vuông tại $A$ với các cạnh $AB=c'$, $AC=b'$ và $BC=a'$, thì ta có hệ thức $a'^2 = b'^2 + c'^2$. Trong đó, $a'$ là cạnh huyền (cạnh đối diện góc vuông), $b'$ và $c'$ là hai cạnh góc vuông. Định lí này giúp tính độ dài một cạnh khi biết hai cạnh còn lại.

Khi biết độ dài cạnh huyền và một cạnh góc vuông, ta có thể tìm độ dài cạnh góc vuông còn lại. Nếu tam giác $ABC$ vuông tại $A$ với cạnh huyền $BC=a'$ và cạnh góc vuông $AB=c'$, thì cạnh góc vuông $AC=b'$ được tính theo công thức $b'^2 = a'^2 - c'^2$, hay $b' = \sqrt{a'^2 - c'^2}$. Tương tự, $c' = \sqrt{a'^2 - b'^2}$.

Định lí Pythagore đảo cho phép xác định một tam giác có phải là tam giác vuông hay không. Nếu một tam giác có độ dài ba cạnh là $a'$, $b'$, $c'$ (với $a'$ là cạnh dài nhất) thỏa mãn $a'^2 = b'^2 + c'^2$, thì tam giác đó là tam giác vuông tại đỉnh đối diện với cạnh $a'$.