En reprenant ma dernière ligne:
On pose (10^(3n)+1) = P(n)
On pose (10^(6n)+10^(3n)+1) = Q(n)
On a donc
A = P(n)*Q(n)
Donc si on prouve que soit P(n) soit Q(n) est multiple de 1001, on aura prouvé que A est multiple de 1001.
Or si 1001 = 7*11*13. Donc cela prouverait que A est divisible par 7 par 11 et par 13, et donc que A a le meme reste pour la division par 7,11 ou 13.
On va montrer par récurence que P(n) est un multiple de 1001 si n est impair:
pour n=1, P(n) = 1001 est divisible par 1001
Supposons que P(n) est un multiple de 1001.
On a P(k+1) = 1000(P(k)-1)+1 pour tout naturel k.
Donc P(n+2) = 1000(P(n+1)-1)+1
= 1000(1000(P(n)-1)+1-1)+1
= 1000000*P(n) - 1000000 + 1
= 1000000*(un mult de 1001) - 999*1001
est un multiple de 1001
(je cherche mnt pour les cas ou n est pair)