Le raisonnement par l'absurde (ou apagogie) est un raisonnement qui permet de démontrer qu'une affirmation est vraie en montrant que son contraire est faux.
Il s'appuie sur la règle logique que : Si "non P" est faux, alors P est vraie.
Pour faire une démonstration par l'absurde, il faut d'abord supposer le contraire de ce qu'il faut démontrer.
Ensuite, il est nécessaire de trouver une façon que cette hypothèse engende une contradiction.
Enfin, il faut expliquer pourquoi il s'agit d'une contradiction.
Cette démarche est celle du raisonnement par l'absurde.
Il semble que le premier rai- sonnement par l'absurde est celui tenu par Hippasus de Metaponte, vers 430 av.
J-C, pour démontrer l'incommensurabilité de la diagonale et du côté du carré.