A552. Des diviseurs à gogo
Q₁ Démontrer que l'entier 3105 + 4105 est divisible par 7, 13 ,31 ,43 ,49 ,181 et 379 mais ne l'est pas par 5 ou 11 ou 17 ou 19.
Q₂ Démontrer que chacun des entiers : N₁ = 2125 + 1 048 576,
N₂ = 3125 + 3 486 784 401, N₃ = 5125 + 95 367 431 640 625
a un nombre de diviseurs distincts qui est un multiple de 2016.
Solution proposée
Question1 : Divisibilité de l’entier 3105 + 4105 par 7, 13 ,31 ,43 ,49 ,181 et 379 Rappelons que :
Si le modulo p d’un nombre vaut 0, le nombre est divisible par p.
Le modulo d’une somme est égal au modulo de la somme des modulos Le modulo d’un produit est égal au modulo du produit des modulos
Cela permet d’éviter de calculer réellement xn, pour permettre le calcul de Modulo(xn ,p)
En effet utiliser la récurrence : Modulo(xn ,p) = Modulo[x*Modulo(xn-1 ,p) ,p] simplifie considérablement les calculs en évitant de manipuler de trop grands nombres.
Appliqué de manière récurrente sur 3105 + 4105, on peut construire le tableau de la page suivante :
Cela permet de voir que l’on revient régulièrement sur une configuration des Modulo p des puissances de 3 et de 4 valant tous deux 1, ce qui signifie que la séquence des modulos va se répéter indéfiniment.
Les solutions de divisibilité de 3n+ 4n sont les suivantes
Divisibilités par 7 : n=1+6k 3+6k 5+6k, soit en simplifiant n=1+2k1
Divisibilités par 13 : n=3+6k2
Divisibilités par 31 : n=15+30k3
Divisibilités par 49 : n=7+42k 21+42k 35+42k, soit en simplifiant n=7+14k4
Divisibilités par 181 : n=5+90k 15+90k 25+90k 35+90k 45+90k 55+90k 65+90k 75+90k 85+90k, soit en simplifiant n=5+10k5
Divisibilités par 379 : n=7+378k 21+378k 35+378k,etc… soit en simplifiant n=7+14k6
Le premier nombre commun aux 6 solutions est 105 ( k1=52, k2=17, k3=3, k4=7, k5=10, k6=7) Donc le nombre 3105 + 4105 est divisible par 7, 13 ,31 ,43 ,49 ,181 et 379
Avec le même raisonnement les solutions de divisibilité par les autres valeurs sont les suivantes : Divisibilités par 5 : n=2+4k7
Divisibilités par 11 : Aucune solution, les modulos sont uniquement1,4,5,9,3 et jamais 0 Divisibilités par 17 : n=8+16k8
Divisibilités par 19 : n=9+18k9
Or ces expressions n’ont pas de solutions entières avec n=105.
Donc le nombre 3105 + 4105 n’est pas divisible par 5,11,17 et 19
- - -
Question 2 : N1, N2 et N3 ont un nombre de diviseurs distincts multiple de 2016.
On remarque que :
N2 = 2125 + 1 048 576 = , 2125 + 220 = 220 (2105+1) N3 = 3125 + 3 486 784 401 = 3125 + 320 = 320 (3105+1) N5 = 5125 + 95 367 431 640 625 = 5125 + 520 = 520 (5105+1)
Si un nombre N est divisible par des
x
i^n
i , les xi étant des nombres premiers, cela génère un nombre de diviseurs de N égal àπ
(1+ni)[1].
Démontrable par récurrence (1 est compté comme diviseur)On a un premier diviseur de type x20, puis un terme x105+1 ( = x105+1105 pour le mettre sous la forme étudiée dans la question 1) dont on cherche également des diviseurs. Avec la méthode déjà utilisée dans la question 1, on constate que :
N2 est divisible par 220, 32, 11, 43, 211, 281, 331
N3 est divisible par 320, 22, 31, 43, 61, 211, 271 (7 non pris car divisibilité par 72) N5 est divisible par 520, 32, 2, 29, 43, 61, 87 (7 non pris car divisibilité par 72)
On vérifie pour x105+1 que les diviseurs retenus le sont à la seule puissance indiquée (2 pour le premier, 1 pour les suivants)
Ainsi pour N2, N3 et N5 le nombre de diviseurs est égal d’après la formule
[1]
à :21
x3
x2
x2
x2
x2
x2 = 2016
Il peut exister d’autres diviseurs de la forme
x
j^n
j avecx
j différent desx
i retenus ci-dessus, mais ceux-ci ne feront que multiplier le nombre de diviseurs de N par 1+nj, ce qui permet d’affirmer que le nombre de diviseurs distincts de N2, N3 et N5 est un multiple de 2016.Michel Goudard