Định lý Pitago mô tả độ dài các cạnh của tam giác vuông một cách trang nhã và thiết thực đến mức định lý vẫn được sử dụng rộng rãi ngày nay. Định lý phát biểu rằng đối với bất kỳ tam giác vuông nào, tổng bình phương của các cạnh không phải cạnh huyền bằng bình phương cạnh huyền.