A) Démontrer l'égalité : a³-b³ = (a-b) (a² + ab + b²)
On développe (a-b)(a²+ab+b²) :
(a-b)(a²+ab+b²) = a³+a²b+ab²-a²b-ab²-b³ = a³ - b³
On a donc bien a³-b³ = (a-b)(a²+ab+b²)
B) En déduire que, pour tout nombre entier naturel n, le nombre (n + 3)³ - n³ est un multiple de 9.
C) Démontrer de même que, pour tout nombre entier k, (n + 3k)³ - n³ est un multiple de 3^k+1.