Octahedral number

146 magnetic balls, packed in the form of an octahedron

In number theory, an octahedral number is a figurate number that represents the number of spheres in an octahedron formed from close-packed spheres. The n {\displaystyle n} th octahedral number O n {\displaystyle O_{n}} can be obtained by the formula:[1]

O n = n ( 2 n 2 + 1 ) 3 . {\displaystyle O_{n}={n(2n^{2}+1) \over 3}.}

The first few octahedral numbers are:

1, 6, 19, 44, 85, 146, 231, 344, 489, 670, 891 (sequence A005900 in the OEIS).

Properties and applications

The octahedral numbers have a generating function

z ( z + 1 ) 2 ( z 1 ) 4 = n = 1 O n z n = z + 6 z 2 + 19 z 3 + . {\displaystyle {\frac {z(z+1)^{2}}{(z-1)^{4}}}=\sum _{n=1}^{\infty }O_{n}z^{n}=z+6z^{2}+19z^{3}+\cdots .}

Sir Frederick Pollock conjectured in 1850 that every positive integer is the sum of at most 7 octahedral numbers.[2] This statement, the Pollock octahedral numbers conjecture, has been proven true for all but finitely many numbers.[3]

In chemistry, octahedral numbers may be used to describe the numbers of atoms in octahedral clusters; in this context they are called magic numbers.[4][5]

Relation to other figurate numbers

Square pyramids

An octahedral packing of spheres may be partitioned into two square pyramids, one upside-down underneath the other, by splitting it along a square cross-section. Therefore, the n {\displaystyle n} th octahedral number O n {\displaystyle O_{n}} can be obtained by adding two consecutive square pyramidal numbers together:[1]

O n = P n 1 + P n . {\displaystyle O_{n}=P_{n-1}+P_{n}.}

Tetrahedra

If O n {\displaystyle O_{n}} is the n {\displaystyle n} th octahedral number and T n {\displaystyle T_{n}} is the n {\displaystyle n} th tetrahedral number then

O n + 4 T n 1 = T 2 n 1 . {\displaystyle O_{n}+4T_{n-1}=T_{2n-1}.}

This represents the geometric fact that gluing a tetrahedron onto each of four non-adjacent faces of an octahedron produces a tetrahedron of twice the size.

Another relation between octahedral numbers and tetrahedral numbers is also possible, based on the fact that an octahedron may be divided into four tetrahedra each having two adjacent original faces (or alternatively, based on the fact that each square pyramidal number is the sum of two tetrahedral numbers):

O n = T n + 2 T n 1 + T n 2 . {\displaystyle O_{n}=T_{n}+2T_{n-1}+T_{n-2}.}

Cubes

If two tetrahedra are attached to opposite faces of an octahedron, the result is a rhombohedron.[6] The number of close-packed spheres in the rhombohedron is a cube, justifying the equation

O n + 2 T n 1 = n 3 . {\displaystyle O_{n}+2T_{n-1}=n^{3}.}

Centered squares

Square pyramids in which each layer has a centered square number of cubes. The total number of cubes in each pyramid is an octahedral number.

The difference between two consecutive octahedral numbers is a centered square number:[1]

O n O n 1 = C 4 , n = n 2 + ( n 1 ) 2 . {\displaystyle O_{n}-O_{n-1}=C_{4,n}=n^{2}+(n-1)^{2}.}

Therefore, an octahedral number also represents the number of points in a square pyramid formed by stacking centered squares; for this reason, in his book Arithmeticorum libri duo (1575), Francesco Maurolico called these numbers "pyramides quadratae secundae".[7]

The number of cubes in an octahedron formed by stacking centered squares is a centered octahedral number, the sum of two consecutive octahedral numbers. These numbers are

1, 7, 25, 63, 129, 231, 377, 575, 833, 1159, 1561, 2047, 2625, ... (sequence A001845 in the OEIS)

given by the formula

O n + O n 1 = ( 2 n 1 ) ( 2 n 2 2 n + 3 ) 3 {\displaystyle O_{n}+O_{n-1}={\frac {(2n-1)(2n^{2}-2n+3)}{3}}} for n = 1, 2, 3, ...

History

The first study of octahedral numbers appears to have been by René Descartes, around 1630, in his De solidorum elementis. Prior to Descartes, figurate numbers had been studied by the ancient Greeks and by Johann Faulhaber, but only for polygonal numbers, pyramidal numbers, and cubes. Descartes introduced the study of figurate numbers based on the Platonic solids and some of the semiregular polyhedra; his work included the octahedral numbers. However, De solidorum elementis was lost, and not rediscovered until 1860. In the meantime, octahedral numbers had been studied again by other mathematicians, including Friedrich Wilhelm Marpurg in 1774, Georg Simon Klügel in 1808, and Sir Frederick Pollock in 1850.[8]

References

  1. ^ a b c Conway, John Horton; Guy, Richard K. (1996), The Book of Numbers, Springer-Verlag, p. 50, ISBN 978-0-387-97993-9.
  2. ^ Dickson, L. E. (2005), Diophantine Analysis, History of the Theory of Numbers, vol. 2, New York: Dover, pp. 22–23, ISBN 9780821819357.
  3. ^ Elessar Brady, Zarathustra (2016), "Sums of seven octahedral numbers", Journal of the London Mathematical Society, Second Series, 93 (1): 244–272, arXiv:1509.04316, doi:10.1112/jlms/jdv061, MR 3455791, S2CID 206364502
  4. ^ Teo, Boon K.; Sloane, N. J. A. (1985), "Magic numbers in polygonal and polyhedral clusters" (PDF), Inorganic Chemistry, 24 (26): 4545–4558, doi:10.1021/ic00220a025, archived from the original (PDF) on 2012-03-13, retrieved 2011-04-08.
  5. ^ Feldheim, Daniel L.; Foss, Colby A. (2002), Metal nanoparticles: synthesis, characterization, and applications, CRC Press, p. 76, ISBN 978-0-8247-0604-3.
  6. ^ Burke, John G. (1966), Origins of the science of crystals, University of California Press, p. 88.
  7. ^ Tables of integer sequences Archived 2012-09-07 at archive.today from Arithmeticorum libri duo, retrieved 2011-04-07.
  8. ^ Federico, Pasquale Joseph (1982), Descartes on Polyhedra: A Study of the "De solidorum elementis", Sources in the History of Mathematics and Physical Sciences, vol. 4, Springer, p. 118

External links

  • v
  • t
  • e
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