Figurate number

Size of a geometric arrangement of points

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.[1]

## Terminology[edit]

Some kinds of figurate number were discussed in the 16th and 17th centuries under the name "figural number".[2]

In historical works about Greek mathematics the preferred term used to be figured number.[3][4]

In a use going back to Jacob Bernoulli's Ars Conjectandi,[1] 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.

A number of other sources use the term figurate number as synonymous for the polygonal numbers, either just the usual kind or both those and the centered polygonal numbers.[5]

## History[edit]

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[6] are from centuries later.[7] Speusippus is the earliest source to expose the view that ten, as the fourth triangular number, was in fact the tetractys, supposed to be of great importance for Pythagoreanism.[8] Figurate numbers were a concern of the Pythagorean worldview. It was well understood that some numbers could have many figurations, e.g. 36 is a both a square and a triangle and also various rectangles.

The modern study of figurate numbers goes back to Pierre de 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.[9] 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.[10]

## Triangular numbers and their analogs in higher dimensions[edit]

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  ( n + 1 2 ) {\displaystyle \textstyle {\binom {n+1}{2}}} . This is the case r = 2 of the fact that the rth diagonal of Pascal's triangle for r ≥ 0 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:

* P 1 ( n ) = n 1 = ( n + 0 1 ) = ( n 1 ) {\displaystyle P_{1}(n)={\frac {n}{1}}={\binom {n+0}{1}}={\binom {n}{1}}} (linear numbers),
* P 2 ( n ) = n ( n + 1 ) 2 = ( n + 1 2 ) {\displaystyle P_{2}(n)={\frac {n(n+1)}{2}}={\binom {n+1}{2}}} (triangular numbers),
* P 3 ( n ) = n ( n + 1 ) ( n + 2 ) 6 = ( n + 2 3 ) {\displaystyle P_{3}(n)={\frac {n(n+1)(n+2)}{6}}={\binom {n+2}{3}}} (tetrahedral numbers),
* P 4 ( n ) = n ( n + 1 ) ( n + 2 ) ( n + 3 ) 24 = ( n + 3 4 ) {\displaystyle P_{4}(n)={\frac {n(n+1)(n+2)(n+3)}{24}}={\binom {n+3}{4}}} (pentachoric numbers, pentatopic numbers, 4-simplex numbers),

⋮ {\displaystyle \qquad \vdots }

* P r ( n ) = n ( n + 1 ) ( n + 2 ) ⋯ ( n + r − 1 ) r ! = ( n + ( r − 1 ) r ) {\displaystyle P_{r}(n)={\frac {n(n+1)(n+2)\cdots (n+r-1)}{r!}}={\binom {n+(r-1)}{r}}} (r-topic numbers, r-simplex numbers).

The terms square number and cubic number derive from their geometric representation as a square or cube. The difference of two positive triangular numbers is a trapezoidal number.

## Gnomon[edit]

See also: Gnomon (figure) § Building figurate 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:

1 2 3 4 5 6 7 8 2 2 3 4 5 6 7 8 3 3 3 4 5 6 7 8 4 4 4 4 5 6 7 8 5 5 5 5 5 6 7 8 6 6 6 6 6 6 7 8 7 7 7 7 7 7 7 8 8 8 8 8 8 8 8 8 {\displaystyle {\begin{matrix}1&2&3&4&5&6&7&8\\\2&2&3&4&5&6&7&8\\\3&3&3&4&5&6&7&8\\\4&4&4&4&5&6&7&8\\\5&5&5&5&5&6&7&8\\\6&6&6&6&6&6&7&8\\\7&7&7&7&7&7&7&8\\\8&8&8&8&8&8&8&8\end{matrix}}}

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.

There is a similar ‘’’gnomon’’’ with centered hexagonal numbers adding up to make cubes of each integer number.

## Notes[edit]

1. ^ a b Dickson, L. E. (1919). History of the Theory of Numbers. Vol. 2\. p. 3\. ISBN 978-0-8284-0086-2. Retrieved 2021-08-15.
2. ^ Simpson, J. A.; Weiner, E. S. C., eds. (1992). "Figural number". The Compact Oxford English Dictionary (2nd ed.). Oxford, England: Clarendon Press. p. 587.
3. ^ Heath, Sir Thomas (1921). A History of Greek Mathematics. Vol. 1\. Oxford at the Clarendon Press.
4. ^ Maziarz, Edward A.; Greenwood, Thomas (1968). Greek Mathematical Philosophy. Barnes & Noble Books. ISBN 978-1-56619-954-4.
5. ^ "Figurate Numbers". Mathigon. Retrieved 2021-08-15.
6. ^ Taylor, Thomas (2006). The Theoretic Arithmetic of the Pythagoreans. Prometheus Trust. ISBN 978-1-898910-29-9.
7. ^ Boyer, Carl B.; Merzbach, Uta C. (1991). A History of Mathematics (Second ed.). p. 48.
8. ^ Zhmud, Leonid (2019): From Number Symbolism to Arithmology. In: L. Schimmelpfennig (ed.): Number and Letter Systems in the Service of Religious Education. Tübingen: Seraphim, 2019. p.25-45
9. ^ Kraitchik, Maurice (2006). Mathematical Recreations (2nd revised ed.). Dover Books. ISBN 978-0-486-45358-3.
10. ^ 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. Vol. 374\. Providence, RI: Amer. Math. Soc. pp. 15–36. MR 2134759.

## References[edit]

* Gazalé, Midhat J. (1999), "Gnomon: From Pharaohs to Fractals", European Journal of Physics, 20 (6), Princeton University Press: 523, Bibcode:1999EJPh...20..523G, doi:10.1088/0143-0807/20/6/501, ISBN 978-0-691-00514-0
* Deza, Elena; Deza, Michel Marie (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, Chelsea Publishing Co, ASIN B000OKO3TK
* Boyer, Carl B.; Merzbach, Uta C., A History of Mathematics (2nd ed.)

* v
* t
* e

Figurate numbers

2-dimensional|

| centered|

* Centered triangular numbers
* Centered square numbers
* Centered pentagonal numbers
* Centered hexagonal numbers
* Centered heptagonal numbers
* Centered octagonal numbers
* Centered nonagonal numbers
* Centered decagonal numbers
* Star numbers

|

non-centered|

* Triangular numbers
* Square numbers
* Pentagonal numbers
* Hexagonal numbers
* Heptagonal numbers
* Octagonal numbers
* Nonagonal numbers
* Decagonal numbers
* Dodecagonal numbers

3-dimensional|

| centered|

* Centered tetrahedral numbers
* Centered cube numbers
* Centered octahedral numbers
* Centered dodecahedral numbers
* Centered icosahedral numbers

|

non-centered|

* Cube numbers
* Octahedral numbers
* Dodecahedral numbers
* Icosahedral numbers
* Stella octangula numbers

pyramidal|

* Tetrahedral numbers
* Square pyramidal numbers

4-dimensional|

| non-centered|

* Pentatope numbers
* Squared triangular numbers
* Tesseractic numbers

|

Higher dimensional|

| non-centered|

* 5-hypercube numbers
* 6-hypercube numbers
* 7-hypercube numbers
* 8-hypercube numbers

|

* v
* t
* e

Classes of natural numbers

Powers and related numbers

* Achilles
* Power of 2
* Power of 3
* Power of 10
* Square
* Cube
* Fourth power
* Fifth power
* Sixth power
* Seventh power
* Eighth power
* Perfect power
* Powerful
* Prime power

Of the form a × 2b ± 1

* Cullen
* Double Mersenne
* Fermat
* Mersenne
* Proth
* Thabit
* Woodall

Other polynomial numbers

* Hilbert
* Idoneal
* Leyland
* Loeschian
* Lucky numbers of Euler

Recursively defined numbers

* Fibonacci
* Jacobsthal
* Leonardo
* Lucas
* Narayana
* Padovan
* Pell
* Perrin

Possessing a specific set of other numbers

* Amenable
* Congruent
* Knödel
* Riesel
* Sierpiński

Expressible via specific sums

* Nonhypotenuse
* Polite
* Practical
* Primary pseudoperfect
* Ulam
* Wolstenholme

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
* Cubic
* Octahedral
* Dodecahedral
* Icosahedral
* Stella octangula

pyramidal|

* Square pyramidal

4-dimensional|

| non-centered|

* Pentatope
* Squared triangular
* Tesseractic

|

Combinatorial numbers

* Bell
* Cake
* Catalan
* Dedekind
* Delannoy
* Euler
* Eulerian
* Fuss–Catalan
* Lah
* Lazy caterer's sequence
* Lobb
* Motzkin
* Narayana
* Ordered Bell
* Schröder
* Schröder–Hipparchus
* Stirling first
* Stirling second
* Telephone number
* Wedderburn–Etherington

Primes

* Wieferich
* Wall–Sun–Sun
* Wolstenholme prime
* Wilson

Pseudoprimes

* Carmichael number
* Catalan pseudoprime
* Elliptic pseudoprime
* Euler pseudoprime
* Euler–Jacobi pseudoprime
* Fermat pseudoprime
* Frobenius pseudoprime
* Lucas pseudoprime
* Lucas–Carmichael number
* Perrin pseudoprime
* Somer–Lucas pseudoprime
* Strong pseudoprime

Arithmetic functions and dynamics

| Divisor functions|

* Abundant
* Almost perfect
* Arithmetic
* Betrothed
* Colossally abundant
* Deficient
* Descartes
* Hemiperfect
* Highly abundant
* Highly composite
* Hyperperfect
* Multiply perfect
* Perfect
* Practical
* Primitive abundant
* Quasiperfect
* Refactorable
* Semiperfect
* Sublime
* Superabundant
* Superior highly composite
* Superperfect

|

Prime omega functions|

* Almost prime
* Semiprime

Euler's totient function|

* Highly cototient
* Highly totient
* Noncototient
* Nontotient
* Perfect totient
* Sparsely totient

Aliquot sequences|

* Amicable
* Perfect
* Sociable
* Untouchable

Primorial|

* Euclid
* Fortunate

Other prime factor or divisor related numbers

* Blum
* Cyclic
* Erdős–Nicolas
* Erdős–Woods
* Friendly
* Giuga
* Harmonic divisor
* Jordan–Pólya
* Lucas–Carmichael
* Pronic
* Regular
* Rough
* Smooth
* Sphenic
* Størmer
* Super-Poulet
* Zeisel

Numeral system-dependent numbers

| Arithmetic functions
and dynamics|

* Persistence
* Additive
* Multiplicative

| Digit sum|

* Digit sum
* Digital root
* Self
* Sum-product

|

Digit product|

* Multiplicative digital root
* Sum-product

Coding-related|

* Meertens

Other|

* Dudeney
* Factorion
* Kaprekar
* Kaprekar's constant
* Keith
* Lychrel
* Narcissistic
* Perfect digit-to-digit invariant
* Perfect digital invariant
* Happy

P-adic numbers-related|

* Automorphic
* Trimorphic

Digit-composition related|

* Palindromic
* Pandigital
* Repdigit
* Repunit
* Self-descriptive
* Smarandache–Wellin
* Undulating

Digit-permutation related|

* Cyclic
* Digit-reassembly
* Parasitic
* Primeval
* Transposable

Divisor-related|

* Equidigital
* Extravagant
* Frugal
* Harshad
* Polydivisible
* Smith
* Vampire

Other|

* Friedman

Binary numbers

* Evil
* Odious
* Pernicious

Generated via a sieve

* Lucky
* Prime

Sorting related

* Pancake number
* Sorting number

Natural language related

* Aronson's sequence
* Ban

Graphemics related

* Strobogrammatic

* Mathematics portal

* v
* t
* e

Sequences and series

Integer sequences|

| Basic|

* Arithmetic progression
* Geometric progression
* Harmonic progression
* Square number
* Cubic number
* Factorial
* Powers of two
* Powers of three
* Powers of 10

|

Advanced (list)|

* Complete sequence
* Fibonacci sequence
* Figurate number
* Heptagonal number
* Hexagonal number
* Lucas number
* Pell number
* Pentagonal number
* Polygonal number
* Triangular number
* array

Properties of sequences|

* Cauchy sequence
* Monotonic function
* Periodic sequence

Properties of series|

| Series|

* Alternating
* Convergent
* Divergent
* Telescoping

|

Convergence|

* Absolute
* Conditional
* Uniform

Explicit series|

| Convergent|

* 1/2 − 1/4 + 1/8 − 1/16 + ⋯
* 1/2 + 1/4 + 1/8 + 1/16 + ⋯
* 1/4 + 1/16 + 1/64 + 1/256 + ⋯
* 1 + 1/2s \+ 1/3s \+ ... (Riemann zeta function)

|

Divergent|

* 1 + 1 + 1 + 1 + ⋯
* 1 − 1 + 1 − 1 + ⋯ (Grandi's series)
* 1 + 2 + 3 + 4 + ⋯
* 1 − 2 + 3 − 4 + ⋯
* 1 + 2 + 4 + 8 + ⋯
* 1 − 2 + 4 − 8 + ⋯
* Infinite arithmetic series
* 1 − 1 + 2 − 6 + 24 − 120 + ⋯ (alternating factorials)
* 1 + 1/2 + 1/3 + 1/4 + ⋯ (harmonic series)
* 1/2 + 1/3 + 1/5 + 1/7 + 1/11 + ⋯ (inverses of primes)

Kinds of series|

* Taylor series
* Power series
* Formal power series
* Laurent series
* Puiseux series
* Dirichlet series
* Trigonometric series
* Fourier series
* Generating series

Hypergeometric series|

* Generalized hypergeometric series
* Hypergeometric function of a matrix argument
* Lauricella hypergeometric series
* Modular hypergeometric series
* Riemann's differential equation
* Theta hypergeometric series

* Category

Authority control databases: National |

* Germany

|

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template