Raisonnement par recurrence

[Mathematica]

Montrer que n² divise (n+1)^n -1
J'ai fait l'étape d'initialisation
Pour n=1 n²=1 et(1+1)^1 -1=1
1divise 1
Supposons que n² divise (n+1)^n -1 et montrons que (n+2)^n+1 -1 est divisible par (n+1)²
(n+2)^n+1 -1=(n+2-1)(1+(n+2)+(n+2)²...........+(n+2)^n)
=(n+1)(1+(n+2)..........)
Comment faire ????

[phyelec]

Bonjour,

utilisez la formule du binôme de newton avec a=n+1 et b=1