Le raisonnement par l'absurde
Pour démontrer qu'une proposition P est vraie, on suppose que la proposition (non P) est vraie − c'est-à-dire que la proposition P est fausse − et on montre alors que cette hypothèse conduit à une contradiction.
Ce type de raisonnements est un des très grands raisonnement mathématiques que tout élève ayant un peu d'ambition mathématique se doit de connaître.