absurde (démonstration)
Le raisonnement par l'absurde est une technique de preuve en mathématiques très utilisée pour démontrer qu'une affirmation est vraie en montrant qu'assumer le contraire mène à une contradiction ou à une situation absurde.
Pour réaliser un raisonnement par l'absurde :
Supposition du contraire : Commencez par supposer que l'affirmation que vous voulez prouver est fausse.
Développement des conséquences : En partant de cette supposition, développez les conséquences logiques de cette supposition. Continuez à développer votre argumentation en vous basant sur des règles logiques et des propriétés déjà établies.
Trouver une contradiction : Cherchez à atteindre une contradiction ou une conclusion qui est manifestement fausse ou qui contredit une vérité déjà acceptée ou évidente.
Conclusion : Une fois que vous avez atteint une contradiction, vous pouvez conclure que votre supposition initiale (que l'affirmation était fausse) doit être incorrecte. Par conséquent, l'affirmation opposée (l'affirmation que vous vouliez prouver initialement) doit être vraie.
Par exemple, imaginons que vous vouliez prouver que est irrationnel (c'est-à-dire qu'il ne peut pas être exprimé comme le quotient de deux entiers).
Supposition du contraire : Supposons que est rationnel. Cela signifie qu'il existe deux entiers et (avec et et sans facteur commun autre que 1), tels que .
Développement des conséquences : En élevant au carré les deux côtés de l'équation, on obtient ou . Cela indique que est pair (car il est égal à ), donc doit également être pair.
Trouver une contradiction : Si est pair, alors il existe un entier tel que . En substituant dans l'équation , on obtient , donc . Cela montre que est également pair, donc est pair. Cela contredit notre hypothèse initiale que et n'ont pas de facteur commun autre que 1.
Conclusion : Nous avons atteint une contradiction sous l'hypothèse que est rationnel. Par conséquent, doit être irrationnel.