On s'intéresse à deux propositions \text{A} et \text{B} et on veut démontrer que \text{A} implique \text{B} (autrement dit, si \text{A} est vraie, alors \text{B} l'est aussi).
Le raisonnement par l'absurde consiste à supposer que \text{A} est vraie et que \text{B} est fausse. On aboutit alors à une contradiction, ce qui entraîne que \text{B} doit être nécessairement vraie.

Lorsque \mathrm{A} \Rightarrow \mathrm{B}, on dit que \text{B} est une condition nécessaire à \text{A}.

On souhaite démontrer que \sqrt{2} est irrationnel. Pour cela, on suppose qu'il est rationnel et on aboutit à une contradiction. (Voir exercice

33

)

L'implication est cachée ici. On peut reformuler la proposition ainsi : « Soit x un réel positif. Si x^2 = 2, alors x est irrationnel. »

Raisonnons par l'absurde et supposons que \frac{1}{3} est décimal.
Il existe alors un entier relatif a et un entier relatif b tels que \frac{1}{3}=\frac{a}{10^{b}}.
Ainsi, 3 \times a=10^{b}, ce qui signifie que 10^b est un multiple de 3 : la somme de ses chiffres doit donc être divisible par 3, ce qui est absurde. En effet, la somme des chiffres de 10^b est toujours égale à 1 et n'est donc pas divisible par 3.
L'hypothèse « \frac{1}{3} est décimal. » est donc fausse et ainsi \frac{1}{3} n'est pas décimal.

• On suppose que le contraire de la conclusion est vrai.
• On aboutit à une contradiction.
• On en déduit que notre hypothèse de départ est fausse.
• On conclut donc que la proposition de départ est vraie.

29

On considère deux réels positifs x et y. On souhaite montrer par l'absurde la proposition :
« Si \frac{x}{1+y}=\frac{y}{1+x}, alors x=y. »

1. Pour raisonner par l'absurde, quelles hypothèses doit‑on faire ?

2. Montrer alors que x^{2}-y^{2}=-(x-y).

3. En déduire que x + y = -1. Est‑ce possible ?

4. Conclure.

30

Soit n un entier naturel non nul. Montrer que si n n'est pas premier, alors n admet un diviseur inférieur ou égal à \sqrt{n}.

31

Montrer que la somme d'un nombre rationnel et d'un nombre irrationnel est un nombre irrationnel.

32

Soit n un entier naturel. Montrer que si l'on range n + 1 paires de chaussettes dans n tiroirs, alors il y aura forcément au moins un tiroir comportant au moins deux paires de chaussettes.