mathématiques (ECT 1re année) · Chapitre 1 · Exercice
Un contre-exemple, et un seul
Raisonnement, ensembles et applications · Modes de démonstration · niveau 1 (application)
Énoncé
Infirmer : « pour tout réel , ». Combien de contre-exemples faut-il donner ?
Corrigé
Un seul suffit. Prenons : alors , et . La proposition est fausse.
Pourquoi un seul. La proposition commence par « pour tout » ; sa négation est « il existe un réel tel que ». Exhiber un tel , c'est démontrer la négation — donc réfuter l'énoncé. En ajouter d'autres n'ajoute rien.
Où l'énoncé est vrai. On peut vérifier que dès que ou : l'énoncé n'est faux que sur . Mais cela ne le sauve pas : « pour tout » ne souffre aucune exception.
Exercices semblables
- Nécessaire ou suffisant ? corrigé
- Nier une proposition quantifiée corrigé
- Deux démonstrations d'un même énoncé corrigé
- Une récurrence corrigé
- Une récurrence sur une inégalité corrigé