Démonstration et raisonnement

En mathématiques, une démonstration est un processus rigoureux et logique qui établit la vérité d'une affirmation (appelée théorème, propriété ou proposition) à partir d'un ensemble de prémisses ou d'axiomes déjà acceptés comme vrais. Elle assure qu'une proposition est vraie de manière universelle, sans exception.

La nécessité de la preuve en mathématiques est fondamentale. Contrairement à d'autres sciences où l'expérimentation peut suffire, en mathématiques, un grand nombre d'exemples vérifiant une propriété ne suffit pas à prouver sa véracité générale. Par exemple, si vous testez que $n^2 + n + 41$ donne un nombre premier pour $n=0, 1, 2, ..., 39$, cela semble vrai. Mais pour $n=40$, on obtient $40^2 + 40 + 41 = 1600 + 40 + 41 = 1681 = 41^2$, qui n'est pas un nombre premier. Un seul cas suffit à invalider une proposition générale si celle-ci est fausse.

La distinction entre preuve et exemple est cruciale :

• Un exemple illustre une propriété, il montre qu'elle peut être vraie dans un cas particulier. Il ne prouve rien de général.
• Une démonstration garantit que la propriété est vraie dans tous les cas couverts par ses conditions. Elle est une chaîne de déductions logiques irréfutables.

Une proposition (ou assertion) est une phrase déclarative qui peut être vraie (V) ou fausse (F), mais pas les deux à la fois. Exemples :

• "Paris est la capitale de la France." (Vraie)
• "2 + 2 = 5." (Fausse)
• "Quel temps fait-il ?" (N'est pas une proposition)

Les opérateurs logiques (ou connecteurs logiques) permettent de construire de nouvelles propositions à partir de propositions existantes. Les principaux sont :

1. Et (conjonction), noté $\land$ : La proposition "$P \land Q$" est vraie si et seulement si P est vraie ET Q est vraie.

   P	Q	$P \land Q$
   V	V	V
   V	F	F
   F	V	F
   F	F	F

2. Ou (disjonction), noté $\lor$ : La proposition "$P \lor Q$" est vraie si et seulement si P est vraie OU Q est vraie (ou les deux). C'est le "ou" inclusif.

   P	Q	$P \lor Q$
   V	V	V
   V	F	V
   F	V	V
   F	F	F

3. Non (négation), noté $\neg$ : La proposition "$\neg P$" (non P) est vraie si et seulement si P est fausse.

   P	$\neg P$
   V	F
   F	V

Ces tables de vérité sont des outils essentiels pour analyser la valeur de vérité des propositions composées.

1. Implication (si... alors...), notée → : La proposition "$P \Rightarrow Q$" se lit "Si P, alors Q" ou "P implique Q".

   • P est appelée l'hypothèse ou la condition suffisante.

   • Q est appelée la conclusion ou la condition nécessaire. La proposition "$P \Rightarrow Q$" est fausse seulement si P est vraie ET Q est fausse. Dans tous les autres cas, elle est vraie. | P | Q | $P \Rightarrow Q$ | |---|---|-----------------| | V | V | V | | V | F | F | | F | V | V | | F | F | V | Une implication est vraie dès que l'hypothèse est fausse, peu importe la conclusion. Par exemple, "Si je suis un éléphant, alors j'ai des ailes" est une proposition vraie car l'hypothèse ("je suis un éléphant") est fausse.

   • Condition suffisante : Pour que Q soit vraie, il suffit que P soit vraie.

   • Condition nécessaire : Pour que P soit vraie, il est nécessaire que Q soit vraie (si P est vraie, alors Q doit l'être).

2. Équivalence (si et seulement si), notée $\Leftrightarrow$ : La proposition "$P \Leftrightarrow Q$" se lit "P si et seulement si Q" ou "P est équivalent à Q". Elle est vraie si P et Q ont la même valeur de vérité (toutes deux vraies ou toutes deux fausses). |$P \Leftrightarrow Q$ est équivalente à $(P \Rightarrow Q) \land (Q \Rightarrow P)$.

   P	Q	$P \Leftrightarrow Q$
   V	V	V
   V	F	F
   F	V	F
   F	F	V
   L'équivalence signifie que P et Q sont interchangeables du point de vue de leur valeur de vérité.

   • Condition nécessaire et suffisante : P est une condition nécessaire et suffisante pour Q (et vice-versa).

Le raisonnement par déduction est la forme la plus courante de démonstration en mathématiques. Il consiste à partir d'une ou plusieurs propositions considérées comme vraies (les prémisses ou hypothèses) pour en tirer une conclusion logiquement inévitable. La conclusion est garantie d'être vraie si les prémisses sont vraies et que la logique est respectée.

Exemple simple de déduction :

• Prémisse 1 : Tous les hommes sont mortels.
• Prémisse 2 : Socrate est un homme.
• Conclusion : Donc, Socrate est mortel.

En mathématiques, cela se traduit par l'application de définitions, de théorèmes et de propriétés déjà établies. Chaque étape de la déduction doit être justifiée par une règle logique ou un résultat connu.

Pour structurer une démonstration directe, il est essentiel d'appliquer rigoureusement les définitions et de mobiliser les propriétés connues.

1. Application rigoureuse des définitions : Chaque terme mathématique utilisé doit être compris selon sa définition exacte. Par exemple, pour prouver qu'un triangle est équilatéral, il faut montrer que ses trois côtés ont la même longueur (par définition). Pour prouver qu'un nombre est pair, il faut montrer qu'il peut s'écrire sous la forme $2k$ où $k$ est un entier.

2. Mobilisation des propriétés connues : Ce sont les théorèmes, axiomes et lemmes que l'on a déjà prouvés ou qui sont admis. Par exemple, le théorème de Pythagore, les propriétés des fonctions dérivables, les règles de calcul algébrique. Exemple : Pour prouver que deux droites sont parallèles, on peut utiliser la propriété : "Si deux droites sont perpendiculaires à une même troisième droite, alors elles sont parallèles entre elles."

3. Structurer une démonstration directe :

   • Énoncer clairement les hypothèses (ce que l'on sait).
   • Énoncer clairement la conclusion (ce que l'on veut prouver).
   • Établir une suite d'étapes logiques, chacune découlant de la précédente ou d'une propriété connue.
   • Justifier chaque étape : "d'après la définition de...", "selon le théorème de...", "par propriété de...".
   • Conclure en réaffirmant ce qui a été prouvé.

1. Démonstrations en algèbre : Proposition : La somme de deux nombres pairs est un nombre pair.

   • Hypothèse : Soient $a$ et $b$ deux nombres entiers pairs.
   • Ce que l'on veut prouver : $a+b$ est un nombre pair.
   • Démonstration :
     1. Puisque $a$ est un nombre pair, par définition, il existe un entier $k$ tel que $a = 2k$.
     2. Puisque $b$ est un nombre pair, par définition, il existe un entier $m$ tel que $b = 2m$.
     3. Alors, la somme $a+b = 2k + 2m$.
     4. On peut factoriser par 2 : $a+b = 2(k+m)$.
     5. Puisque $k$ et $m$ sont des entiers, leur somme $k+m$ est aussi un entier. Appelons cet entier $K = k+m$.
     6. Donc, $a+b = 2K$.
     7. Par définition, un nombre qui s'écrit sous la forme $2K$ (où $K$ est un entier) est un nombre pair.
     • Conclusion : La somme de deux nombres pairs est un nombre pair.

2. Démonstrations en géométrie : Proposition : Si un triangle est isocèle, alors les angles à la base sont égaux.

   • Hypothèse : Soit un triangle ABC isocèle en A (donc AB = AC).
   • Ce que l'on veut prouver : $\widehat{ABC} = \widehat{ACB}$.
   • Démonstration :
     1. Traçons la bissectrice de l'angle $\widehat{BAC}$ qui coupe le côté BC en H.
     2. Dans les triangles ABH et ACH :
        • AB = AC (par hypothèse, le triangle est isocèle en A).
        • $\widehat{BAH} = \widehat{CAH}$ (par construction, AH est la bissectrice de $\widehat{BAC}$).
        • AH est un côté commun aux deux triangles.
     3. D'après le critère d'égalité des triangles Côté-Angle-Côté (CAC), les triangles ABH et ACH sont égaux.
     4. Puisque les triangles ABH et ACH sont égaux, leurs angles correspondants sont égaux.
     • Conclusion : En particulier, $\widehat{ABH} = \widehat{ACH}$, c'est-à-dire $\widehat{ABC} = \widehat{ACB}$.

Une rédaction claire et structurée est essentielle pour toute démonstration directe. Chaque étape doit être compréhensible et justifiée.

Le raisonnement par contre-exemple est une méthode utilisée pour prouver qu'une proposition générale est fausse. Il ne permet pas de prouver qu'une proposition est vraie, mais il est très efficace pour invalider une affirmation universelle.

Définition du contre-exemple : Un contre-exemple est un cas spécifique qui satisfait les conditions d'une proposition, mais pour lequel la conclusion de cette proposition est fausse. Un seul contre-exemple suffit à réfuter une proposition générale.

Comment invalider une proposition générale : Pour montrer qu'une affirmation du type "Pour tout $x$, la propriété $P(x)$ est vraie" est fausse, il suffit de trouver un $x_0$ tel que $P(x_0)$ soit fausse.

Proposition à réfuter : "Tous les nombres premiers sont impairs."

• Recherche d'un contre-exemple : Les nombres premiers sont 2, 3, 5, 7, 11...
• Contre-exemple trouvé : Le nombre 2 est un nombre premier. Cependant, 2 n'est pas impair (il est pair).
• Conclusion : Puisque nous avons trouvé un nombre premier (2) qui n'est pas impair, la proposition "Tous les nombres premiers sont impairs" est fausse.

Trouver un contre-exemple pertinent : Cela demande souvent une bonne compréhension de la propriété et une exploration des cas limites ou des exceptions potentielles.

Le raisonnement par l'absurde est une technique de démonstration indirecte très puissante. Son principe est simple : pour prouver qu'une proposition P est vraie, on suppose que sa négation ($\neg P$) est vraie, et on montre que cette supposition conduit à une contradiction logique.

Principe du raisonnement par l'absurde :

1. Pour prouver une proposition P.
2. On suppose que P est fausse, c'est-à-dire que $\neg P$ est vraie.
3. On développe une série de déductions logiques à partir de $\neg P$ et des autres hypothèses ou propriétés connues.
4. Ces déductions mènent à une contradiction (par exemple, "A et non A", ou "1 = 0", ou "un nombre est pair et impair à la fois").
5. Puisque la supposition $\neg P$ a conduit à une contradiction (ce qui est impossible en logique), c'est que la supposition était fausse.
6. Par conséquent, $\neg P$ est fausse, ce qui signifie que P est vraie.

• Proposition P : Il n'existe pas de plus grand nombre entier.
• Supposons $\neg P$ : Il existe un plus grand nombre entier. Appelons-le $M$.
• Déductions :
  1. Si $M$ est le plus grand nombre entier, alors pour tout entier $n$, $n \le M$.
  2. Considérons le nombre $M+1$.
  3. $M+1$ est un entier (car la somme de deux entiers est un entier).
  4. De plus, $M+1 > M$.
  5. Cela contredit la supposition que $M$ est le plus grand nombre entier.
• Conclusion : La supposition $\neg P$ mène à une contradiction. Donc, $\neg P$ est fausse, et P est vraie : il n'existe pas de plus grand nombre entier.

1. Démonstration de l'irrationalité de $\sqrt{2}$ :

   • Proposition P : $\sqrt{2}$ est un nombre irrationnel.
   • Supposons $\neg P$ : $\sqrt{2}$ est un nombre rationnel.
   • Déductions :
     1. Si $\sqrt{2}$ est rationnel, alors il peut s'écrire sous la forme $\frac{p}{q}$, où $p$ et $q$ sont des entiers naturels non nuls, et la fraction $\frac{p}{q}$ est irréductible (c'est-à-dire que $p$ et $q$ n'ont pas de facteurs premiers en commun, ou que $p$ et $q$ ne sont pas tous les deux pairs).
     2. $\sqrt{2} = \frac{p}{q} \Rightarrow 2 = \frac{p^2}{q^2} \Rightarrow p^2 = 2q^2$.
     3. Puisque $p^2 = 2q^2$, $p^2$ est un nombre pair.
     4. Si $p^2$ est pair, alors $p$ doit être pair (car le carré d'un nombre impair est impair).
     5. Si $p$ est pair, on peut écrire $p = 2k$ pour un certain entier $k$.
     6. Substituons $p=2k$ dans l'équation $p^2 = 2q^2$ : $(2k)^2 = 2q^2 \Rightarrow 4k^2 = 2q^2 \Rightarrow 2k^2 = q^2$.
     7. Puisque $q^2 = 2k^2$, $q^2$ est un nombre pair.
     8. Si $q^2$ est pair, alors $q$ doit être pair.
     9. Nous avons donc montré que $p$ est pair ET $q$ est pair.
     10. Contradiction : Ceci contredit notre hypothèse de départ que la fraction $\frac{p}{q}$ était irréductible (car si $p$ et $q$ sont tous les deux pairs, la fraction peut être simplifiée par 2).
   • Conclusion : La supposition que $\sqrt{2}$ est rationnel mène à une contradiction. Donc, $\sqrt{2}$ est irrationnel.

2. Preuves d'unicité : Souvent utilisées pour prouver qu'il n'existe qu'un unique objet vérifiant une propriété donnée. On suppose qu'il en existe deux (ou plus) et on montre qu'ils sont en fait identiques, ce qui est une contradiction.

Le raisonnement par l'absurde est pertinent lorsque la négation de la proposition à prouver est plus facile à manipuler ou à explorer que la proposition elle-même. Il est particulièrement utile quand une démonstration directe semble difficile à construire.

Le raisonnement par contraposition est une méthode de démonstration indirecte basée sur une équivalence logique fondamentale.

Définition de la contraposée d'une implication : Pour une implication "$P \Rightarrow Q$" (Si P, alors Q), sa contraposée est l'implication "$\neg Q \Rightarrow \neg P$" (Si non Q, alors non P).

Équivalence entre une implication et sa contraposée : Une implication est logiquement équivalente à sa contraposée. C'est-à-dire que "$P \Rightarrow Q$" est vraie si et seulement si "$\neg Q \Rightarrow \neg P$" est vraie. On peut le vérifier avec une table de vérité :

Quand utiliser la contraposition : Ce raisonnement est très utile lorsque l'hypothèse de la contraposée ($\neg Q$) est plus facile à manipuler ou à utiliser que l'hypothèse originale (P), ou lorsque la conclusion de la contraposée ($\neg P$) est plus facile à déduire. Il est souvent utilisé quand la conclusion Q est une négation ou quand l'hypothèse P est complexe.

• Proposition P : $n^2$ est pair.

• Proposition Q : $n$ est pair.

• L'implication est $P \Rightarrow Q$.

• Contraposée : $\neg Q \Rightarrow \neg P$. C'est-à-dire "Si $n$ n'est pas pair (donc $n$ est impair), alors $n^2$ n'est pas pair (donc $n^2$ est impair)".

• Démonstration par contraposition :

  1. Supposons que $n$ est impair (c'est l'hypothèse $\neg Q$).
  2. Par définition, si $n$ est impair, alors il existe un entier $k$ tel que $n = 2k+1$.
  3. Calculons $n^2$ : $n^2 = (2k+1)^2 = (2k)^2 + 2(2k)(1) + 1^2 = 4k^2 + 4k + 1$.
  4. On peut factoriser par 2 les deux premiers termes : $n^2 = 2(2k^2 + 2k) + 1$.
  5. Posons $K' = 2k^2 + 2k$. $K'$ est un entier.
  6. Donc, $n^2 = 2K' + 1$.
  7. Par définition, un nombre qui s'écrit sous la forme $2K'+1$ est un nombre impair.
  8. Ainsi, $n^2$ est impair (c'est la conclusion $\neg P$).

• Conclusion : Puisque la contraposée "Si $n$ est impair, alors $n^2$ est impair" est vraie, l'implication originale "Si $n^2$ est pair, alors $n$ est pair" est également vraie.

Le raisonnement par disjonction des cas (ou étude de cas) est une méthode de démonstration directe qui s'applique lorsque l'ensemble des situations possibles peut être divisé en un nombre fini de cas distincts et exhaustifs.

Définition de la disjonction des cas : Pour prouver une propriété P, on divise l'ensemble des hypothèses en plusieurs sous-cas. Ces sous-cas doivent être :

• Exhaustifs : Ils doivent couvrir toutes les situations possibles.
• Mutuellement exclusifs (souvent, mais pas obligatoirement) : Un cas ne doit pas chevaucher un autre (bien que parfois un chevauchement soit toléré si la preuve reste valide).

Prouver chaque cas séparément : Pour que la propriété P soit prouvée, il faut la démontrer pour chacun des cas envisagés. Si elle est vraie dans tous les cas, alors elle est vraie en général.

• Cas 1 : $n$ est un nombre pair.
  1. Si $n$ est pair, par définition, il existe un entier $k$ tel que $n = 2k$.
  2. Alors $n(n+1) = 2k(2k+1)$.
  3. Puisque $n(n+1)$ s'écrit sous la forme $2 \times (\text{un entier})$, le produit $n(n+1)$ est pair.
• Cas 2 : $n$ est un nombre impair.
  1. Si $n$ est impair, par définition, il existe un entier $k$ tel que $n = 2k+1$.
  2. Alors $n+1 = (2k+1)+1 = 2k+2 = 2(k+1)$.
  3. Le nombre $n+1$ est donc pair.
  4. Puisque $n+1$ est pair, le produit $n(n+1)$ est le produit d'un nombre impair ($n$) et d'un nombre pair ($n+1$). Le produit d'un nombre pair par n'importe quel entier est toujours pair.
  5. Donc, $n(n+1)$ est pair.
• Conclusion : Dans tous les cas (que $n$ soit pair ou impair, ce qui couvre toutes les possibilités pour un entier), le produit $n(n+1)$ est pair. Donc la propriété est vraie pour tout entier $n$.

Il est fréquent d'utiliser conjointement plusieurs types de raisonnement au cours d'une même démonstration. Le choix de la méthode de raisonnement dépend souvent de la structure de la proposition à prouver et des difficultés rencontrées avec une approche directe.

• Proposition P : $x^2 + x - 2 = 0$.

• Proposition Q : $x \ne 0$.

• On veut prouver $P \Rightarrow Q$.

• Analyse de la structure d'une preuve :

  • Méthode directe : Résoudre l'équation $x^2 + x - 2 = 0$. Les solutions sont $x = 1$ et $x = -2$. Puisque aucune des solutions n'est 0, alors $x \ne 0$. C'est une preuve directe valide.
  • Méthode par contraposition : Prouver $\neg Q \Rightarrow \neg P$.
    • $\neg Q$ : $x = 0$.
    • $\neg P$ : $x^2 + x - 2 \ne 0$.
    • Démonstration : Si $x=0$, alors $x^2+x-2 = 0^2+0-2 = -2$.
    • Puisque $-2 \ne 0$, alors $x^2+x-2 \ne 0$.
    • Donc, si $x=0$, alors $x^2+x-2 \ne 0$. La contraposée est vraie, donc l'implication originale est vraie.
  • Méthode par l'absurde : Supposons $P \land \neg Q$.
    • Supposons que $x^2 + x - 2 = 0$ ET $x=0$.
    • Si $x=0$, alors en substituant dans l'équation : $0^2 + 0 - 2 = 0 \Rightarrow -2 = 0$.
    • Ceci est une contradiction.
    • Donc, la supposition $P \land \neg Q$ est fausse, ce qui signifie que $P \Rightarrow Q$ est vraie.

Dans cet exemple simple, toutes les méthodes fonctionnent bien. Pour des problèmes plus complexes, une méthode sera souvent plus appropriée ou plus simple que les autres. Le choix du raisonnement est une compétence clé en mathématiques.

Le raisonnement par récurrence est une méthode de démonstration utilisée pour prouver qu'une propriété $P(n)$ est vraie pour tous les entiers naturels $n$ à partir d'une certaine valeur $n_0$. Il est particulièrement adapté aux propriétés qui dépendent des entiers naturels.

Définition du raisonnement par récurrence : Il s'apparente à l'idée d'une chaîne de dominos :

• Si le premier domino tombe (initialisation).
• Et si le fait qu'un domino tombe entraîne la chute du suivant (hérédité).
• Alors tous les dominos tomberont (conclusion, la propriété est vraie pour tous les entiers).

Ce raisonnement est basé sur le principe d'induction mathématique.

Pour prouver qu'une propriété $P(n)$ est vraie pour tout entier $n \ge n_0$, on doit suivre trois étapes :

1. Initialisation (cas de base) :

   • Vérifier que la propriété $P(n_0)$ est vraie pour la première valeur $n_0$ (souvent $n_0=0$ ou $n_0=1$).
   • C'est l'équivalent de faire tomber le premier domino.

2. Hérédité (passage de $n$ à $n+1$) :

   • On suppose que la propriété $P(k)$ est vraie pour un entier $k \ge n_0$ quelconque (c'est l'hypothèse de récurrence).
   • On démontre alors que $P(k+1)$ est vraie, en utilisant l'hypothèse de récurrence.
   • C'est l'équivalent de montrer que si un domino tombe, il fait tomber le suivant.

3. Conclusion :

   • Si l'initialisation et l'hérédité sont vérifiées, alors, d'après le principe de récurrence, la propriété $P(n)$ est vraie pour tout entier $n \ge n_0$.
   • Il est impératif de conclure formellement.

1. Sommes de suites arithmétiques/géométriques : Proposition : Pour tout entier naturel $n \ge 1$, la somme des $n$ premiers entiers naturels est donnée par $S_n = 1 + 2 + \dots + n = \frac{n(n+1)}{2}$.

   • Notons $P(n)$ la propriété : $1 + 2 + \dots + n = \frac{n(n+1)}{2}$.
   • Initialisation : Pour $n=1$.
     • $S_1 = 1$.
     • $\frac{1(1+1)}{2} = \frac{1 \times 2}{2} = 1$.
     • Donc $P(1)$ est vraie.
   • Hérédité : Supposons que $P(k)$ est vraie pour un entier $k \ge 1$, c'est-à-dire $1 + 2 + \dots + k = \frac{k(k+1)}{2}$ (hypothèse de récurrence).
     • Montrons que $P(k+1)$ est vraie, c'est-à-dire $1 + 2 + \dots + k + (k+1) = \frac{(k+1)((k+1)+1)}{2} = \frac{(k+1)(k+2)}{2}$.
     • Partons de la somme pour $k+1$ : $S_{k+1} = (1 + 2 + \dots + k) + (k+1)$ En utilisant l'hypothèse de récurrence pour la partie entre parenthèses : $S_{k+1} = \frac{k(k+1)}{2} + (k+1)$ Factorisons par $(k+1)$ : $S_{k+1} = (k+1) \left( \frac{k}{2} + 1 \right)$ $S_{k+1} = (k+1) \left( \frac{k+2}{2} \right)$ $S_{k+1} = \frac{(k+1)(k+2)}{2}$.
     • Donc $P(k+1)$ est vraie.
   • Conclusion : Puisque $P(1)$ est vraie et que l'hérédité est établie, la propriété $P(n)$ est vraie pour tout entier naturel $n \ge 1$.

2. Inégalités : Proposition : Pour tout entier naturel $n \ge 4$, $2^n < n!$ (où $n! = n \times (n-1) \times \dots \times 1$).

   • Notons $P(n)$ la propriété : $2^n < n!$.
   • Initialisation : Pour $n=4$.
     • $2^4 = 16$.
     • $4! = 4 \times 3 \times 2 \times 1 = 24$.
     • On a $16 < 24$, donc $P(4)$ est vraie.
   • Hérédité : Supposons que $P(k)$ est vraie pour un entier $k \ge 4$, c'est-à-dire $2^k < k!$ (hypothèse de récurrence).
     • Montrons que $P(k+1)$ est vraie, c'est-à-dire $2^{k+1} < (k+1)!$.
     • Partons de $2^{k+1}$ : $2^{k+1} = 2 \times 2^k$. D'après l'hypothèse de récurrence, $2^k < k!$. Donc, $2^{k+1} < 2 \times k!$.
     • Nous voulons montrer que $2 \times k! < (k+1)!$. On sait que $(k+1)! = (k+1) \times k!$. L'inégalité $2 \times k! < (k+1) \times k!$ est équivalente à $2 < k+1$. Puisque $k \ge 4$, alors $k+1 \ge 5$. Donc $2 < k+1$ est vraie.
     • En combinant : $2^{k+1} < 2 \times k! < (k+1)!$.
     • Donc $P(k+1)$ est vraie.
   • Conclusion : Puisque $P(4)$ est vraie et que l'hérédité est établie, la propriété $P(n)$ est vraie pour tout entier naturel $n \ge 4$.

1. Oubli de l'initialisation : Sans l'initialisation, la chaîne de dominos ne démarre jamais. La propriété peut être héréditaire mais fausse pour toutes les valeurs. Par exemple, la propriété "tout nombre entier $n$ est pair" est héréditaire (si $k$ est pair, $k+2$ est pair, mais pas $k+1$). L'initialisation est cruciale.

2. Erreur dans l'hérédité : La démonstration de $P(k) \Rightarrow P(k+1)$ doit être rigoureuse. C'est l'étape la plus complexe. Une erreur logique ici invalide toute la récurrence. Il faut s'assurer d'utiliser activement l'hypothèse de récurrence $P(k)$ pour prouver $P(k+1)$.

3. Mauvaise formulation de la propriété $P(n)$ : La propriété doit être une affirmation claire qui dépend de $n$. Parfois, la propriété est mal définie ou trop vague, rendant l'initialisation ou l'hérédité impossible à établir.

4. Hérédité ne démarrant pas à la bonne valeur : L'hérédité doit être prouvée pour $k \ge n_0$. Si elle n'est valable qu'à partir d'une certaine valeur $k_1 > n_0$, alors la récurrence n'est vraie que pour $n \ge k_1$.

Le raisonnement par récurrence est un outil essentiel pour prouver des propriétés sur les entiers naturels et est très utilisé dans de nombreux domaines des mathématiques.