Je n'ai pas bien compris la question…
Le but est-il de montrer que la suite u_n = a^n mod b est cyclique lorsque a et b sont (disons, pour simplifier) premiers entre eux ?
Si oui, il n'y a pas vraiment besoin de récurrence : une fois que tu as un k tel que a^k = 1 mod b, tu déduis que a^n = a^(n mod k) mod b et donc ta suite est cyclique.
Donnons un exemple : le dernier chiffre de 3^2011.
3^4 = 81 = 1 mod 10, donc 3^2011 = 3^3 = 7 mod 10, donc le dernier chiffre est 7.
PS pour les puristes : c'est dans a^(pq+r) = (a^q)^p.a^r qu'on a vraiment besoin d'une récurrence.