Somme des n premiers cubes
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/26/Nicomachus_theorem_3D.svg/350px-Nicomachus_theorem_3D.svg.png)
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 Nicomaque[1]. C'est un cas particulier de la formule de Faulhaber.
De nombreux mathématiciens historiques ont étudié et démontré cette égalité facile à prouver. Stroeker[2] estime que « chaque personne étudiant la théorie des nombres a dû être émerveillée par ce fait miraculeux ». Pengelley[3] et Bressoud[4] 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 Perse[5], chez Alcabitius en Arabie, chez le Français Gersonide[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 Wheatstone[7], 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 :
Une preuve algébrique plus directe est la suivante :
- .
Les valeurs de pour les premiers entiers naturels sont : 0, 1, 9, 36, 100, 225, etc. (suite A000537 de l'OEIS).
Références
- ↑ Eugène Catalan, « Sur un théorème d'arithmétique », Bulletin des sciences mathématiques et astronomiques, vol. 1, no 2, (lire en ligne)
- ↑ (en) R. J. Stroeker, « On the sum of consecutive cubes being a perfect square », Compositio Mathematica, vol. 97, , p. 295-307 (lire en ligne).
- ↑ (en) David Pengelley, « The bridge between the continuous and the discrete via original sources », dans Study the Masters: The Abel-Fauvel Conference, National Center for Mathematics Education, Univ. of Gothenburg, (lire en ligne).
- ↑ (en) David Bressoud, « Calculus before Newton and Leibniz, Part III », AP Central, .
- ↑ (en) Victor J. Katz, A History of Mathematics. An Introduction, Addison-Wesley, , 2e éd., p. 255, rapporté par (en) Janet Beery, « Sums of Powers of Positive Integers - Abu Bakr al-Karaji (d. 1019), Baghdad », Convergence, MAA, (lire en ligne). Voir aussi A. Dahan-Dalmedico et J. Peiffer, Une histoire des mathématiques : Routes et dédales, [détail des éditions], p. 90.
- ↑ Katz 1998, p. 304, rapporté par Beery 2010.
- ↑ (en) Charles Wheatstone, « On the formation of powers from arithmetical progressions », Proceedings of the Royal Society of London, vol. 7, , p. 145-151 (DOI 10.1098/rspl.1854.0036).
Articles connexes
- Algèbre géométrique
- Formule de Faulhaber qui donne la valeur de
v · m | |||||||
---|---|---|---|---|---|---|---|
Bidimensionnel |
| ||||||
Tridimensionnel |
| ||||||
Quadridimensionnel |
| ||||||
Multidimensionnel |
|
Portail de l’algèbre