1. Định lí Pytago
Trong một tam giác vuông, bình phương của cạnh huyền bằng tổng các bình phương của hai cạnh góc vuông.
\(∆ABC\) vuông tại \(A\) thì ta có:
\(B{C^2} = A{B^2} + A{C^2}\)
2. Đị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 các bình phương của hai cạnh kia thì tam giác đó là tam giác vuông.
\(∆ABC \) có \(B{C^2} = A{B^2} + A{C^2}\)
\(\Rightarrow \widehat {BAC} = {90^o}\)