 Squared triangular number

For triangular numbers that are themselves square, see square triangular number.
In number theory, the sum of the first n cubes is the square of the nth triangular number. That is,
This identity is sometimes called Nicomachus's theorem.
Contents
History
Stroeker (1995), writing about Nicomachus's theorem, claims that "every student of number theory surely must have marveled at this miraculous fact". While Stroeker's statement may perhaps be a poetic exaggeration, it is true that many mathematicians have studied this equality and have proven it in many different ways. Pengelley (2002) finds references to the identity in several ancient mathematical texts: the works of Nicomachus in what is now Jordan in the first century CE, Aryabhata in India in the fifth century, and AlKaraji circa 1000 in Persia. Bressoud (2004) mentions several additional early mathematical works on this formula, by Alchabitius (tenth century Arabia), Gersonides (circa 1300 France), and Nilakantha Somayaji (circa 1500 India); he reproduces Nilakantha's visual proof.
Numeric values; geometric and probabilistic interpretation
The sequence of squared triangular numbers is
 0, 1, 9, 36, 100, 225, 441, 784, 1296, 2025, 3025, 4356, 6084, 8281, ... (sequence A000537 in OEIS).
These numbers can be viewed as figurate numbers, a fourdimensional hyperpyramidal generalization of the triangular numbers and square pyramidal numbers.
As Stein (1971) observes, these numbers also count the number of rectangles with horizontal and vertical sides formed in an n×n grid. For instance, the points of a 4×4 grid can form 36 different rectangles. The number of squares in a square grid is similarly counted by the square pyramidal numbers.
The identity also admits a natural probabilistic interpretation as follows. Let X,Y,Z,W be four integer numbers independently and uniformly chosen at random between 1 and n. Then, the probability that W be not less than any other is equal to the probability that both Y be not less than X and W be not less than Z, that is, Indeed, these probabilities are respectively the left and right sides of the Nichomacus identity, normalized over n^{4}.
Proofs
Wheatstone (1854) gives a particularly simple derivation, by expanding each cube in the sum into a set of consecutive odd numbers:
 1 + 8 + 27 + 64 + 125 + ...
 = (1) + (3 + 5) + (7 + 9 + 11) + (13 + 15 + 17 + 19) + (21 + 23 + 25 + 27 + 29) + ...
 = 1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 + 17 + 19 + 21 + 23 + 25 + 27 + 29 ...
The sum of any set of consecutive odd numbers starting from 1 is a square, and the quantity that is squared is the count of odd numbers in the sum. The latter is easily seen to be a count of the form 1+2+3+4+...+n.
In the more recent mathematical literature, Stein (1971) uses the rectanglecounting interpretation of these numbers to form a geometric proof of the identity (see also Benjamin et al.); he observes that it may also be proved easily (but uninformatively) by induction, and states that Toeplitz (1963) provides "an interesting old Arabic proof". Kanim (2004) provides a purely visual proof, Benjamin and Orrison (2002) provide two additional proofs, and Nelsen (1993) gives seven geometric proofs.
Generalizations
A similar result to Nicomachus's theorem holds for all power sums, namely that odd power sums (sums of odd powers) are a polynomial in triangular numbers. These are called Faulhaber polynomials, of which the sum of cubes is the simplest and most elegant example.
Stroeker (1995) studies more general conditions under which the sum of a consecutive sequence of cubes forms a square. Garrett and Hummel (2004) and Warnaar (2004) study polynomial analogues of the square triangular number formula, in which series of polynomials add to the square of another polynomial.
References
 Benjamin, Arthur T.; Orrison, M. E. (2002). "Two quick combinatorial proofs of ". The College Mathematics Journal 33 (5): 406–408. http://www.math.hmc.edu/~orrison/research/papers/two_quick.pdf.
 Benjamin, Arthur T.; Quinn, Jennifer L.; Wurtz, Calyssa (2006). "Summing cubes by counting rectangles". The College Mathematics Journal 37 (5): 387–389. doi:10.2307/27646391. ISSN 07468342. JSTOR 27646391. http://www.math.hmc.edu/~benjamin/papers/rectangles.pdf.
 Bressoud, David (2004). Calculus before Newton and Leibniz, Part III. AP Central. http://www.macalester.edu/~bressoud/pub/CBN3.pdf.
 Garrett, Kristina C.; Hummel, Kristen (2004). "A combinatorial proof of the sum of qcubes". Electronic Journal of Combinatorics 11 (1): Research Paper 9. MR2034423. http://www.combinatorics.org/Volume_11/Abstracts/v11i1r9.html.
 Kanim, Katherine (2004). "Proofs without Words: The Sum of Cubes—An Extension of Archimedes' Sum of Squares". Mathematics Magazine 77 (4): 298–299. doi:10.2307/3219288. JSTOR 3219288.
 Nelsen, Roger B. (1993). Proofs without Words. Cambridge University Press. ISBN 9780883857007.
 Pengelley, David (2002). "The bridge between continuous and discrete via original sources". Study the Masters: The AbelFauvel Conference. National Center for Mathematics Education, Univ. of Gothenburg, Sweden. http://www.math.nmsu.edu/~davidp/bridge.pdf.
 Stein, Robert G. (1971). "A combinatorial proof that ". Mathematics Magazine (Mathematical Association of America) 44 (3): 161–162. doi:10.2307/2688231. JSTOR 2688231.
 Stroeker, R. J. (1995). "On the sum of consecutive cubes being a perfect square". Compositio Mathematica 97 (1–2): 295–307. MR1355130. http://www.numdam.org/item?id=CM_1995__97_12_295_0.
 Toeplitz, Otto (1963). The Calculus, a Genetic Approach. University of Chicago Press. ISBN 9780226806679.
 Warnaar, S. Ole (2004). "On the qanalogue of the sum of cubes". Electronic Journal of Combinatorics 11 (1): Note 13. MR2114194. http://www.combinatorics.org/Volume_11/Abstracts/v11i1n13.html.
 Wheatstone, C. (1854). "On the formation of powers from arithmetical progressions". Proceedings of the Royal Society of London 7: 145–151. doi:10.1098/rspl.1854.0036.
External links
Categories: Elementary mathematics
 Number theory
 Integer sequences
 Mathematical identities
Wikimedia Foundation. 2010.
Look at other dictionaries:
number game — Introduction any of various puzzles and games that involve aspects of mathematics. Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… … Universalium
Square pyramidal number — In mathematics, a pyramid number, or square pyramidal number, is a figurate number that represents a pyramid with a base and four sides. These numbers can be expressed in a formula as:sum {k=1}^nk^2={n(n + 1)(2n + 1) over 6}={2n^3 + 3n^2 + n over … Wikipedia
4 (number) — Four redirects here. For other uses, see 4 (disambiguation). 4 −1 0 1 2 3 4 5 6 7 8 9 → List of numbers Integers … Wikipedia
Square number — In mathematics, a square number, sometimes also called a perfect square, is an integer that can be written as the square of some other integer; in other words, it is the product of some integer with itself. So, for example, 9 is a square number,… … Wikipedia
21 (number) — For other uses, see 21 (disambiguation). ← 20 22 → 21 ← 20 21 22 … Wikipedia
Chisquared distribution — This article is about the mathematics of the chi squared distribution. For its uses in statistics, see chi squared test. For the music group, see Chi2 (band). Probability density function Cumulative distribution function … Wikipedia
Noncentral chisquared distribution — Noncentral chi squared Probability density function Cumulative distribution function parameters … Wikipedia
List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… … Wikipedia
Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… … History of philosophy
Cube (algebra) — Third power redirects here. For the band, see Third Power. Cubed redirects here. For other uses, see cube (disambiguation). y=x³: for values of 0≤x≤25. In arithmetic and algebra, the cube of a number n is its third power the result of the number… … Wikipedia