Định lý Pytago (hay còn gọi là định lý Pythagoras theo tiếng Anh) là một liên hệ căn bản trong hình học Euclid giữa ba cạnh của một tam giác vuông. Định lý pitago thuận phát biểu rằng trong 1 tam giác vuông bình phương cạnh huyền (cạnh đối diện với góc vuông) bằng tổng bình phương của hai cạnh góc vuông. Định lý có thể viết thành một phương trình liên hệ giữa độ dài của các cạnh là a, b và c, thường gọi là công thức Pytago: \(c^2=a^2+b^2\) (trong đó c độ dài là cạnh huyền, a,b lần lượt là độ dài 2 cạnh góc vuông). Ngoài ra, định lý pitago là một trong 17 phương trình thay đổi thế giới

Như vậy trong bất kì 1 tam giác vuông nào thì bình phương cạnh huyền cũng sẽ bằng tổng bình phương hai cạnh góc vuông.

Theo định lý cho biết, cạnh góc vuông của tam giác kí hiệu là a và b, còn cạnh huyền kí hiệu là c của tam giác vuông đó. Ta luôn có phương trình của định lý Pitago như sau:

 \(a^2+b^2=c^2\)  (với c là độ dài cạnh huyền và a và b là độ dài hai cạnh góc vuông hay còn gọi là cạnh kề.)   

Từ đó ta có công thức tính cạnh huyền tam giác vuông như sau: c=√(a²+b²) với c là cạnh huyền và a, b là độ dài 2 cạnh tam giác vuông

Tam giác ABC vuông tại A

=> BC^2 = AB^2 + AC^2