A **figurate number** is a number represented as a regular and discrete geometric pattern (e.g. dots) such as a **polygonal number** or a **polyhedral number**.

## Terminology

The triangular numbers can be generalized in various ways. As used here, and in a number other places, the term **figurate number** is meant to be broadly inclusive.

In historical works about Greek mathematics the preferred term is *figured number*. For example A history of Greek Mathematics by T. Heath and Greek Mathematical Philosophy by E.A. Maziarz.

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. In other words 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. This is the sense in which L.E. Dickson uses the term in his History of the Theory of Numbers.

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.

## Triangular Numbers

The first few triangular numbers can be built from rows of 1, 2, 3, 4, 5, and 6 items:

| | | | |

These are seen to be the binomial coefficients $ k \choose 2 $. This is the case r=2 of the fact that the rth diagonal of Pascals Triangle for $ r \ge 0 $ consists of the figurate numbers for the r-dimensional analogs of triangles (simplices).

Polytopic numbers for r = 2, 3, and 4 are:

- $ ''P''<sub>2</sub>(n) = \frac{n^2 + n}{2} $ (triangular numbers).
- $ ''P''<sub>3</sub>(n) = \frac{n(n + 1)(n + 2)}{6} $ (tetrahedral numbers).
- $ ''P''<sub>4</sub>(n) = \frac{n(n + 1)(n + 2)(n + 3)}{24} $ (pentatopic numbers).

Our present 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

Figurate numbers were a concern of Pythagorean geometry, since Pythagoras is credited with initiating them, and the notion that these numbers are generated from a gnomon or basic unit. The gnomon is the piece added to a figurate number to transform it to the next bigger one.

For example, the gnomon of the square number is the odd number, of the general form 2*n* + 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 2*n* + 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.

Note that this gnomonic technique also provides a proof that the sum of the first *n* odd numbers is *n*^{2}; the figure illustrates 1 + 3 + 5 + 7 + 9 + 11 + 13 + 15 = 64 = 8^{2}.

## Demonstration of mathematical properties

School children construct figurate numbers from pebbles, bottle caps, etc. As a bonus, children can use figurate numbers to discover the commutative law and associative law for addition and multiplication — laws usually dictated to them — by building rows and tables of dots.

For example, the additive commutativity of 2 + 3 = 3 + 2 = 5 becomes:

And the multiplicative commutativity of 2 × 3 = 3 × 2 = 6 becomes:

Besides the subtractive method, the additive method can also approximate square roots of positive integers and solve quadratic equations.

The concepts of figurate numbers and gnomon implicitly anticipate the modern concept of recursion.

## References

- Gazalé, Midhat J. (1999),
*Gnomon: from pharaohs to fractals*, Princeton University Press, ISBN 978-0-691-00514-0ar:عدد شكليeo:Figuriga nombroit:Numero figuratovi:Số hình học