Aller au contenu

L'Établi des Maths Cours

Outils pour apprendre et pratiquer

Véto (BCPST) · Outils · VB-01

Cours et exercices corrigés de prépa BCPST : Logique, raisonnement par récurrence et dénombrement

Connecteurs et quantificateurs, ensembles, raisonnements (contraposée, absurde, récurrence), symboles ∑\sum et ∏\prod, listes, arrangements, combinaisons, formule du binôme.

Objectifs du chapitre

Le cours

1. Connecteurs, quantificateurs et négations

Pour des propositions PP et QQ :

  • non(P et Q)  ⟺  (non P) ou (non Q)\text{non}(P \text{ et } Q) \iff (\text{non } P) \text{ ou } (\text{non } Q) et non(P ou Q)  ⟺  (non P) et (non Q)\text{non}(P \text{ ou } Q) \iff (\text{non } P) \text{ et } (\text{non } Q) ;
  • (P⇒Q)  ⟺  (non P ou Q)(P \Rightarrow Q) \iff (\text{non } P \text{ ou } Q), donc non(P⇒Q)  ⟺  (P et non Q)\text{non}(P \Rightarrow Q) \iff (P \text{ et non } Q) ;
  • la contraposée de P⇒QP \Rightarrow Q est non Q⇒non P\text{non } Q \Rightarrow \text{non } P : elle lui est équivalente.

Négation des quantificateurs : non(∀x∈E, P(x))  ⟺  ∃x∈E, non P(x)\text{non}(\forall x \in E,\ P(x)) \iff \exists x \in E,\ \text{non } P(x) et non(∃x∈E, P(x))  ⟺  ∀x∈E, non P(x)\text{non}(\exists x \in E,\ P(x)) \iff \forall x \in E,\ \text{non } P(x). L'ordre des quantificateurs compte : ∀x ∃y\forall x\ \exists y n'a pas le même sens que ∃y ∀x\exists y\ \forall x.

2. Types de raisonnement

  • Contraposée : pour montrer P⇒QP \Rightarrow Q, on montre non Q⇒non P\text{non } Q \Rightarrow \text{non } P.
  • Absurde : on suppose non P\text{non } P et on aboutit à une contradiction.
  • Analyse-synthèse : on cherche les conditions nécessaires (analyse), puis on vérifie qu'elles conviennent (synthèse).
  • Récurrence simple : si P(n0)P(n_0) est vraie (initialisation) et si, pour tout n≥n0n \geq n_0, P(n)⇒P(n+1)P(n) \Rightarrow P(n+1) (hérédité), alors P(n)P(n) est vraie pour tout n≥n0n \geq n_0.
  • Récurrence double : on initialise P(n0)P(n_0) et P(n0+1)P(n_0+1), puis on montre (P(n) et P(n+1))⇒P(n+2)(P(n) \text{ et } P(n+1)) \Rightarrow P(n+2). Elle sert pour les suites définies par deux termes précédents.

3. Sommes et produits

Sommes de référence, pour n∈N∗n \in \mathbb{N}^{*} :
∑k=1nk=n(n+1)2∑k=1nk2=n(n+1)(2n+1)6∑k=0nqk=1−qn+11−q (q≠1)\sum_{k=1}^{n} k = \frac{n(n+1)}{2} \qquad \sum_{k=1}^{n} k^{2} = \frac{n(n+1)(2n+1)}{6} \qquad \sum_{k=0}^{n} q^{k} = \frac{1 - q^{n+1}}{1 - q} \ (q \neq 1)

  • Changement d'indice : ∑k=1nuk−1=∑j=0n−1uj\sum_{k=1}^{n} u_{k-1} = \sum_{j=0}^{n-1} u_{j}.
  • Télescopage : ∑k=0n(uk+1−uk)=un+1−u0\sum_{k=0}^{n} (u_{k+1} - u_{k}) = u_{n+1} - u_{0}.
  • Produits : n!=∏k=1nkn! = \prod_{k=1}^{n} k avec 0!=10! = 1 ; ∏k=1nakbk=∏ak×∏bk\prod_{k=1}^{n} a_k b_k = \prod a_k \times \prod b_k et ∏k=1nλ=λn\prod_{k=1}^{n} \lambda = \lambda^{n}.

4. Ensembles finis et cardinaux

Pour des ensembles finis AA, BB, EE, FF :

  • card(A∪B)=card(A)+card(B)−card(A∩B)\text{card}(A \cup B) = \text{card}(A) + \text{card}(B) - \text{card}(A \cap B) ;
  • card(E×F)=card(E)×card(F)\text{card}(E \times F) = \text{card}(E) \times \text{card}(F) ;
  • si card(E)=n\text{card}(E) = n, l'ensemble P(E)\mathcal{P}(E) des parties de EE a 2n2^{n} éléments ;
  • si A⊂EA \subset E, card(A‾)=card(E)−card(A)\text{card}(\overline{A}) = \text{card}(E) - \text{card}(A).

Principe : on dénombre souvent le complémentaire (« au moins un » se traite par « aucun »).

5. Listes, arrangements, combinaisons

Soit EE un ensemble à nn éléments et p∈Np \in \mathbb{N}.

  • pp-listes (ordre compté, répétitions permises) : npn^{p}.
  • Arrangements (ordre compté, sans répétition, p≤np \leq n) : n!(n−p)!\dfrac{n!}{(n-p)!} ; en particulier n!n! permutations de EE.
  • Combinaisons (parties à pp éléments, sans ordre) : (np)=n!p! (n−p)!\dbinom{n}{p} = \dfrac{n!}{p!\,(n-p)!} si 0≤p≤n0 \leq p \leq n, et 00 sinon.

Propriétés : (np)=(nn−p)\dbinom{n}{p} = \dbinom{n}{n-p} et, pour 1≤p≤n−11 \leq p \leq n-1, la formule de Pascal (np)=(n−1p−1)+(n−1p)\dbinom{n}{p} = \dbinom{n-1}{p-1} + \dbinom{n-1}{p}.

6. Formule du binôme de Newton

Pour tous réels (ou complexes) aa et bb et tout n∈Nn \in \mathbb{N} :
(a+b)n=∑k=0n(nk)akbn−k(a+b)^{n} = \sum_{k=0}^{n} \binom{n}{k} a^{k} b^{n-k}
La somme comporte n+1n+1 termes. Conséquences : ∑k=0n(nk)=2n\sum_{k=0}^{n} \binom{n}{k} = 2^{n} et, pour n≥1n \geq 1, ∑k=0n(−1)k(nk)=0\sum_{k=0}^{n} (-1)^{k} \binom{n}{k} = 0.
La formule reste valable pour deux matrices carrées AA et BB qui commutent (AB=BAAB = BA).

Méthodes et exemples rédigés

Méthode : Écrire la négation d'une proposition quantifiée

Exemple

Nier la proposition « ∀ε>0, ∃N∈N, ∀n≥N, ∣un−ℓ∣≤ε\forall \varepsilon > 0,\ \exists N \in \mathbb{N},\ \forall n \geq N,\ |u_n - \ell| \leq \varepsilon ».

  1. Étape 1 (Quantificateurs) : on échange chaque ∀\forall et chaque ∃\exists sans changer leur ordre ni les ensembles : ∃ε>0, ∀N∈N, ∃n≥N\exists \varepsilon > 0,\ \forall N \in \mathbb{N},\ \exists n \geq N.

  2. Étape 2 (Propriété finale) : on nie la dernière assertion : ∣un−ℓ∣>ε|u_n - \ell| > \varepsilon.

  3. Étape 3 (Conclure) : ∃ε>0, ∀N∈N, ∃n≥N, ∣un−ℓ∣>ε\exists \varepsilon > 0,\ \forall N \in \mathbb{N},\ \exists n \geq N,\ |u_n - \ell| > \varepsilon, ce qui signifie que (un)(u_n) ne converge pas vers ℓ\ell.

Méthode : Rédiger un raisonnement par récurrence

Exemple

Montrer que, pour tout n∈N∗n \in \mathbb{N}^{*}, ∑k=1nk3=(n(n+1)2)2\sum_{k=1}^{n} k^{3} = \left(\dfrac{n(n+1)}{2}\right)^{2}.

  1. Étape 1 (Énoncer et initialiser) : on note P(n)P(n) l'égalité. Pour n=1n = 1 : 13=11^{3} = 1 et (1×22)2=1\left(\frac{1 \times 2}{2}\right)^{2} = 1, donc P(1)P(1) est vraie.

  2. Étape 2 (Hérédité) : on fixe n≥1n \geq 1 tel que P(n)P(n) soit vraie. Alors ∑k=1n+1k3=n2(n+1)24+(n+1)3=(n+1)2(n2+4n+4)4=((n+1)(n+2)2)2\sum_{k=1}^{n+1} k^{3} = \frac{n^{2}(n+1)^{2}}{4} + (n+1)^{3} = \frac{(n+1)^{2}(n^{2} + 4n + 4)}{4} = \left(\frac{(n+1)(n+2)}{2}\right)^{2}, c'est-à-dire P(n+1)P(n+1).

  3. Étape 3 (Conclure) : par récurrence, P(n)P(n) est vraie pour tout n≥1n \geq 1.

Méthode : Choisir le bon modèle de dénombrement

Exemple

Une animalerie contient 10 souris dont 4 mâles. On en prélève 3 simultanément. Combien de prélèvements contiennent exactement 2 mâles ? au moins un mâle ?

  1. Étape 1 (Modèle) : le prélèvement est simultané, donc sans ordre ni répétition : un prélèvement est une partie à 3 éléments, il y en a (103)=120\binom{10}{3} = 120.

  2. Étape 2 (Principe multiplicatif) : 2 mâles parmi 4 et 1 femelle parmi 6 : (42)×(61)=6×6=36\binom{4}{2} \times \binom{6}{1} = 6 \times 6 = 36 prélèvements.

  3. Étape 3 (Complémentaire) : les prélèvements sans mâle sont au nombre de (63)=20\binom{6}{3} = 20, donc 120−20=100120 - 20 = 100 prélèvements contiennent au moins un mâle.

Pièges fréquents

Questions de révision

Essaie de répondre de tête avant d'afficher la réponse.

Négation de « ∀x∈R, f(x)>0\forall x \in \mathbb{R},\ f(x) > 0 » ?

« ∃x∈R, f(x)≤0\exists x \in \mathbb{R},\ f(x) \leq 0 ».

Contraposée de P⇒QP \Rightarrow Q ?

non Q⇒non P\text{non } Q \Rightarrow \text{non } P (équivalente à P⇒QP \Rightarrow Q).

Nombre d'arrangements de pp éléments parmi nn ?

n!(n−p)!\dfrac{n!}{(n-p)!} (pour p≤np \leq n).

Valeur de ∑k=0n(nk)\sum_{k=0}^{n} \binom{n}{k} ?

2n2^{n} (binôme avec a=b=1a = b = 1).

Valeur de ∑k=1nk\sum_{k=1}^{n} k ?

n(n+1)2\dfrac{n(n+1)}{2}.

Formule de Pascal ?

(np)=(n−1p−1)+(n−1p)\binom{n}{p} = \binom{n-1}{p-1} + \binom{n-1}{p} pour 1≤p≤n−11 \leq p \leq n-1.

Exercices corrigés

Exercice 1 Négation d'une proposition quantifiée

Palier 1 · découverte

Quelle est la négation de la proposition ∀x∈R, ∃y∈R, y>x\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ y > x ?

  1. ∃x∈R, ∀y∈R, y≤x\exists x \in \mathbb{R},\ \forall y \in \mathbb{R},\ y \leq x
  2. ∀x∈R, ∃y∈R, y≤x\forall x \in \mathbb{R},\ \exists y \in \mathbb{R},\ y \leq x
  3. ∃x∈R, ∀y∈R, y<x\exists x \in \mathbb{R},\ \forall y \in \mathbb{R},\ y < x
  4. ∃x∈R, ∃y∈R, y≤x\exists x \in \mathbb{R},\ \exists y \in \mathbb{R},\ y \leq x
Un indice

Pour nier, chaque quantificateur est échangé avec l'autre, puis on nie la propriété finale.

Voir la correction

Bonne réponse : A. ∃x∈R, ∀y∈R, y≤x\exists x \in \mathbb{R},\ \forall y \in \mathbb{R},\ y \leq x

On échange ∀\forall et ∃\exists, puis on nie y>xy > x, ce qui donne y≤xy \leq x.
Négation : ∃x∈R, ∀y∈R, y≤x\exists x \in \mathbb{R},\ \forall y \in \mathbb{R},\ y \leq x (il existe un réel plus grand que tous les réels, ce qui est faux : la proposition de départ est vraie).

Exercice 2 Contraposée

Palier 2 · application

Quelle est la contraposée de l'implication « si n2n^{2} est pair, alors nn est pair » (nn entier) ?

  1. Si nn est impair, alors n2n^{2} est impair
  2. Si nn est pair, alors n2n^{2} est pair
  3. Si n2n^{2} est impair, alors nn est impair
  4. Si nn est impair, alors n2n^{2} est pair
Un indice

La contraposée de « A implique B » est « non B implique non A ».

Voir la correction

Bonne réponse : A. Si nn est impair, alors n2n^{2} est impair

Contraposée de A ⇒ B : non B ⇒ non A.
Avec A : « n2n^{2} pair » et B : « nn pair » : si nn est impair, alors n2n^{2} est impair.
(« Si nn est pair, alors n2n^{2} est pair » est la réciproque, et non la contraposée.)

Exercice 3 Récurrence : où est l'erreur ?

Palier 3 · approfondissement

On « démontre » par récurrence sur n≥1n \geq 1 la propriété P(n)P(n) : « dans tout groupe de nn souris, toutes ont la même couleur de pelage ».
(1) Initialisation : un groupe d'une seule souris convient.
(2) Hérédité : soit un groupe de n+1n + 1 souris. On retire la première : les nn restantes ont la même couleur par hypothèse.
(3) On retire la dernière : les nn premières ont aussi la même couleur.
(4) Les deux sous-groupes ont des souris en commun, donc les n+1n + 1 souris ont la même couleur.
Quelle étape est fausse ?

  1. L'étape (4) : pour n=1n = 1, les deux sous-groupes n'ont aucune souris en commun
  2. L'étape (1) : l'initialisation devrait se faire à n=0n = 0
  3. L'étape (2) : on n'a pas le droit d'appliquer P(n)P(n) à un sous-groupe
  4. L'étape (3) : on ne peut pas retirer deux souris différentes
Un indice

Testez concrètement le passage de 1 souris à 2 souris.

Voir la correction

Bonne réponse : A. L'étape (4) : pour n=1n = 1, les deux sous-groupes n'ont aucune souris en commun

Pour passer de n=1n = 1 à n=2n = 2, les deux sous-groupes sont {souris 2} et {souris 1} : ils sont disjoints, et l'argument de l'étape (4) ne permet pas de relier leurs couleurs.
L'hérédité n'est donc pas valable pour tout n≥1n \geq 1 : l'étape (4) est fausse pour n=1n = 1.

Exercice 4 Une hérédité sans initialisation

Palier 4 · défi

Un étudiant veut montrer que 4n+14^{n} + 1 est divisible par 3 pour tout n∈Nn \in \mathbb{N}. Il prouve : si 4n+1=3k4^{n} + 1 = 3k, alors 4n+1+1=4(4n+1)−3=3(4k−1)4^{n+1} + 1 = 4(4^{n} + 1) - 3 = 3(4k - 1).
Que peut-on conclure ?

  1. L'hérédité est correcte, mais la propriété n'est vraie pour aucun nn : 4n+14^{n} + 1 n'est jamais divisible par 3
  2. La propriété est vraie pour tout nn, puisque l'hérédité est démontrée
  3. L'hérédité est fausse, car −3-3 n'est pas un multiple de 3
  4. La propriété est vraie à partir du rang n=1n = 1
Un indice

Une récurrence exige deux étapes : regardez si la première est satisfaite à un rang quelconque.

Voir la correction

Bonne réponse : A. L'hérédité est correcte, mais la propriété n'est vraie pour aucun nn : 4n+14^{n} + 1 n'est jamais divisible par 3

L'hérédité est juste, mais aucune initialisation n'est possible : 40+1=24^{0} + 1 = 2, 41+1=54^{1} + 1 = 5…
En effet 4≡1(mod3)4 \equiv 1 \pmod 3, donc 4n+1≡2(mod3)4^{n} + 1 \equiv 2 \pmod 3 pour tout nn.
Conclusion : l'hérédité est correcte, mais 4n+14^{n} + 1 n'est jamais divisible par 3. Une hérédité seule ne prouve rien.