ABCD est un carré
et MNOP egalement car ses 4 cotés sont égaux à rac(a²+b²) et ses angles sont droits car egaux à 180°-POD -NOC (par exemple)
son aire c² est bien sur égale à a²+b²
l'aire de EFGH est a²+b² +2ab et celle de ABCD est (a+b)²
on en deduit donc que a²+b²=c²
