Notons
D=PGCD(n+2;3n+1)D divise
n+2 et
D divise
3n+1 donc
D divise toute combinaison linéaire de
n+2 et
3n+1 . Ainsi
D divise
(3×(n+2)+(−1)×(3n+1)) . Ici, nous avons construit une
combinaison lineˊaire indeˊpendante de n D divise
(3n+6−3n−1) D divise
5Il en résulte donc que
D=1 ou
D=5 .
Nous allons dresser la table des restes modulo
5 .
Le seul cas possible afin que
n+2 et
3n+1 soient des multiples de
5 est
n=3+5k avec
k∈NAinsi :
Si n est congru à 3 modulo 5 alors n+2 et 3n+1 sont donc divisibles par 5 et leur PGCD est égal à 5. Nous pouvons aussi écrire si n=3+5k alors PGCD(n+2;3n+1)=5 Sinon n+2 et 3n+1 ne sont pas divisibles par 5 et leur PGCD est égal à 1. Nous pouvons aussi écrire si n=3+5k alors PGCD(n+2;3n+1)=1