Định lý Py – ta – goTrong 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ì :
${\mathrm{BC}}^2={\mathrm{AB}}^2+{\mathrm{AC}}^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ó : 
${\mathrm{AB}}^2+{\mathrm{AC}}^2={\mathrm{BC}}^2$
 ⟹ ∆ABC vuông tại A