triangle_rectangle(0,1,2); triangle_rectangle(i,2*i,2); triangle_rectangle(-1+i,-2+i,2); triangle_rectangle(-1,-1-i,2);
Le carré de coté c est composé d'un carré de cotés a - b et
de 4 triangles T donc on a :
(a - b)2 +2ab = c2
On sait que
(a - b)2 = a2 -2ab + b2 (identité remarquable) donc
c2 = a2 + b2.