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 77 est un multiple de 77.

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 xx et yy deux multiples de 77. On peut alors écrire que x=7kx=7k et y=7k′y=7k' avec kk et k′k' des entiers relatifs c'est-à-dire que k∈Zk\in \mathbb{Z} et k′∈Zk'\in \mathbb{Z} .
Ainsi :
x+y=7k+7k′x+y={\color{blue}7}k+{\color{blue}7}k' . On factorise par 7{\color{blue}7}.
x+y=7(k+k′)x+y={\color{blue}7}\left(k+k'\right) . Or nous savons que k∈Zk\in \mathbb{Z} et k′∈Zk'\in \mathbb{Z} donc (k+k′)∈Z\left(k+k'\right)\in \mathbb{Z} .
On introduit alors un entier relatif KK tel que K=k+k′K=k+k' . Il en résulte donc que :
x+y=7×Kx+y={\color{blue}7}\times K

L'affirmation est vraie : la somme de deux multiples de 77 est un multiple de 77.
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 22 et 33 sont premiers, et 2+3=52+3=5 est impair.
L'affirmation est fausse : 22 et 33 forment un contre-exemple.

Remarque : la somme de deux nombres premiers impairs est bien paire, mais 22 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 nn et mm deux entiers impairs. On peut alors écrire que n=2k+1n=2k+1 et m=2p+1m=2p+1 avec k∈Zk\in \mathbb{Z} et p∈Zp\in \mathbb{Z} .
Ainsi :
n×m=(2k+1)(2p+1)n\times m=\left(2k+1\right)\left(2p+1\right)
n×m=4kp+2k+2p+1n\times m=4kp+2k+2p+1
n×m=2×2kp+2k+2p+1n\times m={\color{blue}2}\times 2kp+{\color{blue}2}k+{\color{blue}2}p+1 . On factorise par 2{\color{blue}2}.
n×m=2(2kp+k+p)+1n\times m={\color{blue}2}\left(2kp+k+p\right)+1 . Or nous savons que k∈Zk\in \mathbb{Z} et p∈Zp\in \mathbb{Z} donc (2kp+k+p)∈Z\left(2kp+k+p\right)\in \mathbb{Z} .
Il en résulte que 2(2kp+k+p){\color{blue}2}\left(2kp+k+p\right) est pair et comme nous ajoutons 11, n×mn\times m est impair.
L'affirmation est vraie.
Question 4

Un nombre divisible par 44 et par 66 est divisible par 2424.

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 1212 est divisible par 44 et par 66 : 12=4×312=4\times 3 et 12=6×212=6\times 2 .
Mais 1212 n'est pas divisible par 2424 : 12=24×0+1212=24\times 0+12 , le reste n'est pas nul.
L'affirmation est fausse : 1212 est un contre-exemple.

Attention\red{\text{Attention}} : on ne peut pas multiplier les diviseurs 44 et 66, car ils ont le facteur 22 en commun.
Question 5

Pour tout entier naturel nn, le nombre n2+n+41n^{2}+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=0n=0 , n=1n=1 , n=2n=2 , on obtient 4141 , 4343 et 4747 , qui sont premiers. On peut même vérifier que l'on obtient un nombre premier pour chaque entier de 00 à 3939 : mais des exemples ne suffisent pas !
Pour n=40n=40 :
402+40+41=1  600+40+41=1  68140^{2}+40+41=1\;600+40+41=1\;681 .
Or 402+40+41=40×40+40+41=40×41+41=41×4140^{2}+40+41=40\times 40+40+41=40\times 41+41=41\times 41 .
Donc 1  681=41×411\;681=41\times 41 : il est divisible par 4141, il n'est pas premier.
L'affirmation est fausse : n=40n=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.