Congruences – Puissances de 2 et de 3

Dans cet exercice, on recherche s’il existe des valeurs de l’entier naturel n pour lesquelles n^2+9 est une puissance de 2 ou une puissance de 3.

Partie A

Soient deux entiers naturels n et m tels que n^2+9=2^m.

1. Justifier que m est nécessairement supérieur ou égal à 4 et que n est impair.
2. Montrer qu’alors n^2 \equiv 3 (mod. 4)
3. Compléter le tableau :
   

   n \equiv \cdots \ \ (\text{mod. 4})	\qquad 0 \qquad	\qquad 1 \qquad	\qquad 2 \qquad	\qquad 3 \qquad
   n^2 \equiv \cdots \ \ (\text{mod. 4})

4. Existe-t-il des valeurs de n pour lesquelles n^2+9 est une puissance de 2 ?

Partie B

Soient deux entiers naturels n et m tels que n^2+9=3^m.

1. Justifier que m est nécessairement supérieur ou égal à 2 et que n est pair.
2. Montrer qu’alors (-1)^m \equiv 1 (mod. 4).
   Que peut-on en déduire sur la parité de m ?
3. On pose m=2k.
   Montrer que (3^k-n)(3^k+n)=9
4. Existe-t-il des valeurs de n pour lesquelles n^2+9 est une puissance de 3 ?

Corrigé

Solution rédigée par PYF82