ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 7 — PGCD · PGCD et algorithme d'Euclide

Exercice 11

Démonstration

Soit n>5n > 5, on pose : a=n3−n2−12na = n^{3}- n^{2}- 12n et b=2n2−7n−4b = 2n^{2} - 7n - 4.

1. Démontrer que aa et bb sont des entiers naturels divisibles par n−4n - 4.

2. On pose α=2n+1\alpha = 2n + 1 et β=n+3\beta = n + 3. On note d=PGCD(α,β)d = \mathrm{PGCD}(\alpha, \beta).

(a) Démontrer que dd est un diviseur de 55.

(b) Démontrer que α\alpha et β\beta sont multiples de 55 si et seulement si n−2≡0  [5]n - 2 \equiv 0 \;[5].

3. Démontrer que 2n+12n + 1 et nn sont premiers entre eux.

4. (a) Déterminer PGCD(a,b)\mathrm{PGCD}(a, b) en fonction de nn.

(b) Vérifier les résultats obtenus dans les cas particuliers n=11n = 11 et n=12n = 12.

Corrigé

1. On factorise les deux expressions. Pour aa : a=n3−n2−12n=n(n2−n−12)=n(n−4)(n+3)a=n^{3}-n^{2}-12n=n\left(n^{2}-n-12\right)=n(n-4)(n+3) car n2−n−12n^{2}-n-12 a pour racines 44 et −3-3. Pour bb : b=2n2−7n−4=(n−4)(2n+1)b=2n^{2}-7n-4=(n-4)(2n+1) ce que l'on vérifie en développant : (n−4)(2n+1)=2n2+n−8n−4=2n2−7n−4(n-4)(2n+1)=2n^{2}+n-8n-4=2n^{2}-7n-4. a=n(n−4)(n+3);b=(n−4)(2n+1)\boxed{a=n(n-4)(n+3) \qquad ; \qquad b=(n-4)(2n+1)} Comme n>5n>5, les trois facteurs nn, n−4n-4 et n+3n+3 sont des entiers strictement positifs, de même que 2n+12n+1 : a et b sont des entiers naturels divisibles par n−4\boxed{a \text{ et } b \text{ sont des entiers naturels divisibles par } n-4}

2. (a) dd divise α=2n+1\alpha=2n+1 et β=n+3\beta=n+3, donc toute combinaison linéaire : 2β−α=2(n+3)−(2n+1)=2n+6−2n−1=52\beta-\alpha=2(n+3)-(2n+1)=2n+6-2n-1=5

d divise 5, donc d=1 ou d=5\boxed{d \text{ divise } 5, \text{ donc } d=1 \text{ ou } d=5}

(b) Traitons la double implication. D'une part : β≡0  [5]  ⟺  n+3≡0  [5]  ⟺  n≡−3≡2  [5]  ⟺  n−2≡0  [5]\beta\equiv 0\;[5] \iff n+3\equiv 0\;[5] \iff n\equiv -3\equiv 2\;[5] \iff n-2\equiv 0\;[5] D'autre part, si n≡2  [5]n\equiv 2\;[5], alors : α=2n+1≡2×2+1=5≡0  [5]\alpha=2n+1\equiv 2\times 2+1=5\equiv 0\;[5] Réciproquement, si α≡0  [5]\alpha\equiv 0\;[5], alors 2n≡−1≡4  [5]2n\equiv -1\equiv 4\;[5], donc n≡2  [5]n\equiv 2\;[5] en multipliant par 33, inverse de 22 modulo 55. α et β sont multiples de 5  ⟺  n−2≡0  [5]\boxed{\alpha \text{ et } \beta \text{ sont multiples de } 5 \iff n-2\equiv 0\;[5]}

3. 1×(2n+1)−2×n=11\times(2n+1)-2\times n=1 D'après le théorème de Bézout : 2n+1 et n sont premiers entre eux\boxed{2n+1 \text{ et } n \text{ sont premiers entre eux}}

4. (a) Les deux nombres s'écrivent a=(n−4)×n(n+3)a=(n-4)\times n(n+3) et b=(n−4)×(2n+1)b=(n-4)\times(2n+1), donc : PGCD(a,b)=(n−4)×PGCD(n(n+3) , 2n+1)\mathrm{PGCD}(a,b)=(n-4)\times\mathrm{PGCD}\big(n(n+3)\,,\,2n+1\big) Soit δ\delta un diviseur commun positif de n(n+3)n(n+3) et 2n+12n+1. Un diviseur commun de δ\delta et de nn divise 2n+12n+1 et nn, donc 11 d'après la question 3 : δ\delta est premier avec nn. Comme δ\delta divise n(n+3)n(n+3), le théorème de Gauss donne δ∣n+3\delta\mid n+3. Réciproquement, un diviseur commun de n+3n+3 et 2n+12n+1 divise n(n+3)n(n+3). Les deux couples ont donc les mêmes diviseurs communs : PGCD(n(n+3) , 2n+1)=PGCD(n+3 , 2n+1)=d\mathrm{PGCD}\big(n(n+3)\,,\,2n+1\big)=\mathrm{PGCD}(n+3\,,\,2n+1)=d D'après les questions 2a et 2b, dd vaut 55 lorsque n≡2  [5]n\equiv 2\;[5], et 11 sinon. PGCD(a,b)={5(n−4)si n≡2  [5]n−4sinon\boxed{\mathrm{PGCD}(a,b)=\left\{\begin{array}{ll} 5(n-4) & \text{si } n\equiv 2\;[5] \\[1mm] n-4 & \text{sinon} \end{array}\right.}

(b) Pour n=11n=11 : on a 11=5×2+111=5\times 2+1, donc n≢2  [5]n\not\equiv 2\;[5] et le PGCD vaut n−4=7n-4=7. On vérifie : a=11×7×14=1078;b=7×23=161a=11\times 7\times 14=1078 \qquad ; \qquad b=7\times 23=161 et PGCD(1078,161)=7\mathrm{PGCD}(1078,161)=7. Coheˊrent\boxed{\text{Cohérent}}

Pour n=12n=12 : on a 12=5×2+212=5\times 2+2, donc n≡2  [5]n\equiv 2\;[5] et le PGCD vaut 5(n−4)=405(n-4)=40. On vérifie : a=12×8×15=1440;b=8×25=200a=12\times 8\times 15=1440 \qquad ; \qquad b=8\times 25=200 et PGCD(1440,200)=40\mathrm{PGCD}(1440,200)=40. Coheˊrent\boxed{\text{Cohérent}}

Dans l'édifice

Thèmes

pgcd, entiers premiers entre eux, congruences

Notions

PGCD, entiers modulo n (anneau des)

Ouvrir dans l'atlas interactif →