on a c(a+b)=ab
en posant pgcd(a,b)=d et a=da',b=db' avec a' et b' premier entre eux
on a donc (a'+b')c=a'b'd ,on peut facilement demontrer que a'b' et a'+b' sont premier entre eux,donc d aprés th de Gauss on a c/a'b' ,et a'b'/c d ou
a'b'=c et par consequent a'+b'=d ,d'ou la relation a+b=d² ,cqfd