Comment démontrer une proposition par contraposée ou par l'absurde ?

En raisonnant par l'absurde (supposer le contraire et exhiber une contradiction)

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

Montrer par l'absurde que $\sqrt{2}$ est irrationnel.

La méthode

1
Je formule soigneusement la négation de la proposition $P$ à démontrer, et je la pose comme nouvelle hypothèse de travail.
Comment formuler la négation d'une proposition ?Voir
2
Je déroule des déductions à partir de $\neg P$ (en utilisant théorèmes et hypothèses explicitement vérifiées) jusqu'à obtenir une contradiction, c'est-à-dire une proposition fausse.
3
La contradiction prouve que $\neg P$ est fausse, donc $P$ est vraie : je conclus.

Pour comprendre, passons aux exercices.

Exercice d'exemple

Montrer par l'absurde que $\sqrt{2}$ est irrationnel.

1

Je suppose par l'absurde que $\sqrt{2}$ est rationnel : il existe $p, q \in \mathbb{Z}$ avec $q \neq 0$ et $\mathrm{pgcd}(p, q) = 1$ , tels que $\sqrt{2} = \frac{p}{q}$ .

2

En élevant au carré, $2q^2 = p^2$ , donc $p^2$ est pair, donc $p$ est pair (résultat connu). J'écris $p = 2k$ : alors $2q^2 = 4k^2$ , soit $q^2 = 2k^2$ , donc $q^2$ est pair, donc $q$ est pair. Ainsi $2$ divise $p$ et $q$ , ce qui contredit $\mathrm{pgcd}(p, q) = 1$ .

3

La contradiction prouve que l'hypothèse « $\sqrt{2}$ rationnel » est fausse, donc $\sqrt{2}$ est irrationnel.

$\sqrt{2} \notin \mathbb{Q}$ .

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.

Comment montrer qu'une application est injective, surjective ou bijective, et déterminer sa réciproque ?

Comment calculer une somme ou un produit indexé par un ensemble fini ?