En effet, si , alors
On en déduit
- Somme télescopique — Wikipédia
La somme des n premiers cubes est le carré de la somme des n premiers entiers :
- .
Soit, en utilisant la notation plus compacte des sommes et en rappelant la somme d'une série arithmétique :
- .
Cette identité est parfois appelée théorème de Nicomaque1. C'est un cas particulier de la formule de Faulhaber.
De nombreux mathématiciens historiques ont étudié et démontré cette égalité facile à prouver. Stroeker2 estime que « chaque personne étudiant la théorie des nombres a dû être émerveillée par ce fait miraculeux ». Pengelley3 et Bressoud4 retrouvent cette égalité non seulement dans l’œuvre de Nicomaque (vivant vers l'an 100 dans l'actuelle Jordanie), mais aussi chez Aryabhata en Inde au Ve siècle, chez Al-Karaji vers l'an 1000 en Perse5, chez Alcabitius en Arabie, chez le Français Gersonide (1288-1344) 6 et chez Nilakantha Somayaji (vers 1500 en Inde), ce dernier fournissant une démonstration visuelle (cf. figure ci-contre).
Plusieurs autres démonstrations sont possibles. L'une est fournie par Charles Wheatstone7, qui développe chaque cube en une somme de nombres impairs consécutifs et utilise le fait que la somme des n premiers nombres impairs est égale à , et que la somme des n premiers entiers est égale au n-ième nombre triangulaire :
![{\displaystyle {\begin{aligned}1+2^{3}+3^{3}+4^{3}+\cdots +n^{3}&=1+[3+5]+[7+9+11]+[13+15+17+19]+\cdots +\underbrace {[\left(n^{2}-n+1\right)+\cdots +\left(n^{2}+n-1\right)]} _{n^{3}}\\&=\underbrace {\underbrace {\underbrace {\underbrace {1} _{1^{2}}+3} _{2^{2}}+5} _{3^{2}}+\cdots +\left(n^{2}+n-1\right)} _{\left({\frac {n(n+1)}{2}}\right)^{2}}\\&=(1+2+\cdots +n)^{2}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ffb32b82647757a2f3791bd1bc339df104adbdc)
