Comment montrer qu'une… : En exhibant un contre-exemple — ECG1 approfondies | MetMat

Comment montrer qu'une proposition est fausse (contre-exemple) ?

En exhibant un contre-exemple

Montrer qu'une proposition universelle de la forme $\forall x,\ P(x)$ est fausse.

Maîtriser

Reconnaître

Résoudre

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

Montrer que la proposition « $\forall x \in \mathbb{R},\ x^2 > x$ » est fausse.

L'objectif

Montrer qu'une proposition universelle de la forme $\forall x,\ P(x)$ est fausse.

Le principe

La négation de $\forall x \in E,\ P(x)$ est $\exists x \in E,\ \neg P(x)$ : on exhibe un seul élément $x_0 \in E$ tel que $P(x_0)$ soit fausse.

La méthode

1
J'écris explicitement la négation de la proposition : $\exists x \in E,\ \neg P(x)$ .
Comment écrire la négation d'une proposition mathématique ?Voir
2
Je propose un candidat $x_0 \in E$ simple (nombre particulier, suite stationnaire, fonction constante…).
3
Je vérifie par calcul que $\neg P(x_0)$ est vraie, ce qui réfute la proposition.

Pour comprendre, fais des exercices !

Exercice d'exemple

Montrer que la proposition « $\forall x \in \mathbb{R},\ x^2 > x$ » est fausse.

Étape 1 —

J'écris explicitement la négation de la proposition :

\exists x \in E,\ \neg P(x)

Sa négation est $\exists x \in \mathbb{R},\ x^2 \leqslant x$ .

Étape 2 —

Je propose un candidat

x_0 \in E

simple (nombre particulier, suite stationnaire, fonction constante…).

Je choisis $x_0 = \dfrac{1}{2}$ .

Étape 3 —

Je vérifie par calcul que

\neg P(x_0)

est vraie, ce qui réfute la proposition.

On a $x_0^2 = \dfrac{1}{4}$ et $x_0 = \dfrac{1}{2}$ , donc $x_0^2 < x_0$ : la proposition est réfutée.

Contre-exemple : $x_0 = \dfrac{1}{2}$ .

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.