[TS] Arithmétique

Bonsoir,

Je suis actuellement en train de faire un DM d'arithmétique, et je bloque sur un exercice :

On veut montrer la proposition P : "Si d divise n alors (a^d)-1 divise (a^n)-1"
Soient d et s tels que n = ds

a. En utilisant la somme des termes d'une suite géométrique, prouver P.
b. Avec les congruences montrer que a^d ♡ 1 [a^d -1], puis prouver P.

J'ai commencé par le b :

a^d - 1 ♡ 0 [a^d - 1] <=> a^d ♡ 1 [a^d - 1]
or on a n ♡ 0 [d], car d divise n

ainsi, a^n ♡ a^d ♡ 1 [a^d - 1]
donc a^n - 1 ♡ 1 - 1 ♡ 0 [a^d - 1]
CQFD

J'aimerais juste savoir si celui-là est juste, et un peu d'aide pour le a car je suis complètement bloqué je sais pas quelle suite géométrique modéliser pour trouver une somme qui me permettrait de prouver P.

Merci d'avance^^

Hello, merci pour les petits coeurs