45 C≤ . 7 D= .

PanaMaths [ 1 - 5 ] Décembre 2013
Antilles-Guyane – Juin 2005 – Série S – Exercice
1. a. Déterminer suivant les valeurs de l’entier naturel non nul n le
reste dans la division euclidienne par 9 de 7n.
b. Démontrer alors que
(
)
2005
2005 7 9
≡
.
2. a. Démontrer que pour tout entier naturel non nul n :
()
10 1 9
n≡.
b. On désigne par N un entier naturel écrit en base 10, on appelle S
la somme de ses chiffres.
Démontrer la relation suivante :
(
)
9NS
≡
.
c. En déduire que N est divisible par 9 si et seulement si S est
divisible par 9.
3. On suppose que 2005
2005
A
= ; on désigne par :
• B la somme des chiffres de A ;
• C la somme des chiffres de B ;
• D la somme des chiffres de C.
a. Démontrer la relation suivante :
(
)
9AD
≡
.
b. Sachant que 2005 10000<, démontrer que A s’écrit en
numérotation décimale avec au plus 8 020 chiffres. En déduire
que 72180
B
≤.
c. Démontrer que 45C≤.
d. En étudiant la liste des entiers inférieurs à 45, déterminer un
majorant de D plus petit que 15.
e. Démontrer que 7
D
=.

PanaMaths [ 2 - 5 ] Décembre 2013
Analyse
Dans cet exercice, on s’intéresse fondamentalement au reste de la division euclidienne de
2005
2005 par 9.
Dans la première question, on obtient rapidement le résultat grâce aux congruences.
Dans les questions 2 et 3, on étudie une approche plus itérative (on dirait « algorithmique »
désormais) en montrant que l’on peut étudier, dans la division par 9, la somme des chiffres du
nombre plutôt que le nombre lui-même (cette démarche étant bien sûr valable parce que nous
travaillons en base 10 !). La difficulté provient alors du fait que le nombre 2005
2005 comporte
un nombre très élevé de chiffres (6 620 exactement !) …
Résolution
Question 1.a.
On a immédiatement
(
)
779≡,
(
)
2
74949=≡ ,
(
)
3
74719≡×≡ et donc
(
)
4
779≡.
Grâce à ces premiers calculs, il vient, pour tout entier naturel k :
•
()
()
33
7719
k
kk
=≡, c'est-à-dire :
(
)
3
719
k≡.
•
(
)
31 3
777179
kk+=×≡× , c'est-à-dire :
(
)
31
779
k+≡.
•
(
)
32 3 2
777149
kk+=×≡× , c'est-à-dire :
(
)
32
749
k+≡.
Comme les valeurs 1, 7 et 4 sont positives et strictement inférieures à 9, il vient :
Si n est un multiple de 3, le reste de la division euclidienne de 7n par 9 vaut 1.
Si le reste de la division euclidienne de n par 3 vaut 1, alors celui de la division euclidienne de
7n par 9 vaut 7.
Enfin, si le reste de la division euclidienne de n par 3 vaut 2, alors celui de la division
euclidienne de 7n par 9 vaut 4.
Question 1.b.
On note d’abord que l’on a : 2005 9 222 7
=
×+
. Soit
(
)
2005 7 9≡.
D’où :
()
2005 2005
2005 7 9≡.
On a ensuite : 2005 9 222 7 3 666 3 2 1 3 668 1=× + =× +×+=× +
et on en déduit, d’après la
question précédente :
()
2005
779≡.
Finalement :
()
2005
2005 7 9≡.
(
)
2005
2005 7 9≡

PanaMaths [ 3 - 5 ] Décembre 2013
Question 2.a.
Le résultat peut se montrer de diverses façons :
• A partir de
()
10 1 9≡ qui entraîne
(
)
10 1 9
nn
≡.
• En écrivant :
chiffres"9"
10 999...9 1
n
n
=+
 .
• Par récurrence avec les congruences … (un peu « lourd »)
(
)
*,10 1 9
n
n∀∈ ≡`
Remarque : résultat également valable pour 0n
=
.
Question 2.b.
Soit N un entier naturel.
On peut l’écrire, en base 10 : 110
...
nn
aa aa
− où 01
, ..., n aa a sont les chiffres de N, c'est-à-dire
des entiers de
a
b
0;9 et n un entier naturel.
On a donc : 1
110 0 1 1 0
... 10 ... 10 10 10
n
nn k
nn n n k
k
Naa aa a a a a a
−
−−
=
==+×++×+×=×
∑.
Pour tout entier k non nul, on a, d’après la question précédente :
(
)
10 1 9
k≡ et donc
(
)
10 9
k
kk
aa×≡ . Ainsi :
(
)
01 01
10 ... 10 ... 9
n
nn
aa a aa a+×++× ≡ +++ , soit :
(
)
9NS≡.
Si N est un entier naturel et si S désigne la somme de ses chiffres, alors
(
)
9NS≡.
Question 2.c.
Par définition de la relation de congruence,
(
)
9NS≡ signifie que N et S admettent le même
reste dans la division euclidienne par 9.
Ainsi, si l’un de ces deux entiers est divisible par 9, son reste dans la division euclidienne par
9 sera nul et il en ira donc de même pour le deuxième qui sera bien divisible par 9.
N est divisible par 9 si, et seulement si, S est divisible par 9.
Question 3.a.
D’après la question 2.b. on a :
(
)
9AB≡,
(
)
9BC≡ et
(
)
9CD≡.
On en déduit immédiatement par transitivité de la relation de congruence :
(
)
9AD≡.
(
)
9AD≡

PanaMaths [ 4 - 5 ] Décembre 2013
Question 3.b.
On a 4
2005 10 000 10<=
. Donc, la fonction 2005
x
x6 étant strictement croissante sur
+
\ :
(
)
2005
2005 4 8020
2005 10 10A=<=.
L’écriture décimale de 8020
10 est un « 1 » suivi de 8020 « 0 ». Comme 8020 10A<, il vient :
N
8020 chiffres"9"
99...9A≤. Ainsi, A s’écrit avec au plus 8020 chiffres.
Le nombre
N
8020 chiffres"9"
99...9 est, dans l’ensemble des nombres comportant au plus 8 020 chiffres
dans leur écriture décimale, celui dont la somme des chiffres est la plus élevée. Or, on a
8020 termes égaux à "9"
9 9 ... 9 8 020 9 72180++ + = ×=
 .
Finalement :
N
8020 chiffres"9"
99...9 72180AB≤⇒≤
.
A s’écrit en numération décimale avec au plus 8 020 chiffes
et B, la somme de ses chiffres, est inférieur ou égal à 78 120.
Question 3.c.
A la question précédente, nous avons vu que le nombre B était inférieur ou égal à 78 120. Son
écriture décimale comporte donc au plus 5 chiffres. Or, dans l’ensemble des nombres
comportant au plus 5 chiffres dans leur écriture décimale, celui dont la somme des chiffres est
la plus élevée est : 99 999. La somme de ses chiffres vaut 9999945
+
+++= . On a donc
45C≤.
45C
≤
Question 3.d.
On s’intéresse ici au nombre D, c'est-à-dire à la somme des chiffres du nombre C.
D’après la question précédente, on a : 45C
≤
.
Supposons que le chiffre des dizaines de C soit 4. Alors la plus grande somme des chiffres
sera obtenue pour 45C= et vaut 9.
Supposons que le chiffre des dizaines de C soit 3. Alors la plus grande somme des chiffres
sera obtenue pour 39C= et vaut 12.
Pour tout autre chiffre des dizaines (0, 1 ou 2), on aura une somme des chiffres inférieure à 12
(le chiffre des unités valant au plus 9).
En définitive : 12D≤.
12D
≤

PanaMaths [ 5 - 5 ] Décembre 2013
Question 3.e.
D’après la question 1.b. on a
(
)
79A≡ et d’après la question 3.a. on a
(
)
9AD≡.
Ainsi,
()
79D≡. Or D est strictement positif (somme de chiffres). Il est donc de la forme
97Dk=+
avec k entier naturel.
En tenant compte de la question précédente, il vient : 09 712k
<
+≤ et on en tire
immédiatement 0k= puis 7.D=
7D
=