Cho tam giác ABC vuông tại A. Dựng phía ngoài tam giác các hình vuông

) Ta chứng minh được DFBC = DABE (c.g.c) suy ra S_FBC = S_ABE.

b) Đặt độ dài các cạnh BC, AC, AB lần lượt là a, b, c. Ta có  S_ABFG  = c², S_ACKL = b², S_BCDE = c².

Áp dụng dụng định lý Pytago, ta thu được ĐPCM