Chapitre 1 Methodes Du Raisonnement Mathematique
Chapitre 1 Methodes Du Raisonnement Mathematique
Chapitre 1 Methodes Du Raisonnement Mathematique
Introduction
Les mathématiques sont un langage pour s’exprimer rigoureusement, adapté aux phénomènes complexes, qui rend les
calculs exacts et vérifiables. Le raisonnement est le moyen de valider — ou d’infirmer — une hypothèse et de l’expliquer
à autrui.
1. Généralités
Une assertion (proposition) est une phrase (ou énoncé) soit vraie, soit fausse. On utilise souvent les lettres P, Q…
pour les propositions.
Exemple
Pour tout x ∈ ℝ, x 2 ≥ 0 est une proposition vraie.
Tout triangle est rectangle est une proposition fausse.
1.1 Quantificateurs
Pour é́crire des mathématiques, on utilise souvent les quantificateurs combinés avec les connecteurs
logiques ”et”, ”ou”, ⇒ , ⇔ :
Par exemple, si on veut exprimer que tout entier naturel est soit pair ou impair, on é́crit :
∀n ∈ N, ∃k ∈ N, tel que n = 2k ou ∃kJ ∈ N, tel que n = 2k + 1.
´
2 2 2
∀a ∈ R, ∀b ∈ R, (a + b) = a + 2ab + b .
De même
1
2 Mathématiques 1 Chapitre 1 : Méthodes du raisonnement mathématiques première année TC
(∀x ∈ R, ax + b = 0) ⇔ (a = b = 0)
Quelques exemples :
(∃x ∈ R, ∃y ∈ R, y − x > 0) ⇔ (∃y ∈ R, ∃x ∈ R, y − x > 0)
∃x ∈ R, ∀y ∈ R, y−x>0
∀y ∈ R, ∃x ∈ R, y−x>0
sont différentes. En effet la première est fausse alors que la seconde est vraie.
Exemples
P : ∃x, x est nombre réel, tel que x3 > 27
Q : ∀ x, x un nombre réel, x 2 + 2 > 0
9 est plus grand que 6 est une assertion vraie
x + x = x , x > 0 est une assertion fausse
Pour tout x dans ℝ, on a x 2 ≥ 0 est une assertion vraie
« Le nombre x est impair » n’est pas une assertion puisqu’il est impossible de décider si elle est vrai ou fausse.
(x2 − 1 = 0) ⇒ (x = 1 ou x = −1) est vraie.
Pour x et y dans ℝ, x ∗ y = 0 ⇔ x = 0 ou y = 0 est vraie.
2
3 Mathématiques 1 Chapitre 1 : Méthodes du raisonnement mathématiques première année TC
Définition : On cherche à montrer que l’assertion ‘P implique Q’ est vraie. On suppose que P est vrai, et on veut
montrer qu’alors Q est vrai.
Définition. Soient deux propriétés P et Q. On souhaite montrer que P implique Q. Le raisonnement par contraposée
consiste à prouver que non Q (Q est fausse) implique non P (P est fausse).
Remarque (Non Q) ⇒ (Non P) est appelée la contraposée de P ⇒ Q.
Solution. Nous supposons que n n’est pas pair. Nous voulons montrer que n2 n’est pas pair. Comme n n’est pas
pair, donc il existe k ∈ ℕ et tel que n = 2k + 1. Alors n2 = (2k + 1)2 = 4k2 + 4k + 1 = 2m + 1 avec vm= 2k2 +
2k ∈ ℕ. Et donc n2 est impair.
Conclusion. Nous avons montré que si n est impair alors n2 est impair. Par contraposition ceci est équivalent à : si n2
est pair alors n est pair.
2-3 Raisonnement par l'absurde
Définition. Pour démontrer qu'une proposition (P) est vraie, on suppose qu'elle est fausse et on aboutit à une
contradiction.