Comment démontrer une… : En supposant l'hypothèse vraie et en… — ECG1 approfondies | MetMat

Comment démontrer une implication ?

En supposant l'hypothèse vraie et en déduisant la conclusion

Prouver $P \Rightarrow Q$ par raisonnement direct.

Maîtriser

Reconnaître

Résoudre

Que ferais-tu face à un exercice de ce type ?

Soit $n \in \mathbb{Z}$ . Montrer que si $n$ est pair, alors $n^2$ est pair.

L'objectif

Prouver $P \Rightarrow Q$ par raisonnement direct.

Le principe

Par définition, $P \Rightarrow Q$ est vraie si, à chaque fois que $P$ est vraie, $Q$ l'est aussi ; on suppose $P$ et on en déduit $Q$ par une chaîne d'arguments valides.

La méthode

1
Je commence par écrire : « Supposons $P$ . »
2
Je déduis de $P$ , par une suite d'implications justifiées, des propositions intermédiaires.
3
J'obtiens $Q$ et je conclus : « Donc $P \Rightarrow Q$ . »

Pour comprendre, fais des exercices !

Exercice d'exemple

Soit $n \in \mathbb{Z}$ . Montrer que si $n$ est pair, alors $n^2$ est pair.

Étape 1 —

Je commence par écrire : « Supposons

P

. »

Supposons que $n$ soit pair.

Étape 2 —

Je déduis de

P

, par une suite d'implications justifiées, des propositions intermédiaires.

Alors il existe $k \in \mathbb{Z}$ tel que $n = 2k$ , donc $n^2 = (2k)^2 = 4k^2 = 2(2k^2)$ , avec $2k^2 \in \mathbb{Z}$ .

Étape 3 —

J'obtiens

Q

et je conclus : « Donc

P \Rightarrow Q

. »

Donc $n^2$ est pair, ce qui prouve l'implication.

$n$ pair $\Rightarrow n^2$ pair.

Les applications suivantes et la correction guidée sont réservées aux membres Premium

La méthode et sa première application corrigée restent en accès libre. Le Premium débloque les applications suivantes, l'aide IA et le suivi de ta maîtrise.