Raisonnement par l'absurde : méthode (MPSI)

Pour démontrer une assertion $R$ :

1. annoncer « Supposons par l'absurde que $R$ soit fausse » ;
2. déduire de $\neg R$ une contradiction, c'est-à-dire une assertion de la forme $S\wedge\neg S$ (par exemple $1=0$, ou une fraction à la fois irréductible et simplifiable) ;
3. conclure que $R$ est vraie.

Ce raisonnement est justifié car $(\neg R)\Rightarrow\text{faux}$ n'est vraie que si $\neg R$ est fausse.