Cours 1 · Outils de baseLeçon 4 sur 4
Sujets types — Outils de base
5 h de lecture7 sections Version PDF
Exercices de bac sur la logique, le dénombrement et le barycentre.
Les trois chapitres précédents ne sont pas des sujets d'examen : ce sont des outils. Un énoncé de baccalauréat ne demande jamais « faites une récurrence » ni « calculez un barycentre ». Il pose une question, et c'est à vous de reconnaître lequel des trois outils la résout.
Cette leçon travaille exactement cette reconnaissance. Chaque sujet est donné en entier, puis décortiqué : ce que l'énoncé dit, ce qu'il ne dit pas, et le geste attendu.
Sujet 1 — Une somme à démontrer
Soit la suite définie par pour . Démontrer que pour tout entier , .
Lecture de l'énoncé. Une propriété qui dépend d'un entier , à démontrer pour tout . Il n'y a pas d'autre outil : c'est une récurrence. Le mot n'apparaît pas dans l'énoncé, et il n'apparaîtra jamais.
Initialisation. Pour : et le membre de droite vaut . La propriété est vraie au rang 1. Une ligne, un calcul.
Hérédité. On suppose la propriété vraie à un rang quelconque. Alors
Tout le travail est là : faire apparaître le membre de droite au rang . On factorise par :
ce qui est exactement la propriété au rang .
Dans l'hérédité, on écrit « supposons u_k = (k(k+1)/2)² ». Que suppose-t-on au juste ?
Sujet 2 — Un comité
Un club compte 7 femmes et 5 hommes. On forme un comité de 4 personnes.
- Combien de comités possibles ?
- Combien comportent exactement 2 femmes ?
- Combien comportent au moins une femme ?
Lecture. « Comité » : un ensemble, donc sans ordre. Personne n'y figure deux fois, donc sans remise. Les deux questions du chapitre sont tranchées avant tout calcul — c'est une affaire de combinaisons.
Question 1. Choisir 4 personnes parmi 12 :
Question 2. Le comité se construit en deux temps indépendants : 2 femmes parmi 7, puis 2 hommes parmi 5. Deux choix successifs se multiplient :
Question 3. « Au moins une » : le réflexe du complémentaire. Le contraire de « au moins une femme » est « aucune femme », c'est-à-dire 4 hommes parmi 5, soit comités. Donc .
Traiter la question 3 directement demanderait quatre calculs — exactement 1, 2, 3 ou 4 femmes — et leur somme. Le complémentaire en demande un.
Pourquoi multiplie-t-on C(7,2) par C(5,2) à la question 2, au lieu de les additionner ?
Sujet 3 — Un lieu géométrique
est un triangle. Déterminer l'ensemble des points du plan tels que .
Lecture. Une somme de vecteurs variables, dont on impose la norme. La somme des coefficients vaut : le barycentre existe. C'est le signal.
Réduction. Soit le barycentre de . La propriété fondamentale donne, pour tout point :
La condition devient , c'est-à-dire .
Conclusion. L'ensemble cherché est le cercle de centre et de rayon 3. Une condition portant sur trois points variables est devenue une condition portant sur un seul : c'est tout ce que le barycentre sert à faire.
Il reste à placer , ce que l'énoncé attend explicitement : est le barycentre de affecté de 2 et du milieu de affecté de 2 — par associativité — donc est le milieu de .
Si l'énoncé avait demandé la norme de « MA + MB − 2MC », que faudrait-il faire ?
Vérifier plutôt que croire
Un résultat de dénombrement se contrôle en énumérant sur un petit cas. Si la formule et l'énumération divergent, c'est la formule qui est fausse.
Comptez les comités de 3 personnes parmi 6 comprenant au moins une femme, par énumération puis par formule.
// Une formule de dénombrement se vérifie en énumérant, sur de petits cas. // C'est le seul contrôle honnête : si l'énumération et la formule divergent, // c'est la formule qui est fausse. // Comités de 3 personnes parmi 6, dont AU MOINS une femme. // Les personnes 0, 1, 2 sont des femmes ; 3, 4, 5 des hommes. const PERSONNES = [0, 1, 2, 3, 4, 5]; const EST_FEMME = (p) => p < 3; // 1. Énumération : construire toutes les parties à 3 éléments, puis filtrer. function parEnumeration() { let compte = 0; for (let a = 0; a < 6; a++) for (let b = a + 1; b < 6; b++) for (let c = b + 1; c < 6; c++) { // à compléter : ne compter que si le comité contient une femme } return compte; } // 2. Formule : total − aucun homme… non, total − « aucune femme ». const C = (n, p) => (p === 0 ? 1 : (C(n - 1, p - 1) * n) / p); function parFormule() { return 0; // à corriger : C(6,3) moins les comités sans aucune femme } console.log(parEnumeration(), parFormule()); // les deux doivent donner 19
QCM du bloc
On vient de démontrer « si n² est impair, alors n est impair ». Qu'a-t-on démontré du même coup, sans une ligne de plus ?
Les gestes du bloc
| L'énoncé contient… | L'outil | Le premier geste |
|---|---|---|
| « pour tout entier » | récurrence | vérifier le premier rang |
| « combien de… » | dénombrement | remise ? ordre ? |
| « au moins un… » | complémentaire | compter le contraire |
| une somme de vecteurs | barycentre | somme des coefficients ? |
| « ensemble des points tels que… » | réduction puis lieu connu | ramener à un seul vecteur |
À retenir
Vous avez parcouru les 7 sections.
Marquez-la terminée pour faire avancer votre parcours, ou revenez sur un point avant de passer à la suite.