1 ièr methode:
m=2^n - 1
developpez (m+1)^m - 1 par la formule du binome de Nweton
tout les termes de la somme trouvée contiennent m^k avec k>=2.
2 iem methode:
(2^n(2^n - 1) - 1=(2^n - 1)((2^n)^2^(n-2) +...+2^n +1)
or la somme
((2^n)^2^(n-2) +...+2^n +1) contint 2^n - 1 termes tous congrus à 1 modulo 2^n - 1.
donc
((2^n)^2^(n-2) +...+2^n +1)= 2^n - 1.
puis conclure.