On dira dans ce cas que le couple (x;y) définit un TRPI.

1. Montrer que qu'un couple d'entiers naturels (x;y) définit un TRPI si, et seulement si, y² = 2x² + 2x + 1

2. En déduire que y² est un nombre impair Que peut-on en déduire de la parité de y? ​