Exercice 1
avancePour tout , on considère l'entier formé par la juxtaposition de blocs de chiffres , de sorte que et .
-
1)a. Calculer le reste de la division euclidienne de et de par .
Indice — Effectue la division euclidienne de chaque entier par .
Correction
On effectue la division euclidienne directement : , donc le reste est . De même, , donc le reste est .
-
1)b. Soit pour . Montrer que pour tout .
Indice — Exprime à l'aide de en remarquant que .
Correction
En écrivant l'écriture en base 10, rajouter un bloc à gauche de revient à multiplier sa valeur par (pour décaler les chiffres de deux rangs vers la gauche) et à lui ajouter . On obtient ainsi directement la relation de récurrence .
-
2)a. Établir que pour tout .
Indice — Écris comme une somme de termes d'une suite géométrique.
Correction
On exprime comme une somme de termes d'une suite géométrique : . En appliquant la formule de la somme des termes d'une suite géométrique, on obtient . En multipliant par , on simplifie l'expression pour aboutir à .
-
2)b. Déterminer les restes de pour tout .
Indice — Calcule les restes successifs des puissances de modulo .
Correction
Puisque , on étudie les puissances successives de modulo : , , , et . Les restes sont donc périodiques de période , valant , ou selon que le reste de la division euclidienne de par est , ou .
-
2)c. En déduire que si et seulement si est un multiple de .
Indice — Observe la périodicité des restes obtenus à la question précédente.
Correction
On utilise la périodicité des restes de modulo , qui répètent la séquence tous les pas. Ainsi, si et seulement si l'exposant est un multiple de .
-
3)a. Montrer que si et seulement si pour tout .
Indice — Utilise le fait que et que est premier avec .
Correction
En exprimant sous la forme et en remarquant que avec et , on établit par équivalence que divise si et seulement si divise .
-
3)b. Déterminer l'ensemble des entiers tels que divise .
Indice — Combine les conditions de divisibilité obtenues aux questions précédentes.
Correction
En combinant le résultat précédent avec la condition obtenue à la question 2)c, divise si et seulement si , c'est-à-dire si et seulement si est un multiple de . L'ensemble recherché est donc .
-
3)c. Déterminer pour tout .
Indice — Examine les diviseurs communs possibles de et en fonction de la divisibilité de par .
Correction
Puisque est un nombre premier, ses diviseurs sont et . Si est un multiple de , divise donc . Si n'est pas un multiple de , ne divise pas donc .