ensuite on fait une récurence :
On vérifie pour k=1 :
1²=1 et ( 1/3)x1x(2)x(3/2) =1
l´egalité est vérifié pour k=1
On suppose que pour tout k E N et n E N , on a :
[S de k=1 à n]k²=(1/3)n(n+1)(n+(1/2))
Donc :
[S de k=1 à n+1]k²=[S de k=1 à n]k²+(n+1)²
=(1/3)n(n+1)(n+(1/2)) + ( n+1)²
=(1/3)(n²+n)(n+(1/2)) + ( n²+2n+1)
=(1/3)(n^3+(3/2)n²+(1/2)n) +n²+2n+1
=(1/3)n^3+(3/2)n²+(13/6)n+1
Or ( 1/3)(n+1)(n+2)(n+(3/2))
=(1/3)(n²+3n+2)(n+(3/2))
=(1/3)(n^3+(3/2)n²+3n²+(9/2)n+2n+3)
= ( 1/3)n^3 +(1/2)n² + n² + ( 3/2)n +(2/3)n +1
= ( 1/3)n^3 + ( 3/2)n² +(13/6)n +1
= [S de k=1 à n+1]k²
donc l´egalité est vérifié pour n.