PGCD et Arithmétique : Cours Complet Terminale Maths
Terminale spécialité maths — divisibilité, algorithme d'Euclide, Bézout, Gauss, congruences
Divisibilité dans ℤ
| Notation | Signification | Exemple |
|---|---|---|
| b | a | b divise a | 3 | 12 car 12 = 4×3 |
| b ∤ a | b ne divise pas a | 5 ∤ 13 car 13 = 2×5 + 3 |
| a ≡ 0 [b] | a est multiple de b | 18 ≡ 0 [6] |
— b | a et b | c ⟹ b | (a + c) et b | (a − c)
— b | a ⟹ b | (ka) pour tout k ∈ ℤ
— a | b et b | a ⟹ a = ±b
— 1 | a pour tout a ; a | 0 pour tout a ; a | a pour tout a
Diviseurs de 12 : ±1, ±2, ±3, ±4, ±6, ±12.
7 | 42 (car 42 = 6×7) ; 7 ∤ 43 (car 43 = 6×7 + 1).
Si 4 | a et 4 | b, alors 4 | (3a − 2b) car 3a − 2b = 3(4k) − 2(4m) = 4(3k−2m).
Division euclidienne
a = b × q + r avec 0 ≤ r < b
b | a ⟺ r = 0 (le reste est nul).
127 ÷ 13 : 127 = 13 × 9 + 10. Quotient = 9, reste = 10.
−47 ÷ 7 : −47 = 7 × (−7) + 2 (car 7×(−7)=−49, et −47−(−49)=2). Quotient = −7, reste = 2.
144 ÷ 12 : 144 = 12 × 12 + 0. Reste = 0 → 12 | 144.
PGCD — définition et propriétés
| Propriété | Formule |
|---|---|
| Commutativité | PGCD(a, b) = PGCD(b, a) |
| PGCD avec 0 | PGCD(a, 0) = |a| |
| PGCD avec 1 | PGCD(a, 1) = 1 |
| Multiples | PGCD(ka, kb) = |k| × PGCD(a, b) |
| Division euclidienne | PGCD(a, b) = PGCD(b, r) où r est le reste de a÷b |
| Lien PPCM | PGCD(a,b) × PPCM(a,b) = |a × b| |
Algorithme d'Euclide
a = b × q₁ + r₁ (0 ≤ r₁ < b)
b = r₁ × q₂ + r₂ (0 ≤ r₂ < r₁)
r₁ = r₂ × q₃ + r₃ (0 ≤ r₃ < r₂)
⋮
r_ = r_ × q_n + 0
→ PGCD(a, b) = r_ (dernier reste non nul)
105 = 42 × 2 + 21
42 = 21 × 2 + 0
Le dernier reste non nul est 21. Donc PGCD(252, 105) = 21.
462 = 147 × 3 + 21
147 = 21 × 7 + 0
PGCD(1071, 462) = 21.
PPCM — Plus Petit Commun Multiple
PPCM(12, 18) : PGCD(12,18) = 6. PPCM = 12×18/6 = 216/6 = 36.
PPCM(252, 105) : PGCD = 21 (calculé ci-dessus). PPCM = 252×105/21 = 26460/21 = 1260.
Application — fractions : Pour calculer 5/12 + 7/18, le dénominateur commun est PPCM(12,18) = 36 :
5/12 + 7/18 = 15/36 + 14/36 = 29/36.
Nombres premiers
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, …
2 est le seul nombre premier pair. Tout entier ≥ 2 est soit premier, soit produit de nombres premiers (décomposition unique en facteurs premiers, théorème fondamental de l'arithmétique).
360 : 360 = 8×45 = 2³×3²×5.
1764 : 1764 = 4×441 = 4×21² = 2²×3²×7² = 2²×3²×7².
PGCD via décomposition : PGCD(360, 1764) = 2²×3² = 36.
PPCM via décomposition : PPCM(360, 1764) = 2³×3²×5×7² = 8×9×5×49 = 17640.
Entiers premiers entre eux
Pour réduire a/b : diviser numérateur et dénominateur par PGCD(a, b).
252/105 : PGCD = 21 → 252/105 = 12/5. PGCD(12,5) = 1 → fraction irréductible.
PGCD(34, 15) :
34 = 15×2 + 4 | 15 = 4×3 + 3 | 4 = 3×1 + 1 | 3 = 1×3 + 0.
PGCD = 1 → 34 et 15 sont premiers entre eux.
Théorème de Bézout
On exprime chaque reste en fonction des précédents (en remontant l'algorithme d'Euclide), jusqu'à exprimer le PGCD en fonction de a et b.
On reprend les calculs d'Euclide et on remonte :
105 = 42×2 + 21 → 21 = 105 − 42×2
Substitution : 21 = 105 − 42×2 = 105 − (252 − 105×2)×2 = 105 − 252×2 + 105×4 = 105×5 − 252×2.
Donc 252×(−2) + 105×5 = 21. Solution : u = −2, v = 5.
15 = 4×3 + 3 → 3 = 15 − 4×3
4 = 3×1 + 1 → 1 = 4 − 3×1
Remontée : 1 = 4 − 3 = 4 − (15−4×3) = 4×4 − 15 = 4×(34−15×2) − 15 = 34×4 − 15×9.
34×4 + 15×(−9) = 1. Solution : u = 4, v = −9.
Théorème de Gauss
— Si p est premier et p | ab, alors p | a ou p | b.
— Si PGCD(a, b) = 1 et a | n et b | n, alors ab | n.
Exemple 1 : 7 | 3n et PGCD(7,3) = 1 → 7 | n.
Exemple 2 : 6 | 35k. PGCD(6,35) = 1 (car 6=2×3 et 35=5×7 → aucun facteur commun) → 6 | k.
Exemple 3 (preuve d'irrationalité) : Montrons que √2 est irrationnel.
Supposons √2 = p/q avec p, q premiers entre eux. Alors p² = 2q² → 2 | p² → 2 | p (théorème de Gauss car 2 premier).
Posons p = 2k : 4k² = 2q² → q² = 2k² → 2 | q. Contradiction avec PGCD(p,q) = 1.
Congruences
Si a ≡ b [n] et c ≡ d [n], alors :
— a + c ≡ b + d [n] (addition)
— a − c ≡ b − d [n] (soustraction)
— a × c ≡ b × d [n] (multiplication)
— aᵏ ≡ bᵏ [n] pour tout k ∈ ℕ (puissance)
Calculer le reste de 2¹⁰⁰ divisé par 7 :
2¹ ≡ 2 [7] ; 2² ≡ 4 [7] ; 2³ ≡ 8 ≡ 1 [7].
Période 3 : 2³ ≡ 1 [7]. 100 = 3×33 + 1 → 2¹⁰⁰ = (2³)³³×2¹ ≡ 1³³×2 ≡ 2 [7].
Critère de divisibilité par 9 :
10 ≡ 1 [9], donc 10ᵏ ≡ 1 [9]. Un entier est divisible par 9 si et seulement si la somme de ses chiffres est divisible par 9.
Derniers chiffres d'une puissance :
Calculer le dernier chiffre de 7⁵⁷. Travailler mod 10.
7¹≡7, 7²≡9, 7³≡3, 7⁴≡1 [10]. Période 4. 57=4×14+1 → 7⁵⁷ ≡ 7¹ ≡ 7 [10].
Équations diophantiennes
1. Vérifier que PGCD(a,b) | c. Si non, pas de solution.
2. Trouver une solution particulière (x₀, y₀) par l'algorithme d'Euclide étendu (Bézout).
3. La solution générale est : x = x₀ + (b/d)t, y = y₀ − (a/d)t, avec t ∈ ℤ et d = PGCD(a,b).
PGCD(34,15) = 1 | 1 → solutions existent.
D'après Bézout (section 8) : 34×4 + 15×(−9) = 1.
Solution particulière : x₀ = 4, y₀ = −9.
Solution générale (d=1) : x = 4 + 15t, y = −9 − 34t, t ∈ ℤ.
Vérification : 34(4+15t) + 15(−9−34t) = 136+510t − 135 − 510t = 1 ✓.
PGCD(6,10) = 2. 2 | 8 → solutions existent.
Diviser par 2 : 3x + 5y = 4.
PGCD(3,5) = 1. Bézout : 3×2 + 5×(−1) = 1 → multiplier par 4 : 3×8 + 5×(−4) = 4.
Solution particulière : x₀ = 8, y₀ = −4.
Solution générale : x = 8 + 5t, y = −4 − 3t, t ∈ ℤ.
Exercices types bac
Montrer que pour tout entier n, PGCD(2n+1, n+1) = 1.
Posons d = PGCD(2n+1, n+1). Alors d | (2n+1) et d | (n+1).
d | (2(n+1) − (2n+1)) = 2n+2−2n−1 = 1.
Donc d | 1, soit d = 1. CQFD.
Déterminer le reste de 3²⁰²⁶ dans la division par 4.
3 ≡ −1 [4] → 3² ≡ 1 [4]. 2026 = 2×1013 → 3²⁰²⁶ = (3²)¹⁰¹³ ≡ 1¹⁰¹³ ≡ 1 [4].
Résoudre 7x + 3y = 1 dans ℤ, puis trouver la solution avec x > 0 minimal.
PGCD(7,3)=1 | 1 → solutions existent.
Par Bézout : 7×1 + 3×(−2) = 7−6 = 1. Solution particulière x₀=1, y₀=−2.
Solution générale : x = 1+3t, y = −2−7t.
x > 0 minimal : t = 0 → x = 1, y = −2.
Sachant que PGCD(n, 6) = 1, montrer que n² ≡ 1 [12].
PGCD(n,6)=1 → PGCD(n,2)=1 et PGCD(n,3)=1 → n est impair et non multiple de 3.
n impair → n = 2k+1 → n² = 4k²+4k+1 = 4k(k+1)+1. k ou k+1 est pair → 8 | 4k(k+1) → n² ≡ 1 [8].
n non multiple de 3 → n ≡ ±1 [3] → n² ≡ 1 [3].
PGCD(8,3)=1 et 8 | (n²−1) et 3 | (n²−1) → 24 | (n²−1) → n² ≡ 1 [24], donc a fortiori n² ≡ 1 [12].
Section 13
Questions fréquentes
🏠 Hub Maths Lycée
🔢 Dénombrement
💠 Complexes
📈 Suites
🎯 Probabilités
📊 Loi normale
📋 Formulaire maths lycée
🏫 Hub Lycée
