
3
ème
cas : m = 3
On a alors : 7
n
– 3
x
2
x
4 = 1 soit 7
x
7
n-1
– 6
x
4 = 1 et le couple (7
n-1
, 4) est alors solution de (E)
Il doit donc exister un entier naturel k tel que 7
n-1
= 6k+1 et 4 = 7k +1
Or cette dernière condition n’est jamais satisfaite. Donc si m = 3 il n’y a pas de couple d’entiers naturels non
nuls (n, m) vérifiant (F)
4
ème
cas : m = 4
on a a alors : 7
n
– 3
x
2
x
8 = 1 soit 7
x
7
n-1
– 6
x
8 = 1 et le couple (7
n-1
, 8) est alors solution de (E)
Il doit donc exister un entier naturel k tel que 7
n-1
= 6k+1 et 8 = 7k +1
Or cette dernière condition impose k = 1 et donc n - 1 = 1 soit n = 2
Le couple (n = 2 ; m = 4) est alors le seul d’entiers naturels non nuls qui vérifie la relation (F)si m=4.
Conclusion : si m
4., il y a bien uniquement deux couples d’entiers naturels non nuls solutions :
(n = 1, m = 1) et (n = 2, m = 4)
2. On suppose maintenant que m
5.
a) Montrer que si le couple (n, m) vérifie la relation (F) alors 7
n
1 (modulo 32)
Si m
5 il existe un entier m’
0 tel que m = 5 + m’ et la relation (F) devient :
7
n
– 3
x
2
m
= 7
n
– 3
x
2
5+ m’
= 7
n
– 3
x
2
5 x
2
m’
= 1 d’où 7
n
= 1 + 32
x
3
x
2
m’
1 mod(32)
b) On a 7
0
= 1
1 mod(32)
7
1
= 7
7 mod(32)
7
2
= 49
17 mod(32)
7
3
= 343
23 mod(32)
7
4
= 2401
1 mod(32) d’où un cycle de longueur 4
On raisonne alors modulo 4 pour n :
si n est de la forme n= 4k (avec k entier naturel) alors 7
n
= 7
4k
= (7
4
)
k
1
k
1 mod(32)
si n est de la forme n= 4k+1 alors 7
n
= 7
4k+1
= (7
4
)
k
x
7
1
x
7
7 mod(32)
si n est de la forme n= 4k+2 alors 7
n
= 7
4k+2
= (7
4
)
k
x
7
2
1
x
49
17 mod(32)
si n est de la forme n= 4k+3 alors 7
n
= 7
4k+3
= (7
4
)
k
x
7
3
1
x
23
23 mod(32)
Conclusion : Le seul cas où 7
n
1 mod(32) est celui où n est de la forme n= 4k, c’est-à-dire lorsque 4 | n
c) Si un couple (n, m) vérifie (F) on a donc n de la forme n = 4k avec k entier naturel
On a alors 7
n
= 7
4k
= (7
4
)
k
2401
k
1
k
= 1 mod(5) car 2401 = 1 + 5
x
480
1 mod(5)
d) Si un couple (n, m) vérifie (F) on a nécessairement 7
n
1 mod(5)
Or un tel couple doit vérifier la relation 3
x
2
m
= 1 – 7
n
et on doit donc avoir 3
x
2
m
1 – 1 = 0 mod(5)
Examinons les restes de la division euclidienne de 3
x
2
m
par 5 :
on a 2
0
= 1
1 mod(5) donc 3
x
2
0
3 mod(5)
2
1
= 2
2 mod(5) donc 3
x
2
1
6 mod(5)
1 mod(5)
2
2
= 4
4 mod(5) donc 3
x
2
2
12 mod(5)
2 mod(5)
2
3
= 8
3 mod(5) donc 3
x
2
3
9 mod(5)
4 mod(5)
2
4
= 16
1 mod(5) donc 3
x
2
4
3 mod(5) d’où un cycle de longueur 4
On raisonne alors modulo 4 pour m :
si m= 4k (avec k entier naturel) alors 2
m
= 2
4k
= (2
4
)
m
=16
m
1
m
= 1 mod(5) donc 3
x
2
m
3 mod(5)
si m= 4k+1 alors 2
m
= 2
4k+1
= (2
4
)
m x
2 =16
m x
2
2 mod(5) donc 3
x
2
m
6 mod(5)
1 mod(5)
si m= 4k+2 alors 2
m
= 2
4k+2
= (2
4
)
m x
2
2
=16
m x
4
4 mod(5) donc 3
x
2
m
12 mod(5)
2 mod(5)
si m= 4k+3 alors 2
m
= 2
4k+3
= (2
4
)
m x
2
3
=16
m x
8
3 mod(5) donc 3
x
2
m
9 mod(5)
4 mod(5)
Ainsi, dans aucun cas nous n’avons 3
x
2
m
0 mod(5)
Conclusion : si m
5, il n’existe pas de couple (n, m) d’entiers non nuls vérifiant (F)