Qui aura 20 en maths ? : tu es en Terminale et tu veux tester ton niveau ? Rendez-vous le 30 janvier 2027 à l’EFREI (Villejuif) 🎁 À la clé : 2 MacBook, 2 iPhone, 2 iPad et 2 paires d’AirPods à gagner
Raisonner avec les entiers : contre-exemple, réciproque, contraposée - Exercice 1
15 min
25
Pour chacune des affirmations suivantes, dire si elle est vraie ou fausse. Justifier : par une démonstration si elle est vraie, par un contre-exemple si elle est fausse.
Question 1
La somme de deux multiples de 7 est un multiple de 7.
Correction
Pour montrer qu'une affirmation est fausse, il suffit de trouver un seul exemple pour lequel elle n'est pas vérifiée : c'est un contre-exemple.
Pour montrer qu'une affirmation est vraie, quelques exemples ne suffisent pas : il faut une démonstration valable dans tous les cas.
Soient x et y deux multiples de 7. On peut alors écrire que x=7k et y=7k′ avec k et k′ des entiers relatifs c'est-à-dire que k∈Z et k′∈Z . Ainsi : x+y=7k+7k′ . On factorise par 7. x+y=7(k+k′) . Or nous savons que k∈Z et k′∈Z donc (k+k′)∈Z . On introduit alors un entier relatif K tel que K=k+k′ . Il en résulte donc que :
x+y=7×K
L'affirmation est vraie : la somme de deux multiples de 7 est un multiple de 7.
Question 2
La somme de deux nombres premiers est toujours paire.
Correction
Pour montrer qu'une affirmation est fausse, il suffit de trouver un seul exemple pour lequel elle n'est pas vérifiée : c'est un contre-exemple.
Pour montrer qu'une affirmation est vraie, quelques exemples ne suffisent pas : il faut une démonstration valable dans tous les cas.
Les nombres 2 et 3 sont premiers, et 2+3=5 est impair.
L'affirmation est fausse : 2 et 3 forment un contre-exemple.
Remarque : la somme de deux nombres premiers impairs est bien paire, mais 2 est un nombre premier pair.
Question 3
Le produit de deux nombres impairs est impair.
Correction
Pour montrer qu'une affirmation est fausse, il suffit de trouver un seul exemple pour lequel elle n'est pas vérifiée : c'est un contre-exemple.
Pour montrer qu'une affirmation est vraie, quelques exemples ne suffisent pas : il faut une démonstration valable dans tous les cas.
Soient n et m deux entiers impairs. On peut alors écrire que n=2k+1 et m=2p+1 avec k∈Z et p∈Z . Ainsi : n×m=(2k+1)(2p+1) n×m=4kp+2k+2p+1 n×m=2×2kp+2k+2p+1 . On factorise par 2. n×m=2(2kp+k+p)+1 . Or nous savons que k∈Z et p∈Z donc (2kp+k+p)∈Z . Il en résulte que 2(2kp+k+p) est pair et comme nous ajoutons 1, n×m est impair.
L'affirmation est vraie.
Question 4
Un nombre divisible par 4 et par 6 est divisible par 24.
Correction
Pour montrer qu'une affirmation est fausse, il suffit de trouver un seul exemple pour lequel elle n'est pas vérifiée : c'est un contre-exemple.
Pour montrer qu'une affirmation est vraie, quelques exemples ne suffisent pas : il faut une démonstration valable dans tous les cas.
Le nombre 12 est divisible par 4 et par 6 : 12=4×3 et 12=6×2 . Mais 12 n'est pas divisible par 24 : 12=24×0+12 , le reste n'est pas nul.
L'affirmation est fausse : 12 est un contre-exemple.
Attention : on ne peut pas multiplier les diviseurs 4 et 6, car ils ont le facteur 2 en commun.
Question 5
Pour tout entier naturel n, le nombre n2+n+41 est premier.
Correction
Pour montrer qu'une affirmation est fausse, il suffit de trouver un seul exemple pour lequel elle n'est pas vérifiée : c'est un contre-exemple.
Pour montrer qu'une affirmation est vraie, quelques exemples ne suffisent pas : il faut une démonstration valable dans tous les cas.
Pour n=0 , n=1 , n=2 , on obtient 41 , 43 et 47 , qui sont premiers. On peut même vérifier que l'on obtient un nombre premier pour chaque entier de 0 à 39 : mais des exemples ne suffisent pas ! Pour n=40 : 402+40+41=1600+40+41=1681 . Or 402+40+41=40×40+40+41=40×41+41=41×41 . Donc 1681=41×41 : il est divisible par 41, il n'est pas premier.
L'affirmation est fausse : n=40 est un contre-exemple.
Signaler une erreur
Aide-nous à améliorer nos contenus en signalant les erreurs ou problèmes que tu penses avoir trouvés.
Connecte-toi ou crée un compte pour signaler une erreur.