Mathématiques · Seconde
Contre-exemple et absurde : quiz de seconde
Publié le 9 novembre 2026 · Mis à jour le 9 novembre 2026 · Signaler une erreur
L'essentiel
- Un contre-exemple unique suffit à montrer qu'une proposition universelle est fausse ; un exemple, même répété, ne la prouve pas.1
- Le raisonnement par l'absurde démontre une proposition en supposant son contraire et en aboutissant à une contradiction.5
- Avant de raisonner, écris correctement la négation de la proposition : c'est elle que tu supposes.
- Un nombre rationnel s'écrit comme quotient de deux entiers ; c'est ce qu'on exploite pour étudier .2
- La contraposée de est ; elle est équivalente à l'implication de départ.5
Avant de commencer
Ce quiz porte sur deux outils de raisonnement que tu rencontres en seconde : le contre-exemple et le raisonnement par l'absurde. Tu y retrouveras aussi des notions vues avant : les quantificateurs, l'implication et la négation d'une phrase.
Chaque question est suivie d'une explication qui dit pourquoi la bonne réponse est juste et pourquoi l'erreur la plus tentante ne l'est pas. Prends le temps de lire les explications même quand tu as juste : elles résument la méthode.
Quiz
14 questions · correction immédiate · ton score reste sur ton appareil.
-
Pour , on a , et n'est pas supérieur à : la proposition est mise en défaut. Pour ou , l'inégalité est vraie (, ), donc ces valeurs sont des exemples qui vérifient la phrase, pas des contre-exemples. Pour , on a : l'inégalité est encore vraie.
-
C'est faux : un exemple ne suffit pas à lui seul à établir une proposition universelle.1 La phrase annonce quelque chose pour tous les cas, et un cas favorable ne dit rien des autres. L'idée tentante « ça marche pour , , , donc ça marche toujours » est justement l'erreur à éviter.
-
C'est vrai : la proposition affirme quelque chose pour tous les cas, donc un seul cas qui échoue la fait tomber.1 On n'a pas besoin d'en trouver plusieurs, contrairement à ce que pensent certains élèves qui cherchent « pour être sûrs » une deuxième valeur.
-
« Tout multiple de 3 est impair » est contredite par 6 ; « Tout nombre premier est impair » est contredite par 2. La phrase « Pour tout réel , » est vraie : on ne peut pas lui trouver de contre-exemple. « Il existe un réel tel que » est existentielle et vraie : la prouve, un exemple suffit ici.
-
On suppose le contraire de ce qu'on veut démontrer : le contraire de « irrationnel » est « rationnel », c'est-à-dire que s'écrit comme un quotient de deux entiers.2 Supposer que est irrationnel reviendrait à admettre ce qu'on veut prouver, ce qui ne mène à aucune contradiction.
-
La contradiction montre que l'hypothèse faite au départ, le contraire de la proposition, est impossible ; la proposition est donc vraie.5 Conclure qu'elle est fausse confond l'hypothèse auxiliaire avec la proposition à démontrer.
-
C'est vrai : si l'on déduit correctement une chose impossible d'une hypothèse, c'est que l'hypothèse ne peut pas être vraie. Attention toutefois : cela suppose que chaque étape de la déduction est juste. Une erreur de calcul peut fabriquer une fausse « contradiction ».
-
Le contraire de « il y a une infinité de nombres premiers » est « il n'y en a qu'un nombre fini », donc on peut les lister tous.4 Les autres hypothèses ne sont pas la négation de la phrase à prouver : par exemple « il existe un plus petit nombre premier » est vrai (c'est 2) et n'amène aucune contradiction.
-
La contraposée de est .5 Ici, non( pair) est « impair » et non( pair) est « impair » : on obtient « si est impair, alors est impair ». La première proposition est la réciproque ; la deuxième remplace P et Q par leurs négations sans les échanger ; la quatrième est fausse. Aucune de ces trois formes n'est logiquement équivalente à l'implication de départ.
-
La négation d'un « pour tout » est un « il existe » : il suffit d'un élève qui ne vérifie pas la propriété, donc qui a 15 ans ou moins. Dire « aucun n'a plus de 15 ans » est trop fort, car il suffit qu'un seul élève fasse échouer la phrase de départ.
-
On divise les deux membres par 3 : . Comme et sont des entiers et que , ce nombre est rationnel, ce qui contredit l'irrationalité de . L'hypothèse de départ est donc fausse. Écrire revient à multiplier par 3 au lieu de diviser.
-
Pour : . Or , donc ce nombre n'est pas premier : est un contre-exemple. L'élève aurait pu vérifier de nombreuses petites valeurs sans jamais voir le problème, ce qui illustre pourquoi des exemples qui marchent ne prouvent pas une proposition universelle.
-
Un nombre rationnel est un quotient de deux entiers, le dénominateur étant non nul.2 Ici . La virgule n'est pas un obstacle, et le quotient n'a pas à être un entier. Aucun raisonnement par l'absurde n'est nécessaire : on exhibe directement l'écriture fractionnaire.
-
La phrase est universelle ; le cheval bon marché est un cas précis qui la met en défaut : c'est donc un contre-exemple. Ce n'est pas une démonstration directe, puisqu'on ne prouve pas la phrase mais on la réfute. La récurrence n'a rien à voir ici, et vérifier des cas qui marchent n'apporterait aucune preuve.
Les questions qu'on se pose
Quelle différence entre un contre-exemple et un raisonnement par l'absurde ?
Comment savoir si je dois chercher un contre-exemple ou démontrer ?
Teste d'abord quelques valeurs. Si l'une d'elles ne marche pas, tu as ton contre-exemple et la proposition est fausse. Si tout marche, rien n'est prouvé : il faut une démonstration, et le raisonnement par l'absurde est souvent un bon choix quand la proposition affirme une impossibilité, comme « n'est pas rationnel ».
Que faire quand je ne sais pas écrire la négation de ma proposition ?
Repère les quantificateurs : la négation de « pour tout » devient « il existe… qui ne vérifie pas », et celle de « il existe » devient « pour tout… ne vérifie pas ». Pour une implication, la négation est « la condition est vraie et la conclusion est fausse ». Écris-la toujours en phrase complète avant de commencer ton raisonnement.
Sources
- Difficultés liées au langage mathématique - Vocabulaire ensembliste et logique, Éduscol. Consulté le 9 novembre 2026.
- Intentions majeures - Raisonnements mathématiques, Éduscol. Consulté le 9 novembre 2026.
- Autour de √2 : promenade historique - Raisonnement par l'absurde, Sésamath. Consulté le 9 novembre 2026.
- Langage et raisonnement - Démonstration en arithmétique, Université de Rennes. Consulté le 9 novembre 2026.
- Raisonnement par l'absurde, Wikipédia. Consulté le 9 novembre 2026.
- Humour absurde, Wikipédia. Consulté le 9 novembre 2026.
Les numéros dans le texte renvoient à ces sources. Une source qui ne dit pas ce qu'on lui fait dire ? Signale-le.