Thème : Arithmétique

Thème : Arithmétique
L'exercice
On appelle diviseur propre d'un entier naturel non nul n, tout diviseur de n qui soit positif et distinct
de n. Tout entier naturel non nul égal à la somme de ses diviseurs propres est dit nombre parfait.
Exemple : 6 est un nombre parfait car il est égal à la somme de ses diviseurs propres soit 1, 2 et 3.
1. Établir la liste des diviseurs de 28 et 496 et montrer que ce sont deux nombres parfaits.
2. Vérifier que 28 et 496 sont de la forme
2n2n1−1
avec
n∈ℕ∖{0}
premier.
3. Démontrer que pour tout
n∈ℕ∖{0}
, si
2n1−1
est premier alors
2n2n1−1
est
parfait.
4. Illustrer par un exemple le fait que si
2n1−1
n'est pas premier alors
2n2n1−1
n'est
pas parfait.
Extrait du BO de terminale scientifique spécialité présentant l'arithmétique.
Le travail à exposer devant le jury
1- Indiquer les compétences, les méthodes et les savoirs mis en jeu dans l'exercice.
2- Rédiger la réponse à la question 3.
3- Proposer plusieurs exercices sur le thème « Arithmétique ».
Introduction
L'exercice qui m'ait proposé porte sur le thème de l'arithmétique. Ce thème est abordé très
tôt dans la scolarité, dès la primaire, où les élèves apprennent à manier les nombres naturels et les
fractions (positives), à effectuer diverses opérations dessus et découvrent quelques propriétés dessus
(par exemple : un critère de divisibilité par 5).
Puis au collège, ils voient entre autres la notion de nombres relatifs, en troisième les notions de
diviseurs communs à deux entiers, de PGCD et l'algorithme d'Euclide (l'un des premiers algorithme
qu'ils découvrent), qui entraine la définition de deux entier premiers entre eux et de fractions
irréductibles.
En terminale scientifique spécialité, ils élargissent leur vision de la division euclidienne, de la
divisibilité et du PGCD à l'ensemble des entiers relatifs. Ils découvrent le PPCM, les congruences, et
divers propriétés liées aux nombres premiers telle l'unicité de la décomposition en produit de facteurs
premiers.
L'arithmétique est très usitée de nos jours dans le milieu informatique, plus précisément la
cryptographie. Elle sert également dans la vie courante à formuler des problèmes ouverts avec une
grande facilité de mots et notation.
L'exercice qui m'est proposé s'adresse à des élèves de terminale scientifique spécialité, il
aborde une notion que les élèves ne connaissent pas : celle de nombres parfaits.
Un nombre est dit parfait s'il est égal à la somme de diviseurs propres ( diviseurs positifs et
différents du nombre étudié). Cet exercice parle des nombres d'Euclide, c'est-à-dire de la forme
2n2n1−1
. Remarquons que la question 4 est la réciproque par contraposée du résultat de la
question 3.
Pour commencer, je parlerais d'abord des savoirs, compétences et méthodes mis en jeu dans
cet exercice, puis de je rédigerai la réponse à la question 3 de l'exercice, enfin je présenterai trois
exercices portant sur le thème arithmétique.

Savoirs, compétences et méthodes mis en jeu dans l'exercice
Les savoirs :
-Somme des n premiers des termes d'une suite géométrique de premier terme
u0
et
de raison a :
∑
i=0
n
u0×ai=u0
1−an1
1−a
.
-Notions de nombres premiers.
-Notion de diviseurs.
-Unicité de la décomposition d'un nombre N en produit de facteurs premiers :
N=p1
1×...×pk k
où les
pi
sont des nombres premiers deux à deux distincts, les
i∈ℕ*
et
k∈ℕ*
.
Il y a
11×…×k1
diviseurs de N. Ils sont de la forme
p1
1×...×pk k
avec
i∈ℕ
.
Les compétences :
-Établir la liste des diviseurs premiers d'un entier N.
Méthode : -Décomposer N en produit de facteurs premiers.
-Utiliser les
11×…×k1
combinaisons possibles des
i
pour obtenir
tous les diviseurs de N.
-Démontrer une implication.
Méthode : -Raisonnement direct ou par contraposée.
- Fournir un contre exemple.
-Reconnaître une décomposition en produits de facteurs premiers.
Méthode : -Regarder les diviseurs du nombres.

Rédaction de la question 3
Montrons :
∀n∈ℕ*, si 2n1−1est premier ⇒2n2n1−1est parfait
Si
2n1−1
est premier alors la décomposition du nombre N égal à
2n2n1−1
en produit de
facteurs premiers est
2n2n1−1
.
D'où ses diviseurs positifs :1, 2,...,
2n
,
2n1−1
,
22n1−1
,...,
2n2n1−1
.
Hormis
2n2n1−1
, ce sont les diviseurs propres de N.
Soit S, la somme des diviseurs propres de N.
S=12...2n2n1−122n1−1...2n−12n1−1
S=∑
i=0
n
2i2n1−1∑
i=0
n−1
2i
S=1−2n1
1−22n1−11−2n 1−2
S=2n1−1 2n1−12n−1
S=12n−12n1−1=2n2n1−1= N
Donc on a :
∀n∈ℕ*, si 2n1−1est premier ⇒2n2n1−1est parfait

Exercices
Présentation des exercices
Extrait du BO : « L'arithmétique est [...]un domaine au matériau élémentaire et accessible conduisant à
des raisonnements intéressants et formateurs ». Les exercices qui suivent illustrent bien ce propos, vu
que divers raisonnements sont mis en œuvre pour les résoudre. Chaque exercice traite une notion
différente vu en terminale scientifique spécialité et nécessite une grande autonomie de l'élève dans
leur résolution.
Exercice 1
( Décomposition en produit de facteurs premiers ; raisonnement par analyse-synthèse)
Soit n, un nombre entier naturel, dont l'écriture décimale nécessite trois chiffres.
En l'additionnant aux deux entiers qui l’encadrent, on obtient un carré parfait.
Et en l’additionnant aux quatre entiers qui l’encadrent, on obtient un cube parfait.
Déterminer n.
Résolution :
Traduisons l'énoncé, on a : -
n=n2n1n0
avec
n2≠0
-
∃x∈ℕ:n−1nn1=3n=x2
-
∃y∈ℕ* :n−2 n−1nn1 n2=5n=y3
Décomposons x et y en produit de facteurs premiers :
-
x=x1
1×...×xk k
⇒
x2=x1
21×...×xk 2k
-
y=y1
1×...×yl l
⇒
y3=y1
31×...×yl 3l
On a donc : -
n=n2n1n0
-
3n=x2
⇒
-3| x car 3 est premier
⇒
n=32i1q
où PGCD(3, q) = 1
-
5n=y3
⇒
-5|y car 5 est premier
⇒
n=53j2q '
où PGCD(5, q') = 1
Donc n est de la forme
n=32i1×53j2q ' '
où
PGCD3, q ' ' =PGCD5, q ' ' =1.
De plus,
3n=x2
⇒
3j+2 est pair. Pour j = 1, on a
551000
donc j=0.
5n=y3
⇒
2i +1 est un multiple de 3. Pour i = 2, on a
351000
donc
0i2
donc i =1
Et tous les autres nombres premiers composant n sont des multiples de 6, sachant que n est composé
au minimum de
33×52=675
En prenant 2, le plus petit facteur premier possible, on remarque que
2×675=13501000
, donc il n'y a pas d'autres facteurs premiers entrant dans la décomposition de
n. Donc n = 675
Vérifions pour finir que n vérifie bien les trois propriétés initiales :
-n possède bien trois digits.
-
3n=34×52=32×52=452
.
-
5n=33×53=3×53=153
.

Exercice 2
(Congruence, divisibilité ; raisonnement par disjonction des cas, raisonnement par l'absurde)
1) En examinant les différentes valeurs de
x3
modulo 9 suivant les valeurs de l'entier x, démontrer les
trois équivalences suivantes :
x3≡0[9]⇔ x≡0[3]
x3≡1[9]⇔ x≡1[3]
x3≡−1[9]⇔ x≡−1[3]
2) En déduire que, pour tout x, y, z relatifs, si 9 divise
x3y3z3
, alors 3 divise l'un au moins des
entiers x, y ou z. La réciproque est-elle vraie??
3) Application
Un enfant dispose de 36 cubes identiques en bois que nous appellerons cubes unités. Il les dispose de
manière à construire trois cubes côte à côte. Tous les cubes unités sont utilisés. A l'aide des questions
précédentes, déterminer le nombre de cubes unités dans chacun des trois cubes formés.
Résolution :
1) Tout entier relatif est congru modulo 9 à un unique entier de l'ensemble {0, 1, 2, 3, 4, 5, 6, 7, 8}.
x[9]
012345678
x2[9]
014077041
x3[9]
0 1 -1 0 1 -1 0 1 -1
D'où
x3≡0[9]⇔ x≡0[9]ou x≡3[9]ou x≡6[9]⇔ x≡0[3]
x3≡1[9]⇔ x≡1[9]ou x≡4[9]ou x≡7[9]⇔ x≡1[3]
x3≡−1[9]⇔ x≡2[9]ou x≡5[9]ou x≡8[9]⇔ x≡−1[3]
On a ainsi démontrer les équivalences demandées.
2) Soit
x , y , z ∈ℤ3
tel que
9 | x3y3z3
.
Raisonnons par l'absurde : supposons que 3 ne divise aucun de ces 3 entiers. Alors
x3
,
y3
et
z3
sont
congrus à 1 ou -1 modulo 9. Par disjonction des cas, on a :
x3y3z3≡±3[9]
ou
x3y3z3≡±1[9]
Donc 9 ne divise pas
x3y3z3
. Il y a donc contradiction. Donc 3 divise au moins l'un des trois
entiers.
La réciproque est fausse. Montrons ceci à l'aide d'un contre-exemple.
Prenons
x
= 3 et y = z = 2, on a bien 3 |
x
, mais 9 ne divise pas
x3y3z3=2788=43.
3) Les cubes construits contiennent un nombre entier non nul de cubes unités.
Soit
n∈ℕ
, désignant la longueur d'un côté composé de de n cubes unités. On a donc besoin de
n3
cubes unités pour construire un cube.
Soient x, y et z les mesures du coté de chacun des 3 cubes construis. On a donc
x , y , z ∈ℕ*3
.
De plus tous les cubes ont été utilisé donc on a l'équation :
x3y3z3=36=9×4⇒9 | x3y3z3
donc 3 divise au moins un des trois entiers.