ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 4 — Congruences · Exercices d'approfondissement

Exercice 20

ConjectureDémonstrationCalcul

On considère la suite (un)(u_{n}) définie sur ℕ\mathbb{N} par {u0=14un+1=5un−6\left\{ \begin{array}{ll} u_{0}=14 \\ u_{n+1}=5u_{n}-6 \end{array} \right.

1. Calculer u1u_{1}, u2u_{2}, u3u_{3} et u4u_{4}. Quelle conjecture peut-on émettre concernant les deux derniers chiffres de unu_{n} ?

2. Montrer que pour tout entier naturel nn, un+2≡un  [4]u_{n+2}\equiv u_{n}\; [4].

En déduire que pour tout entier naturel kk, u2k≡2  [4]u_{2k}\equiv 2 \; [4] et u2k+1≡0  [4]u_{2k+1}\equiv 0 \; [4].

3. (a) Montrer par récurrence que pour tout entier naturel nn, 2un=5n+2+32u_{n}=5^{n+2}+3.

(b) En déduire que, pour tout entier naturel nn, 2un≡28  [100]2u_{n}\equiv 28 \;[100].

4. Déterminer les deux derniers chiffres de unu_{n} en fonction de nn.

Corrigé

1. On applique la relation de récurrence un+1=5un−6u_{n+1}=5u_{n}-6 : u1=5×14−6=64u2=5×64−6=314u_{1}=5\times 14-6=64 \qquad u_{2}=5\times 64-6=314

u3=5×314−6=1564u4=5×1564−6=7814u_{3}=5\times 314-6=1564 \qquad u_{4}=5\times 1564-6=7814 Les deux derniers chiffres sont successivement 1414, 6464, 1414, 6464, 1414 : Conjecture : un se termine par 14 si n est pair, et par 64 si n est impair.\boxed{\text{Conjecture : } u_{n} \text{ se termine par } 14 \text{ si } n \text{ est pair, et par } 64 \text{ si } n \text{ est impair.}}

2. Exprimons un+2u_{n+2} en fonction de unu_{n} : un+2=5un+1−6=5(5un−6)−6=25un−36u_{n+2}=5u_{n+1}-6=5\left(5u_{n}-6\right)-6=25u_{n}-36 Or 25≡1  [4]25\equiv 1\;[4] et 36=4×9≡0  [4]36=4\times 9\equiv 0\;[4], donc un+2≡1×un−0=un  [4]u_{n+2}\equiv 1\times u_{n}-0=u_{n}\;[4]

pour tout n∈ℕ, un+2≡un  [4].\boxed{\text{pour tout } n\in\mathbb{N},\ u_{n+2}\equiv u_{n}\;[4].}

Cette relation signifie que la classe de unu_{n} modulo 44 ne change pas lorsqu'on avance de deux rangs : elle ne dépend donc que de la parité de nn. Comme u0=14=4×3+2≡2u_{0}=14=4\times 3+2\equiv 2 et u1=64=4×16≡0  [4]u_{1}=64=4\times 16\equiv 0\;[4], une récurrence immédiate de deux en deux donne : pour tout k∈ℕ,u2k≡2  [4]etu2k+1≡0  [4].\boxed{\text{pour tout } k\in\mathbb{N},\quad u_{2k}\equiv 2\;[4] \quad\text{et}\quad u_{2k+1}\equiv 0\;[4].}

3. (a) Démontrons par récurrence la propriété ∀n∈ℕ,Pn:« 2un=5 n+2+3 »\forall n\in\mathbb{N},\quad P_n : \text{« } 2u_{n}=5^{\,n+2}+3 \text{ »}

Initialisation : Pour n=0n=0 : 2u0=2×14=282u_{0}=2\times 14=28 et 52+3=25+3=285^{2}+3=25+3=28. Les deux membres coïncident, donc P0P_0 est vraie.

Hérédité : Soit k∈ℕk\in\mathbb{N}. Supposons PkP_k vraie, c'est-à-dire 2uk=5 k+2+32u_{k}=5^{\,k+2}+3. Alors : 2uk+1=2(5uk−6)=5×(2uk)−12=5(5 k+2+3)−12=5 k+3+15−12=5 k+3+32u_{k+1}=2\left(5u_{k}-6\right)=5\times\left(2u_{k}\right)-12 =5\left(5^{\,k+2}+3\right)-12=5^{\,k+3}+15-12=5^{\,k+3}+3 C'est exactement Pk+1P_{k+1}, qui est donc vraie.

Conclusion : Par principe de récurrence : ∀n∈ℕ,2un=5 n+2+3\boxed{\forall n\in\mathbb{N},\quad 2u_{n}=5^{\,n+2}+3}

(b) Il suffit de connaître 5 n+25^{\,n+2} modulo 100100. Or : 52=25,53=125≡25,54=625≡25  [100]5^{2}=25,\qquad 5^{3}=125\equiv 25,\qquad 5^{4}=625\equiv 25\;[100] Plus généralement, si 5m≡25  [100]5^{m}\equiv 25\;[100] pour un m⩾2m\geqslant 2, alors 5m+1=5×5m≡125≡25  [100]5^{m+1}=5\times 5^{m}\equiv 125\equiv 25\;[100] : la propriété se propage. Ainsi 5 n+2≡25  [100]5^{\,n+2}\equiv 25\;[100] pour tout n∈ℕn\in\mathbb{N}, et 2un=5 n+2+3≡25+3=28  [100]⟹2un≡28  [100]2u_{n}=5^{\,n+2}+3\equiv 25+3=28\;[100] \qquad\Longrightarrow\qquad \boxed{2u_{n}\equiv 28\;[100]}

4. De 2un≡28  [100]2u_{n}\equiv 28\;[100], on déduit que 2un−282u_{n}-28 est un multiple de 100100, donc 2un−28=100k  ⟺  un−14=50k(k∈ℤ)2u_{n}-28=100k \iff u_{n}-14=50k \qquad (k\in\mathbb{Z}) Autrement dit un≡14  [50]u_{n}\equiv 14\;[50] : les deux derniers chiffres de unu_{n} valent donc 1414 ou 6464.

Attention : on ne peut pas diviser directement une congruence modulo 100100 par 22 ; le module se divise lui aussi, et l'on obtient une congruence modulo 5050 seulement. C'est précisément pourquoi deux possibilités subsistent.

Pour trancher, on utilise la question 2. Le nombre 1414 est congru à 22 modulo 44, et 6464 est congru à 00 modulo 44 : si n est pair, un≡2  [4] : les deux derniers chiffres sont 14;si n est impair, un≡0  [4] : les deux derniers chiffres sont 64.\boxed{\begin{array}{l} \text{si } n \text{ est pair, } u_{n}\equiv 2\;[4] \text{ : les deux derniers chiffres sont } 14 ; \\[1mm] \text{si } n \text{ est impair, } u_{n}\equiv 0\;[4] \text{ : les deux derniers chiffres sont } 64. \end{array}} La conjecture de la question 1 est donc démontrée.

Dans l'édifice

Thèmes

congruences, chiffres et critères de divisibilité, récurrence, suites

Notions

entiers modulo n (anneau des)

Ouvrir dans l'atlas interactif →