Định lý Pytago được áp dụng cho việc tính độ dài các cạnh trong một tam giác vuộng. Đây 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ý Pytago thuận phát biểu rằng: Trong một 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.

Theo chiều ngược lại, định lý Pytago nghịch phát biểu rằng: Một tam giác có bình phương một cạnh bằng tổng bình phương hai cạnh còn lại thì tam giác đó là tam giác vuông.

Định lý Pytago dùng để dựng đoạn thẳng vô cước, biểu hiện độ dài của các cạnh của một tam giác vuông mà cả ba độ dài này là những số nguyên dương.