Squared triangular number

For triangular numbers that are themselves square, see square triangular number.

A square whose side length is a triangular number can be partitioned into squares and half-squares whose areas add to cubes. From Gulley (2010).

In number theory, the sum of the first $n$ cubes is the square of the $n$ th triangular number. That is,

1^{3}+2^{3}+3^{3}+\cdots +n^{3}=\left(1+2+3+\cdots +n\right)^{2}.

The same equation may be written more compactly using the mathematical notation for summation:

\sum _{k=1}^{n}k^{3}={\bigg (}\sum _{k=1}^{n}k{\bigg )}^{2}.

This identity is sometimes called Nicomachus's theorem.

History

Many early mathematicians have studied and provided proofs of Nicomachus's theorem. Stroeker (1995) claims that "every student of number theory surely must have marveled at this miraculous fact". Pengelley (2002) finds references to the identity not only in the works of Nicomachus in what is now Jordan in the first century CE, but also in those of Aryabhata in India in the fifth century, and in those of Al-Karaji 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 the OEIS).

These numbers can be viewed as figurate numbers, a four-dimensional 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 \times n$ grid. For instance, the points of a $4 \times 4$ grid (or a square made up of three smaller squares on a side) 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 the largest of the four numbers is equal to the probability that both $Y$ is at least as large as $X$ and $W$ is at least as large as $Z$ , that is, $P ({max(X, Y, Z) \leq W}) = P ({X \leq Y} \cap {Z \leq W})$ . Indeed, these probabilities are respectively the left and right sides of the Nichomacus identity, normalized to make probabilities by dividing both sides by $n 4$ .

Proofs

Charles Wheatstone (1854) gives a particularly simple derivation, by expanding each cube in the sum into a set of consecutive odd numbers. Indeed, he begins by giving the identity

n^{3}=\underbrace {\left(n^{2}-n+1\right)+\left(n^{2}-n+1+2\right)+\left(n^{2}-n+1+4\right)+\cdots +\left(n^{2}+n-1\right)} _{n{\text{ consecutive odd numbers}}}.

That identity is related to triangular numbers $T_{n}$ in the following way:

n^{3}=\sum _{k=T_{n-1}+1}^{T_{n}}(2k-1),

and thus the summands forming $n^{3}$ start off just after those forming all previous values $1^{3}$ up to $(n-1)^{3}$ . Applying this property, along with another well-know identity

n^{2}=\sum _{k=1}^{n}(2k-1),

we obtain the following derivation:

{\begin{aligned}\sum _{k=1}^{n}k^{3}&=1+8+27+64+\cdots +n^{3}\\&=\underbrace {1} _{1^{3}}+\underbrace {3+5} _{2^{3}}+\underbrace {7+9+11} _{3^{3}}+\underbrace {13+15+17+19} _{4^{3}}+\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^{2}+n}{2}}\right)^{2}}\\&=(1+2+\cdots +n)^{2}\\&={\bigg (}\sum _{k=1}^{n}k{\bigg )}^{2}.\end{aligned}}

Visual demonstration that the square of a triangular number equals a sum of cubes.

In the more recent mathematical literature, Stein (1971) uses the rectangle-counting interpretation of these numbers to form a geometric proof of the identity (see also Benjamin, Quinn & Wurtz 2006); 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 & 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 & 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 $\textstyle \sum k^{3}={n+1 \choose 2}^{2}$ " (PDF), College Mathematics Journal, 33 (5): 406–408 .
Benjamin, Arthur T.; Quinn, Jennifer L.; Wurtz, Calyssa (2006), "Summing cubes by counting rectangles" (PDF), College Mathematics Journal, 37 (5): 387–389, doi:10.2307/27646391, JSTOR 27646391 .
Bressoud, David (2004), Calculus before Newton and Leibniz, Part III (PDF), AP Central .
Garrett, Kristina C.; Hummel, Kristen (2004), "A combinatorial proof of the sum of $q$ -cubes", Electronic Journal of Combinatorics, 11 (1), Research Paper 9, MR 2034423 .
Gulley, Ned (March 4, 2010), Shure, Loren, ed., Nicomachus's Theorem, Matlab Central .
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 978-0-88385-700-7 .
Pengelley, David (2002), "The bridge between continuous and discrete via original sources", Study the Masters: The Abel-Fauvel Conference (PDF), National Center for Mathematics Education, Univ. of Gothenburg, Sweden .
Stein, Robert G. (1971), "A combinatorial proof that $\textstyle \sum k^{3}=(\sum k)^{2}$ ", Mathematics Magazine, 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, MR 1355130 .
Toeplitz, Otto (1963), The Calculus, a Genetic Approach, University of Chicago Press, ISBN 978-0-226-80667-9 .
Warnaar, S. Ole (2004), "On the $q$ -analogue of the sum of cubes", Electronic Journal of Combinatorics, 11 (1), Note 13, MR 2114194 .
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

Weisstein, Eric W. "Nicomachus's Theorem". MathWorld.

A visual proof of Nicomachus's Theorem

Classes of natural numbers

Powers and
related numbers

Of the form
a × 2^b ± 1

Other polynomial
numbers

Recursively defined
numbers

Possessing a
specific set
of other numbers

Expressible via
specific sums

Generated
via a sieve

Lucky

Code related

Meertens

Figurate numbers

2-dimensional

centered	Centered triangular Centered square Centered pentagonal Centered hexagonal Centered heptagonal Centered octagonal Centered nonagonal Centered decagonal Star

non-centered	Triangular Square Square triangular Pentagonal Hexagonal Heptagonal Octagonal Nonagonal Decagonal Dodecagonal

3-dimensional

centered	Centered tetrahedral Centered cube Centered octahedral Centered dodecahedral Centered icosahedral

non-centered	Tetrahedral Octahedral Dodecahedral Icosahedral Stella octangula

pyramidal	Square pyramidal Pentagonal pyramidal Hexagonal pyramidal Heptagonal pyramidal

4-dimensional

centered	Centered pentachoric Squared triangular

non-centered	Pentatope

Pseudoprimes

Combinatorial
numbers

Arithmetic functions

By properties of σ(n)	Abundant Almost perfect Arithmetic Colossally abundant Descartes Hemiperfect Highly abundant Highly composite Hyperperfect Multiply perfect Perfect Practical number Primitive abundant Quasiperfect Refactorable Sublime Superabundant Superior highly composite Superperfect

By properties of Ω(n)	Almost prime Semiprime

By properties of φ(n)	Highly cototient Highly totient Noncototient Nontotient Perfect totient Sparsely totient

By properties of s(n)	Amicable Betrothed Deficient Semiperfect

Dividing a quotient

Other prime factor
or divisor related
numbers

Recreational
mathematics

Base-dependent
numbers

This article is issued from Wikipedia - version of the 10/30/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.