Định lí Pytago 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.

=> BC2=AB2+AC2

Định lí Pytago đả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 :BC2=AB2+AC2

=> góc BAC=902