ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 7 — PGCD · Approfondissements

Exercice 28

DémonstrationCalcul

Soit (un)(u_{n}) la suite définie sur ℕ\mathbb{N} par : {u0=0un+1=4un+1\left\{ \begin{array}{ll} u_{0} = 0 \\ u_{n+1} = 4u_{n} + 1 \end{array} \right.

1. (a) Calculer u1u_{1}, u2u_{2} et u3u_{3}.

(b) Montrer que pour n∈ℕn\in\mathbb{N}, un+1u_{n+1} et unu_{n} sont premiers entre eux.

2. On pose pour n∈ℕn\in\mathbb{N} : vn=un+13v_{n} = u_{n} +\dfrac{1}{3}

(a) Montrer que (vn)(v_{n}) est une suite géométrique.

(b) En déduire l’expression de vnv_{n} puis celle de unu_{n} en fonction de nn.

3. Calculer PGCD(4n+1−1,4n−1)\mathrm{PGCD}(4^{n+1}- 1 , 4^{n} - 1).

Corrigé

1. (a) u1=4×0+1=1;u2=4×1+1=5;u3=4×5+1=21u_{1}=4\times 0+1=\boxed{1} \quad ; \quad u_{2}=4\times 1+1=\boxed{5} \quad ; \quad u_{3}=4\times 5+1=\boxed{21}

(b) Soit n∈ℕn\in\mathbb{N}. La relation de récurrence s'écrit : un+1−4un=1c’est-aˋ-dire1×un+1+(−4)×un=1u_{n+1}-4u_{n}=1 \qquad \text{c'est-à-dire} \qquad 1\times u_{n+1}+(-4)\times u_{n}=1 C'est une combinaison linéaire de un+1u_{n+1} et unu_{n} à coefficients entiers, égale à 11. D'après le théorème de Bézout : un+1 et un sont premiers entre eux\boxed{u_{n+1} \text{ et } u_{n} \text{ sont premiers entre eux}}

2. (a) Pour tout n∈ℕn\in\mathbb{N} : vn+1=un+1+13=4un+1+13=4un+43=4(un+13)=4vn\begin{aligned} v_{n+1} &= u_{n+1}+\frac{1}{3}=4u_{n}+1+\frac{1}{3}=4u_{n}+\frac{4}{3} \\ &= 4\left(u_{n}+\frac{1}{3}\right)=4v_{n} \end{aligned}

(vn) est geˊomeˊtrique de raison 4 et de premier terme v0=13\boxed{(v_{n}) \text{ est géométrique de raison } 4 \text{ et de premier terme } v_{0}=\frac{1}{3}}

(b) On en déduit vn=13×4nv_{n}=\dfrac{1}{3}\times 4^{n}, puis : un=vn−13=4n3−13u_{n}=v_{n}-\frac{1}{3}=\frac{4^{n}}{3}-\frac{1}{3}

un=4n−13\boxed{u_{n}=\frac{4^{n}-1}{3}} Vérification : u3=64−13=21u_{3}=\dfrac{64-1}{3}=21.

3. L'expression précédente donne 4n−1=3un4^{n}-1=3u_{n} et 4n+1−1=3un+14^{n+1}-1=3u_{n+1}. Or le PGCD est compatible avec la multiplication par un entier positif : PGCD(4n+1−1 , 4n−1)=PGCD(3un+1 , 3un)=3×PGCD(un+1,un)\mathrm{PGCD}\left(4^{n+1}-1\,,\,4^{n}-1\right) =\mathrm{PGCD}\left(3u_{n+1}\,,\,3u_{n}\right) =3\times\mathrm{PGCD}(u_{n+1},u_{n}) Or la question 1b a établi que PGCD(un+1,un)=1\mathrm{PGCD}(u_{n+1},u_{n})=1 : PGCD(4n+1−1 , 4n−1)=3\boxed{\mathrm{PGCD}\left(4^{n+1}-1\,,\,4^{n}-1\right)=3} Vérification pour n=2n=2 : PGCD(63,15)=3\mathrm{PGCD}(63,15)=3.

Dans l'édifice

Thèmes

pgcd, entiers premiers entre eux, suites

Notions

PGCD

Ouvrir dans l'atlas interactif →