Pentagonal number

Figurate number
A visual representation of the first six pentagonal numbers

A pentagonal number is a figurate number that extends the concept of triangular and square numbers to the pentagon, but, unlike the first two, the patterns involved in the construction of pentagonal numbers are not rotationally symmetrical. The nth pentagonal number pn is the number of distinct dots in a pattern of dots consisting of the outlines of regular pentagons with sides up to n dots, when the pentagons are overlaid so that they share one vertex. For instance, the third one is formed from outlines comprising 1, 5 and 10 dots, but the 1, and 3 of the 5, coincide with 3 of the 10 – leaving 12 distinct dots, 10 in the form of a pentagon, and 2 inside.

pn is given by the formula:

p n = 3 n 2 n 2 = ( n 1 ) + 3 ( n 2 ) {\displaystyle p_{n}={\frac {3n^{2}-n}{2}}={\binom {n}{1}}+3{\binom {n}{2}}}

for n ≥ 1. The first few pentagonal numbers are:

1, 5, 12, 22, 35, 51, 70, 92, 117, 145, 176, 210, 247, 287, 330, 376, 425, 477, 532, 590, 651, 715, 782, 852, 925, 1001, 1080, 1162, 1247, 1335, 1426, 1520, 1617, 1717, 1820, 1926, 2035, 2147, 2262, 2380, 2501, 2625, 2752, 2882, 3015, 3151, 3290, 3432, 3577, 3725, 3876, 4030, 4187... (sequence A000326 in the OEIS).

The nth pentagonal number is the sum of n integers starting from n (i.e. from n to 2n-1). The following relationships also hold:

p n = p n 1 + 3 n 2 = 2 p n 1 p n 2 + 3 {\displaystyle p_{n}=p_{n-1}+3n-2=2p_{n-1}-p_{n-2}+3}

Pentagonal numbers are closely related to triangular numbers. The nth pentagonal number is one third of the (3n − 1)th triangular number. In addition, where Tn is the nth triangular number:

p n = T n 1 + n 2 = T n + 2 T n 1 = T 2 n 1 T n 1 {\displaystyle p_{n}=T_{n-1}+n^{2}=T_{n}+2T_{n-1}=T_{2n-1}-T_{n-1}}


Generalized pentagonal numbers are obtained from the formula given above, but with n taking values in the sequence 0, 1, −1, 2, −2, 3, −3, 4..., producing the sequence:

0, 1, 2, 5, 7, 12, 15, 22, 26, 35, 40, 51, 57, 70, 77, 92, 100, 117, 126, 145, 155, 176, 187, 210, 222, 247, 260, 287, 301, 330, 345, 376, 392, 425, 442, 477, 495, 532, 551, 590, 610, 651, 672, 715, 737, 782, 805, 852, 876, 925, 950, 1001, 1027, 1080, 1107, 1162, 1190, 1247, 1276, 1335... (sequence A001318 in the OEIS).

Generalized pentagonal numbers are important to Euler's theory of integer partitions, as expressed in his pentagonal number theorem.

The number of dots inside the outermost pentagon of a pattern forming a pentagonal number is itself a generalized pentagonal number.

Other properties

  • p n {\displaystyle p_{n}} for n>0 is the number of different compositions of n + 8 {\displaystyle n+8} into n parts that don't include 2 or 3.
  • p n {\displaystyle p_{n}} is the sum of the first n natural numbers congruent to 1 mod 3.
  • p 8 n p 8 n 1 = p 2 n + 2 p 2 n 2 {\displaystyle p_{8n}-p_{8n-1}=p_{2n+2}-p_{2n-2}}

Generalized pentagonal numbers and centered hexagonal numbers

Generalized pentagonal numbers are closely related to centered hexagonal numbers. When the array corresponding to a centered hexagonal number is divided between its middle row and an adjacent row, it appears as the sum of two generalized pentagonal numbers, with the larger piece being a pentagonal number proper:

1=1+0 7=5+2 19=12+7 37=22+15
* **
***
**
***
****
*****
****
***
****
*****
******
*******
******
*****
****

In general:

3 n ( n 1 ) + 1 = 1 2 n ( 3 n 1 ) + 1 2 ( 1 n ) ( 3 ( 1 n ) 1 ) {\displaystyle 3n(n-1)+1={\tfrac {1}{2}}n(3n-1)+{\tfrac {1}{2}}(1-n){\bigl (}3(1-n)-1{\bigr )}}

where both terms on the right are generalized pentagonal numbers and the first term is a pentagonal number proper (n ≥ 1). This division of centered hexagonal arrays gives generalized pentagonal numbers as trapezoidal arrays, which may be interpreted as Ferrers diagrams for their partition. In this way they can be used to prove the pentagonal number theorem referenced above.

Proof without words that the nth pentagonal number can be decomposed into three triangular numbers and the number n.

Tests for pentagonal numbers

Given a positive integer x, to test whether it is a (non-generalized) pentagonal number we can compute

n = 24 x + 1 + 1 6 . {\displaystyle n={\frac {{\sqrt {24x+1}}+1}{6}}.}

The number x is pentagonal if and only if n is a natural number. In that case x is the nth pentagonal number.

For generalized pentagonal numbers, it is sufficient to just check if 24x + 1 is a perfect square.

For non-generalized pentagonal numbers, in addition to the perfect square test, it is also required to check if

24 x + 1 5 mod 6 {\displaystyle {\sqrt {24x+1}}\equiv 5\mod 6}

The mathematical properties of pentagonal numbers ensure that these tests are sufficient for proving or disproving the pentagonality of a number.[1]

Gnomon

The Gnomon of the nth pentagonal number is:

p n + 1 p n = 3 n + 1 {\displaystyle p_{n+1}-p_{n}=3n+1}

Square pentagonal numbers

A square pentagonal number is a pentagonal number that is also a perfect square.[2]

The first few are:

0, 1, 9801, 94109401, 903638458801, 8676736387298001, 83314021887196947001, 799981229484128697805801, 7681419682192581869134354401, 73756990988431941623299373152801... (OEIS entry A036353)

See also

  • Hexagonal number
  • Triangular number

References

  1. ^ How do you determine if a number N is a Pentagonal Number?
  2. ^ Weisstein, Eric W. "Pentagonal Square Number." From MathWorld--A Wolfram Web Resource.

Further reading

  • Leonhard Euler: On the remarkable properties of the pentagonal numbers


  • v
  • t
  • e
Figurate numbers
2-dimensional
centered
non-centered
3-dimensional
centered
non-centered
pyramidal
4-dimensional
non-centered
Higher dimensional
non-centered
  • v
  • t
  • e
Classes of natural numbers
Of the form a × 2b ± 1
Other polynomial numbers
Recursively defined numbers
Possessing a specific set of other numbers
Expressible via specific sums
2-dimensional
centered
non-centered
3-dimensional
centered
non-centered
pyramidal
4-dimensional
non-centered
Combinatorial numbers
Divisor functions
Prime omega functions
Euler's totient function
Aliquot sequences
Primorial
Numeral system-dependent numbers
Arithmetic functions
and dynamics
Digit sum
Digit product
Coding-related
Other
P-adic numbers-related
Digit-composition related
Digit-permutation related
Divisor-related
Other
Generated via a sieve
  • Mathematics portal
  • v
  • t
  • e
Sequences and series
Integer sequences
Basic
Advanced (list)
Fibonacci spiral with square sizes up to 34.
Properties of sequences
Properties of series
Series
Convergence
Explicit series
Convergent
Divergent
Kinds of series
Hypergeometric series
  • Category