Comment démontrer une… : En enchaînant des équivalences… — ECG1 approfondies | MetMat

Comment démontrer une équivalence ?

En enchaînant des équivalences successives

Prouver $P \Leftrightarrow Q$ par une chaîne d'équivalences.

Maîtriser

Reconnaître

Résoudre

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

Soit $x \in \mathbb{R}$ . Montrer par équivalences que $x^2 - 5x + 6 \leqslant 0 \Leftrightarrow 2 \leqslant x \leqslant 3$ .

L'objectif

Prouver $P \Leftrightarrow Q$ par une chaîne d'équivalences.

Le principe

Si $P \Leftrightarrow R_1 \Leftrightarrow R_2 \Leftrightarrow \dots \Leftrightarrow Q$ , alors par transitivité $P \Leftrightarrow Q$ ; chaque étape doit être réellement équivalente (pas seulement implicative).

La méthode

1
Je pars de $P$ et je cherche à la transformer en $Q$ par manipulations équivalentes (opérations réversibles, équivalences algébriques justifiées).
2
À chaque étape, je justifie pourquoi la transformation est une équivalence (et non une simple implication).
3
Je conclus : la chaîne $P \Leftrightarrow \dots \Leftrightarrow Q$ prouve $P \Leftrightarrow Q$ .

Pour comprendre, fais des exercices !

Exercice d'exemple

Soit $x \in \mathbb{R}$ . Montrer par équivalences que $x^2 - 5x + 6 \leqslant 0 \Leftrightarrow 2 \leqslant x \leqslant 3$ .

Étape 1 —

Je pars de

P

et je cherche à la transformer en

Q

par manipulations équivalentes (opérations réversibles, équivalences algébriques justifiées).

Je factorise : $x^2 - 5x + 6 = (x-2)(x-3)$ (discriminant $\Delta = 1$ , racines $2$ et $3$ ).

Étape 2 —

À chaque étape, je justifie pourquoi la transformation est une équivalence (et non une simple implication).

Donc $x^2-5x+6 \leqslant 0 \Leftrightarrow (x-2)(x-3)\leqslant 0$ (factorisation, réversible).

Étape 3 —

Je conclus : la chaîne

P \Leftrightarrow \dots \Leftrightarrow Q

prouve

P \Leftrightarrow Q

Un produit de deux facteurs est négatif ou nul si et seulement si les facteurs sont de signes opposés ou l'un est nul : $(x-2)(x-3)\leqslant 0 \Leftrightarrow (x-2\geqslant 0 \text{ et } x-3\leqslant 0)$ ou $(x-2\leqslant 0 \text{ et } x-3\geqslant 0)$ , soit $\Leftrightarrow 2 \leqslant x \leqslant 3$ (l'autre cas est vide). Donc $x^2-5x+6\leqslant 0 \Leftrightarrow 2\leqslant x\leqslant 3$ .

$x^2-5x+6\leqslant 0 \Leftrightarrow 2\leqslant x\leqslant 3$ .

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.