1) Định lí Py-ta-go (thuận):
Trong một tam giác vuông, bình phương của cạnh huyền bằng tổng bình phương hai cạnh góc vuông. ∆ABC vuông tại A.
=> BC² = AB² + AC²
2) Định lí Py-ta-go (đảo):
Nếu một tam giác có bình phương của một cạnh bẳng tổng bình phương các cạnh còn lại thì tam giác đó là tam giác vuông. ∆ABC : BC² = AB² + AC²