Accueil › 1BAC SM › Devoir surveillé n°3 — Semestre 2
Devoir surveillé n°3 — Semestre 2
Dénombrement et arithmétique dans ℤ
Chargement du PDF…
- 📄 ÉnoncéOuvrir le PDF · Télécharger
- 📄 CorrigéOuvrir le PDF · Télécharger
Remarque — barème
Exercice 1 : 6 pts ; Exercice 2 : 6 pts ; Exercice 3 : 8 pts ; total 20 pts, plus 2 bonus de 0,5 pt (note plafonnée à 20). Résultats contrôlés avec Python/sympy et barème recompté par le script (build/verif_lot3.py).
Remarque — consignes et barème
Durée : 2 heures. Calculatrice non programmable autorisée. Le soin et la rédaction sont pris en compte ; on précisera le type de raisonnement utilisé et on écrira « divise » en toutes lettres. Barème indiqué entre crochets : exercice 1 sur 6 points, exercice 2 sur 6 points, exercice 3 sur 8 points ; total sur 20. Deux questions bonus (+0,5 pt chacune) figurent à la fin ; la note est plafonnée à 20. Programme : chapitres 13 (dénombrement) et 14 (arithmétique dans ).
Exercice 1 — PGCD, PPCM, diviseurs — 6 points Facile ★★☆☆☆
On pose et , et on note , .
- À l’aide de l’algorithme d’Euclide, déterminer . [0,5 pt]
- En déduire . [0,5 pt]
- Décomposer et en produits de facteurs premiers. [1 pt]
- Retrouver et par une autre méthode. [1 pt]
- Déterminer le nombre de diviseurs positifs de et celui de . [0,5 pt]
- a. Montrer que pour tout : . [1 pt] b. En déduire tous les entiers naturels tels que divise . [1,5 pt]
Voir la correction
1. [0,5 pt] ; ; ; ; . Dernier reste non nul : .
2. [0,5 pt] donc .
3. [1 pt] [0,5] ; [0,5].
4. [1 pt] Facteurs communs avec le plus petit exposant : [0,5] ; tous les facteurs avec le plus grand exposant : [0,5].
5. [0,5 pt] : diviseurs ; : diviseurs.
6. a. [1 pt] [0,5], donc (propriété ) [0,5].
6. b. [1,5 pt] divise divise [0,75]. Or , donc , soit [0,5]. Vérification : [0,25].
Exercice 2 — PGCD avec paramètre — 6 points Moyen ★★★☆☆
Soit tel que .
- a. Montrer que . [0,25 pt] b. En déduire que . [0,25 pt]
- On pose , et . a. Calculer et en déduire les valeurs possibles de . [1 pt] b. Montrer que si divise et divise , alors divise . [0,5 pt]
- On pose et . Factoriser et , puis en déduire que divise et divise . [1 pt]
- Soient ; on pose et . a. Vérifier que et . [0,5 pt] b. Montrer que divise . [0,5 pt] c. Montrer que divise . [0,5 pt]
- a. Décomposer en produit de facteurs premiers. [0,25 pt] b. Résoudre dans le système : , d’inconnue . [1,25 pt]
Voir la correction
1. a. [0,25 pt] divise , donc .
1. b. [0,25 pt] (deux entiers consécutifs).
2. a. [1 pt] [0,5]. divise et , donc divise ; est premier, donc [0,5].
2. b. [0,5 pt] Raisonnement direct : divise divise .
3. [1 pt] et [0,5]. Donc et avec , : divise et divise [0,5].
4. a. [0,5 pt] et .
4. b. [0,5 pt] divise et , donc divise et ; il divise donc (un diviseur commun divise le PGCD).
4. c. [0,5 pt] divise et , donc divise et ; il divise donc . (Ainsi , car ce sont deux entiers positifs qui se divisent mutuellement.)
5. a. [0,25 pt] ( et premiers).
5. b. [1,25 pt] Soit . Comme , la 1re équation donne , donc [0,25]. D’après 4., avec , et ; on écrit , avec et , soit [0,5]. De plus (car ), donc et : , d’où , [0,25]. Alors et . Vérification : , , et . [0,25].
Exercice 3 — Congruences et nombres premiers — 8 points Moyen ★★★☆☆
Soit un nombre premier tel que .
- a. Vérifier que . [0,25 pt] b. Justifier que pour tout , il existe tel que ou ou . [0,25 pt]
- En déduire que : a. pour tout : ou ou ; [0,5 pt] b. divise . [0,5 pt]
- a. Montrer que pour tout , divise . [0,5 pt] b. En déduire que divise . [0,5 pt] c. En déduire que n’est pas premier. [0,5 pt]
- Montrer que pour tout , divise . [0,5 pt]
- Déterminer le reste de la division euclidienne de par . [0,5 pt]
- Résoudre dans les équations : et : . [1 pt]
- Soient . Montrer que : a. ( divise et divise ) ; [1 pt] b. divise divise ; [1 pt] c. . [1 pt]
Voir la correction
1. a. [0,25 pt] .
1. b. [0,25 pt] Division euclidienne de par : avec et .
2. a. [0,5 pt] Disjonction de cas : Cas 1 : : . Cas 2 : : . Cas 3 : : .
2. b. [0,5 pt] est premier et , donc ne divise pas : ou . Cas 1 : : . Cas 2 : : . Dans les deux cas divise .
3. a. [0,5 pt] donc et divise .
3. b. [0,5 pt] est premier et , donc impair : avec , et d’après a., divise .
3. c. [0,5 pt] : d’après 2.b et 3.b, divise [0,25]. Comme , il possède le diviseur différent de et de lui-même : il n’est pas premier [0,25].
4. [0,5 pt] : divise .
5. [0,5 pt] ; d’après 4. avec , ; : le reste est .
6. [1 pt] : , et vaut pour : [0,5]. : ; le test des cinq classes donne : [0,5].
7. a. [1 pt] () divise et ; de même ; donc [0,5]. () Si , alors ou , donc et : chacun divise l’autre [0,5].
7. b. [1 pt] et divise [0,5]. Donc , et divise divise [0,5].
7. c. [1 pt] Si ou , c’est immédiat. Sinon on écrit et (mêmes nombres premiers , exposants éventuellement nuls) [0,25]. Alors et [0,25] ; comme , le produit vaut [0,5].
Exercice 4 — Questions bonus (+0,5 pt chacune) Difficile ★★★★★
- Combien d’entiers de l’ensemble sont divisibles par ou par ? [+0,5 pt]
- Montrer que pour tout : . [+0,5 pt]
Voir la correction
1. [+0,5 pt] Soient (multiples de ) et (multiples de ) dans : , ; est l’ensemble des multiples de : . Donc .
2. [+0,5 pt] Soit . divise . Comme divise et divise , divise ; or divise , donc divise : .