ExerciceMaths approfondies, chapitre 1 — Ensembles et logique · Modes de raisonnement
Exercice 10
Chacune des propositions suivantes est fausse. Le démontrer en exhibant un contre-exemple.
1. Tout entier naturel est la somme des carrés de deux entiers naturels.
2. Pour tous réels et , .
3. Pour tout réel , .
4. Si un entier est divisible par et par , alors il est divisible par .
5. Pour tous réels et , .
6. Tout nombre premier est impair.
7. Pour tout entier naturel , est un nombre premier.
Corrigé
1. Les carrés d'entiers naturels inférieurs à sont et , et les sommes possibles sont , et . Prenons :
2. Prenons :
3. Prenons : on a , qui n'est pas strictement supérieur à .
4. Prenons : il est divisible par et par , mais n'est pas un multiple de .
5. Prenons et :
6. Le plus petit nombre premier est pair :
7. Prenons :
Cet exemple mérite d'être médité : est premier pour toutes les valeurs de de à . Quarante-et-un exemples successifs ne démontrent rien, alors qu'un seul contre-exemple suffit à conclure — c'est exactement l'asymétrie signalée par le cours.