Oktaedertal

146 magnetiska bollar förpackade i form av en oktaeder.

Inom talteorin är oktaedertal en sorts figurtal som motsvarar antalet sfärer i en oktaeder. Det n:te oktaedertalet $O_{n}$ kan ges av formeln:

$O_{n}={n(2n^{2}+1) \over 3}$

De första oktaedertalen är:

1, 6, 19, 44, 85, 146, 231, 344, 489, 670, 891, … (talföljd A005900 i OEIS)

Egenskaper och användningsområden

Oktaedertalen har en genererande funktion:

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

År 1850 hade Sir Frederick Pollock teorin om att varje tal är summan av högst 7 oktaedertal.

Inom kemi kan oktaedertal användas för att beskriva antalet atomer i oktaederkluster. I detta sammanhang kallas de magiska tal.

Förhållande till andra figurtal

Kvadratpyramider

Kvadratpyramider där antalet kuber i varje skikt är ett centrerat kvadrattal. Det totala antalet kuber i varje pyramid är ett oktaedertal.

En oktaedrisk packning av sfärer kan partitioneras till två kvadratpyramider, en upp och ned under den andra, genom att dela upp den längs en kvadratisk tvärsektion. Därför kan det n:te oktaedertalet $O_{n}$ ges genom tillsats av två på varandra följande kvadratpyramidtal tillsammans:

$O_{n}=P_{n-1}+P_{n}$

Tetraedrar

Om $O_{n}$ är det n:te oktaedertalet och $T_{n}$ är det n:te tetraedertalet är:

$O_{n}+4T_{n-1}=T_{2n-1}$

Detta är det geometriska faktum att genom att limma en tetraeder på vardera av fyra icke-intilliggande ytor av en oktaeder blir produkten en dubbelt så stor tetraeder. Ett annat förhållande mellan oktaedertal och tetraedertal är också möjligt, baserat på det faktum att en oktaeder kan delas in i fyra tetraedrar vardera har två intilliggande ursprungliga former (eller alternativt, som grundar sig på det faktum att varje kvadratpyramidtal är summan av två tetraedertal):

$O_{n}=T_{n}+2T_{n-1}+T_{n-2}$

Kuber

Om två tetraedrar är förbundna med motsatta sidor av en oktaeder blir resultatet en romboeder. Antalet tätpackade sfärer i en romboeder är en kub, genom ekvationen:

$O_{n}+2T_{n-1}=n^{3}$

Centrerade kvadrater

Skillnaden mellan två på varandra följande oktaedertal är ett centrerat kvadrattal:

$O_{n}-O_{n-1}=C_{4,n}=n^{2}+(n-1)^{2}$

Därför representerar ett oktaedertal också antalet punkter i en kvadratpyramid som bildas genom att stapla centrerade kvadrater.

Antalet kuber i en oktaeder bildas genom att stapla centrerade oktaedertal, summan av två på var andra följande oktaedertal. Dessa tal är:

1, 7, 25, 63, 129, 231, 377, 575, 833, 1159, 1561, 2047, 2625, … (talföljd A001845 i OEIS)

och ges av formeln:

$O_{n}+O_{n-1}={\frac {(2n+1)(2n^{2}+2n+3)}{3}}$

Källor

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Octahedral number, 10 juli 2013.