Định lý Pytago đã được biết đến từ lâu trước thời của Pythagoras, nhưng ông được coi là người đầu tiên nêu ra chứng minh định lý này.[2] Cách chứng minh của ông rất đơn giản, chỉ bằng cách sắp xếp lại hình vẽ.
Trong hai hình vuông lớn ở hình minh họa bên trái, mỗi hình vuông chứa bốn tam giác vuông bằng nhau, sự khác nhau giữa hai hình vuông này là các tam giác vuông được bố trí khác nhau. Do vậy, khoảng trắng bên trong mỗi hình vuông phải có diện tích bằng nhau. Dựa vào hình vẽ, hai vùng trắng có diện tích bằng nhau cho phép rút ra được kết luận của định lý Pytago, Q.E.D.[9]
Về sau, trong tác phẩm của nhà triết học và toán học Hy Lạp Proclus đã dẫn lại chứng minh rất đơn giản của Pythagoras.[10] Các đoạn dưới đây nêu ra một vài cách chứng minh khác, nhưng cách chứng minh ở trên thuộc về của Pythagoras
Chứng minh Pitago đảo:
(Bạn tự vẽ hình giùm)
Cho bài toán: Cho tam giác ABC có BC2 = AB2 + AC2. CMR: \(\Delta ABC\)vuông tại A
- Dựng \(\widehat{x'Ay}\)= 90o
- Trên tia A'x ta đặt A'B' = AB (1) => A'B'2 = AB2
- Trên tia A'y ta đặt A'C' = AC (2) => A'C'2 = AC2
Ta có B'C'2 = A'B'2 + A'C'2 (định lí Pitago) => B'C'2 = AB2 + AC2
và BC2 = AB2 + AC2 (định lí Pitago) => B'C'2 = BC2 => B'C' = BC (3)
Từ (1), (2) và (3) => \(\Delta ABC=\Delta A'B'C'\)(c. c. c) => \(\widehat{A}=\widehat{A'}=90^o\)(hai góc tương ứng)
=> \(\Delta ABC\)vuông tại A (đpcm)