x2−y2=31 s'écrit de manière équivalente sous la forme :
(x−y)(x+y)=31 Comme
x et
y sont des entiers alors
x−y et
x+y sont également des entiers.
x−y et
x+y sont alors une décomposition de
31 qui n’a que
2 diviseurs positifs
1 et
31. On a donc les systèmes suivants :
D’une part :{x−yx+y==131 équivaut successivement à :
{xx+y==1+y31{x1+y+y==1+y31{x2y==1+y30{xy==1+y15{xy==1615 Le couple
(16;15) vérifie
x2−y2=31D’autre part :{x−yx+y==311{xx+y==31+y1{x31+y+y==31+y1{x2y==31+y−30{xy==31+y−15 Impossible car
y=−15 n'est pas un entier naturel .
Le seul couple d'entiers naturels solution vérifiant :
x2−y2=31 est le couple
(16;15) .