Định lý Pythagoras liên hệ ba cạnh của tam giác vuông. Nhiều nền văn minh đã sử dụng bộ ba 3–4–5 để dựng góc vuông. Chứng minh toán học giúp khái quát điều đó cho mọi tam giác vuông.