3. Soit d un diviseur commun de x et y

a) Montrer que d est alors un diviseur de y² - 2x² - 2x

b) En déduire que d divise 1.

c) Quel est alors le seul diviseur commun possible de x et de y

4. On souhaite déterminer de façon systématique les couples d'entiers naturel (x; y) définissant un TRPI :
1 < x < 1000 et x < y < 1000​