OrkaOrka/Bac/Sciences Mathématiques B
Mathématiques · Bac SMB · Coefficient 9

Arithmétique dans ℤ — Cours Maths Bac SMB

Un chapitre propre aux filières SM : divisibilité et division euclidienne, PGCD et Euclide, Bézout et Gauss, nombres premiers, congruences et petit théorème de Fermat.

Relu par Équipe Orka · 29 août 2026

Dans le programme du Bac SMB

Coefficient 9 en Bac SMB — la matière décisive de la filière, devant la Physique-Chimie et les Sciences de l'Ingénieur (coefficient 7 chacune). Programme SM en 14 chapitres, identique à celui de SMA. L'arithmétique n'existe qu'en SMA/SMB. Elle fait l'objet d'un exercice autonome, indépendant de l'analyse, qui récompense la rigueur du raisonnement.

À l'épreuve

Un exercice progressif : reste d'une puissance modulo n via les congruences, PGCD et coefficients de Bézout par l'algorithme d'Euclide, résolution d'une équation diophantienne ax + by = c, et une divisibilité à démontrer par récurrence ou par congruences.

Objectifs d'apprentissage

  • Poser une division euclidienne et manipuler la relation a = bq + r (0 ≤ r < |b|)
  • Calculer un PGCD par l'algorithme d'Euclide et en déduire des coefficients de Bézout
  • Appliquer le théorème de Gauss : si a | bc et pgcd(a,b) = 1, alors a | c
  • Résoudre une équation diophantienne ax + by = c
  • Calculer avec les congruences et appliquer le petit théorème de Fermat

Notions clés

Division euclidienne et divisibilité

Pour aZa\in\mathbb{Z}, bZb\in\mathbb{Z}^*, il existe un unique couple (q,r)(q,r) avec a=bq+ra=bq+r et 0r<b0\le r<|b|. ba    r=0b\mid a \iff r=0.

PGCD, Euclide, Bézout

\pgcd(a,b)=\pgcd(b,r)\pgcd(a,b)=\pgcd(b,r) (Euclide). Bézout : \pgcd(a,b)=d    (u,v)Z2, au+bv=d\pgcd(a,b)=d \iff \exists\,(u,v)\in\mathbb{Z}^2,\ au+bv=d. En particulier aa et bb sont premiers entre eux     (u,v), au+bv=1\iff \exists\,(u,v),\ au+bv=1.

Gauss et nombres premiers

Gauss : si abca\mid bc et \pgcd(a,b)=1\pgcd(a,b)=1, alors aca\mid c. Tout entier 2\ge 2 se décompose de façon unique en produit de facteurs premiers.

Congruences et Fermat

ab [n]a\equiv b\ [n] signifie nabn\mid a-b ; les congruences se somment, se multiplient, s'élèvent à une puissance. Petit théorème de Fermat : si pp est premier et pap\nmid a, alors ap11 [p]a^{p-1}\equiv 1\ [p].

Erreurs fréquentes

1

Écrire un reste négatif ou ≥ |b| dans une division euclidienne.

2

Appliquer Gauss sans l'hypothèse pgcd(a,b) = 1.

3

Simplifier une congruence par un facteur non premier avec le module.

4

Oublier que le petit théorème de Fermat exige p premier et p ∤ a.

Exemple corrigé

Énoncé

Déterminer \pgcd(1160,420)\pgcd(1160,420) par l'algorithme d'Euclide, puis une relation de Bézout.

Correction

1160=2×420+3201160=2\times 420+320 ; 420=1×320+100420=1\times 320+100 ; 320=3×100+20320=3\times 100+20 ; 100=5×20+0100=5\times 20+0.
Le dernier reste non nul est 2020 : \pgcd(1160,420)=20\pgcd(1160,420)=20.
Remontée : 20=3203×100=3203(420320)=4×3203×42020=320-3\times 100=320-3(420-320)=4\times 320-3\times 420.
=4(11602×420)3×420=4×116011×420=4(1160-2\times 420)-3\times 420=4\times 1160-11\times 420. Ainsi 4×116011×420=204\times 1160-11\times 420=20.

Le cours, puis l'entraînement.

Orka génère des exercices illimités et des examens blancs corrigés sur tout le programme de Mathématiques du Bac SMB, avec un suivi de ta progression chapitre par chapitre.

Continue gratuitement sur Orka

3 exercices pour t'entraîner

Exercice 1

Facile
Déterminer le reste de la division euclidienne de 21002^{100} par 77.
Voir la correction
23=81 [7]2^3=8\equiv 1\ [7]. Or 100=3×33+1100=3\times 33+1, donc 2100=(23)33×2133×2=2 [7]2^{100}=(2^3)^{33}\times 2\equiv 1^{33}\times 2=2\ [7]. Le reste est 22.

Exercice 2

Moyen
Résoudre dans Z2\mathbb{Z}^2 l'équation 7x+5y=17x+5y=1.
Voir la correction
Solution particulière : 7×3+5×(4)=2120=17\times 3+5\times(-4)=21-20=1, donc (3,4)(3,-4). Solution générale : x=3+5kx=3+5k, y=47ky=-4-7k, kZk\in\mathbb{Z} (car 7(x3)=5(y+4)7(x-3)=-5(y+4) et \pgcd(7,5)=1\pgcd(7,5)=1 imposent 5x35\mid x-3).

Exercice 3

Difficile
Montrer que pour tout nNn\in\mathbb{N}, 77 divise 32n+1+2n+23^{2n+1}+2^{n+2}.
Voir la correction
32n+1=3×9n3×2n [7]3^{2n+1}=3\times 9^{n}\equiv 3\times 2^{n}\ [7] (car 929\equiv 2). 2n+2=4×2n2^{n+2}=4\times 2^{n}. Donc 32n+1+2n+23×2n+4×2n=7×2n0 [7]3^{2n+1}+2^{n+2}\equiv 3\times 2^{n}+4\times 2^{n}=7\times 2^{n}\equiv 0\ [7].

Va plus loin sur ce chapitre

Questions fréquentes

Comment calculer des coefficients de Bézout ?

On applique l'algorithme d'Euclide pour obtenir le PGCD, puis on remonte les égalités successives en exprimant chaque reste en fonction des deux nombres de départ.

À quoi sert le théorème de Gauss ?

À « simplifier » une divisibilité : de a | bc et pgcd(a,b) = 1 on tire a | c. C'est l'outil clé pour résoudre les équations diophantiennes et étudier les diviseurs.

Comment trouver le reste d'une grande puissance modulo n ?

On cherche un petit exposant k tel que aᵏ ≡ 1 [n] (petit théorème de Fermat si n est premier), puis on réduit l'exposant modulo k.