ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 4 — Congruences · Divisibilité et chiffres

Exercice 6

Démonstration

1. À l'aide des congruences, montrer que pour tout n∈ℕn\in\mathbb{N}, 32n+1+2n+23^{2n+1}+2^{n+2} est divisible par 77.

2. Montrer par récurrence que pour tout n∈ℕn\in\mathbb{N}, 4n+15n−14^{n}+15n-1 est divisible par 99.

3. Retrouver le résultat de la question 2 à l'aide des congruences, en distinguant trois cas selon le reste de la division euclidienne de nn par 33.

Corrigé

1. On a 32n+1=3×9n3^{2n+1}=3\times 9^{n} et 9≡2  [7]9\equiv 2\;[7], donc 32n+1≡3×2n  [7]3^{2n+1}\equiv 3\times 2^{n}\;[7]. D'autre part 2n+2=4×2n2^{n+2}=4\times 2^{n}. Ainsi : 32n+1+2n+2≡3×2n+4×2n=7×2n≡0  [7].3^{2n+1}+2^{n+2}\equiv 3\times 2^{n}+4\times 2^{n}=7\times 2^{n}\equiv 0\;[7]. Donc 7 divise 32n+1+2n+2\boxed{7 \text{ divise } 3^{2n+1}+2^{n+2}} pour tout n∈ℕn\in\mathbb{N}.

2. On note 𝒫n\mathcal{P}_{n} : « 99 divise 4n+15n−14^{n}+15n-1 ».

Initialisation : Pour n=0n=0, 40+0−1=04^{0}+0-1=0, divisible par 99.

Hérédité : Si 4k+15k−1=9m4^{k}+15k-1=9m, alors : 4k+1+15(k+1)−1=4(4k+15k−1)−45k+18=9(4m−5k+2).4^{k+1}+15(k+1)-1=4\left(4^{k}+15k-1\right)-45k+18=9(4m-5k+2).

Conclusion : Par récurrence, 9 divise 4n+15n−1\boxed{9 \text{ divise } 4^{n}+15n-1} pour tout n∈ℕn\in\mathbb{N}.

3. Les puissances de 44 modulo 99 valent 44, 77, 11 : 43≡1  [9]4^{3}\equiv 1\;[9]. Si n=3q+rn=3q+r, alors 4n≡4r4^{n}\equiv 4^{r} et 15n=45q+15r≡6r  [9]15n=45q+15r\equiv 6r\;[9]. On examine les trois cas :

• r=0r=0 : 4n+15n−1≡1+0−1=0  [9]4^{n}+15n-1\equiv 1+0-1=0\;[9] ;

• r=1r=1 : 4n+15n−1≡4+6−1=9≡0  [9]4^{n}+15n-1\equiv 4+6-1=9\equiv 0\;[9] ;

• r=2r=2 : 4n+15n−1≡16+12−1=27≡0  [9]4^{n}+15n-1\equiv 16+12-1=27\equiv 0\;[9].

On retrouve le résultat. La récurrence est plus directe lorsque l'expression mêle puissances et termes polynomiaux, mais les congruences permettent de traiter un nombre fini de cas.

Dans l'édifice

Thèmes

congruences, division euclidienne, divisibilité, récurrence

Notions

entiers modulo n (anneau des), division euclidienne

Ouvrir dans l'atlas interactif →