Hum...la caltos peut-être
Sinon il faut essayer, c´est le problème de la récurrence !
Plus sérieusement, tu peux le trouver de manière systématique par la méthode suivante : ( je ne sais pas si ce sera très lisible, mais bon...)
Je note S(k^3,k,0,n)=0+1+2^3+...+n^3
somme des entiers k^3, k variant de 0 à n
( cela se rapproche de la notation TI pour la somme)
Considérons S((k+1)^4,k,0,n) = S(k^4,k,0,n)+ 4*S(k^3,k,0,n) + 6*S(k^2,k,0,n) + 4*S(k,k,0,n) + S(1,k,0,n)
( développement par la formule du binôme de Newton)
On fait tout passer du même côté ( sauf la somme des k^3):
1/4 *[S((k+1)^4,k,0,n) - S(k^4,k,0,n)- 6*S(k^2,k,0,n) - 4*S(k,k,0,n) - S(1,k,0,n)]= S(k^3,k,0,n)
Or,
S((k+1)^4,k,0,n) - S(k^4,k,0,n) = S([(k+1)^4-k^4],k,0,n)=(n+1)^4
Ou en explicitant sous une forme plus lisible :
1^4+2^4+3^4+...+(n+1)^4-0^4+1^4-2^4-...-n^4
ce qui fait bien ( n+1)^4 ( quasiment tous les termes se simplifient)
D´autre part, on connaît la somme des k et des k² ( au pire, pour celle des k², on utilise la même méthode mais en partant de la somme des ( k+1)^3)
S(1,k,0,n)=1+1+1+...+1 = ( n+1)
S(k,k,0,n)=1+2+3+...+n = n(n+1)/2
et S(k^2,k,0,n)=1+2²+3²+...+n² = n(n+1)(2n+1)/6
On remplace tout ça, on obtient :
S(k^3,k,0,n) = ( 1/4)*[(n+1)^4 - 6*n(n+1)(2n+1)/6 - 4*n(n+1)/2 - ( n+1)]
On développe tout et on simplifie :
S(k^3,k,0,n) = ( 1/4)*[n^4 + 2*n^3 + n^2]
S(k^3,k,0,n) = n²(n+1)²/4
Et voilà !