The term figurate number is used by different writers for members of different sets of numbers, generalizing from triangular numbers to different shapes (polygonal numbers) and different dimensions (polyhedral numbers). The term can mean
- polygonal number
- a number represented as a discrete r-dimensional regular geometric pattern of r-dimensional balls such as a polygonal number (for r = 2) or a polyhedral number (for r = 3).
- a member of the subset of the sets above containing only triangular numbers, pyramidal numbers, and their analogs in other dimensions.
Some kinds of figurate number were discussed in the 16th and 17th centuries under the name "figural number".
In a use going back to Jakob Bernoulli's Ars Conjectandi, the term figurate number is used for triangular numbers made up of successive integers, tetrahedral numbers made up of successive triangular numbers, etc. These turn out to be the binomial coefficients. In this usage the square numbers 4, 9, 16, 25 would not be considered figurate numbers when viewed as arranged in a square.
The mathematical study of figurate numbers is said to have originated with Pythagoras, possibly based on Babylonian or Egyptian precursors. Generating whichever class of figurate numbers the Pythagoreans studied using gnomons is also attributed to Pythagoras. Unfortunately, there is no trustworthy source for these claims, because all surviving writings about the Pythagoreans are from centuries later. It seems to be certain that the fourth triangular number of ten objects, called tetractys in Greek, was a central part of the Pythagorean religion, along with several other figures also called tetractys. Figurate numbers were a concern of Pythagorean geometry.
The modern study of figurate numbers goes back to Fermat, specifically the Fermat polygonal number theorem. Later, it became a significant topic for Euler, who gave an explicit formula for all triangular numbers that are also perfect squares, among many other discoveries relating to figurate numbers.
Figurate numbers have played a significant role in modern recreational mathematics. In research mathematics, figurate numbers are studied by way of the Ehrhart polynomials, polynomials that count the number of integer points in a polygon or polyhedron when it is expanded by a given factor.
The triangular numbers for n = 1, 2, 3, ... are the result of the juxtaposition of the linear numbers (linear gnomons) for n = 1, 2, 3, ...:
These are the binomial coefficients . This is the case r=2 of the fact that the rth diagonal of Pascal's triangle for consists of the figurate numbers for the r-dimensional analogs of triangles (r-dimensional simplices).
The simplicial polytopic numbers for r = 1, 2, 3, 4, ... are:
- (linear numbers),
- (triangular numbers),
- (tetrahedral numbers),
- (pentachoric numbers, pentatopic numbers, 4-simplex numbers),
- (r-topic numbers, r-simplex numbers).
The gnomon is the piece added to a figurate number to transform it to the next larger one.
For example, the gnomon of the square number is the odd number, of the general form 2n + 1, n = 0, 1, 2, 3, ... . The square of size 8 composed of gnomons looks like this:
8 8 8 8 8 8 8 8
8 7 7 7 7 7 7 7
8 7 6 6 6 6 6 6
8 7 6 5 5 5 5 5
8 7 6 5 4 4 4 4
8 7 6 5 4 3 3 3
8 7 6 5 4 3 2 2
8 7 6 5 4 3 2 1
To transform from the n-square (the square of size n) to the (n + 1)-square, one adjoins 2n + 1 elements: one to the end of each row (n elements), one to the end of each column (n elements), and a single one to the corner. For example, when transforming the 7-square to the 8-square, we add 15 elements; these adjunctions are the 8s in the above figure.
This gnomonic technique also provides a mathematical proof that the sum of the first n odd numbers is n2; the figure illustrates 1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 = 64 = 82.
- Dickson, L. E., History of the Theory of Numbers
- Simpson, J. A.; Weiner, E. S. C., eds. (1992). The Compact Oxford English Dictionary (2nd ed.). Oxford, England: Clarendon Press. p. 587.
- Heath, T., A history of Greek Mathematics by
- Maziarz, E. A., Greek Mathematical Philosophy
- Taylor, Thomas, The Theoretic Arithmetic of the Pythagoreans
- Boyer, Carl B.; Merzbach, Uta C., A History of Mathematics (Second ed.), p. 48
- Kraitchik, Maurice (2006), Mathematical Recreations (Second Revised ed.), Dover Books, ISBN 978-0-486-45358-3
- Beck, M.; De Loera, J. A.; Develin, M.; Pfeifle, J.; Stanley, R. P. (2005), "Coefficients and roots of Ehrhart polynomials", Integer points in polyhedra—geometry, number theory, algebra, optimization, Contemp. Math., 374, Providence, RI: Amer. Math. Soc., pp. 15–36, MR 2134759.
- Gazalé, Midhat J. (1999), Gnomon: From Pharaohs to Fractals, Princeton University Press, ISBN 978-0-691-00514-0
- Deza, Elena; Michel Marie Deza (2012), Figurate Numbers, First Edition, World Scientific, ISBN 978-981-4355-48-3
- Heath, Thomas Little (2000), A history of Greek Mathematics: Volume 1. From Thales to Euclid, Adamant Media Corporation, ISBN 978-0-543-97448-8
- Heath, Thomas Little (2000), A history of Greek Mathematics: Volume 2. From Aristarchus to Diophantus, Adamant Media Corporation, ISBN 978-0-543-96877-7
- Dickson, Leonard Eugene (1923), History of the Theory of Numbers (three volume set), Chelsea Publishing Company, Inc., ASIN B000OKO3TK
- Boyer, Carl B.; Uta C. Merzbach, A History of Mathematics, Second Edition