Raisonnement par l'absurde
Ce raisonnement est basé sur le fait que pour démontrer qu'une proposition
est vraie, on suppose que
est vraie et on en déduit une contradiction.
Exemple :
Soient
. Montrer par l'absurde que :
.
On suppose que (
) et on montre (
).
On a
Contradiction avec (
et
). Donc la proposition
est vraie.
