Heptagonaal getal

Eerste vijf heptagonale getallen

Een heptagonaal getal is een veelhoeksgetal met een regelmatige zevenhoek als basisfiguur. Het is dus het aantal bolletjes dat zich tot in elkaar grijpende regelmatige zevenhoeken laat rangschikken. De twee eerste heptagonale getallen zijn 0 en 1. Er kunnen bij 6 bolletjes bij 1 worden geplaatst om het volgende heptagonale getal 7 te krijgen. Voor de volgende zevenhoek zijn 5 nieuwe zijden nodig. De andere 2 zijden zijn steeds gemeenschappelijk. Er zijn 5×2+1=11 nieuwe bolletjes nodig, zodat het derde heptagonale getal 7+11=18 is. Dit gaat zo door, en leidt tot de recurrente betrekking:

h n + 1 = h n + 5 n + 1 {\displaystyle h_{n+1}=h_{n}+5n+1}

voor n = 0 , 1 , 2 , {\displaystyle n=0,1,2,\ldots } en met h 0 = 0 {\displaystyle h_{0}=0} .

Een veelhoek kan worden gedacht vanuit het gemeenschappelijke hoekpunt te zijn opgebouwd. Dan zijn 5 nieuwe zijden nodig met n {\displaystyle n} bolletjes waarvan 4 dubbel geteld zijn: de 4 hoekpunten waar 2 nieuwe zijden bij elkaar komen. Dat geeft de volgende recurrente betrekking:

h n = h n 1 + 5 n 4 {\displaystyle h_{n}=h_{n-1}+5n-4}

Deze is gelijkwaardig met de betrekking erboven.

Uit de recurrente betrekking volgt de algemene formule voor het n {\displaystyle n} -de heptagonale getal:

h n = 1 2 n ( 5 n 3 ) {\displaystyle h_{n}={\tfrac {1}{2}}n(5n-3)}

De eerste heptagonale getallen zijn:

0, 1, 7, 18, 34, 55, 81, 112, 148, 189, 235, 286, 342, 403, 469, 540, 616, 697, 783, 874, 970, 1071, 1177, 1288, 1404, 1525, 1651, 1782, 1918, 2059, 2205, 2356, 2512, 2673, 2839, 3010, 3186, 3367, 3553, 3744, 3940, 4141, 4347, 4558, 4774, 4995, 5221, 5452, 5688.[1]

De heptagonale getallen volgen vanaf 0 het stramien oneven, oneven, even, even. Het vijfvoud van een heptagonaal getal plus 1 is een driehoeksgetal.

Voortbrengende functie

De voortbrengende functie voor de heptagonale getallen is:[2]

g ( x ) = x 4 x + 1 ( 1 x ) 3 = x + 7 x 2 + 18 x 3 + 34 x 4 + {\displaystyle g(x)=x{\frac {4x+1}{(1-x)^{3}}}=x+7x^{2}+18x^{3}+34x^{4}+\ldots }

Gegeneraliseerde heptagonale getallen

Door in de formule

h n = 1 2 n ( 5 n 3 ) {\displaystyle h_{n}={\tfrac {1}{2}}n(5n-3)}

ook negatieve waarden van n {\displaystyle n} toe te laten, ontstaan de gegeneraliseerde heptagonale getallen. Behalve de gewone heptagonale getallen zijn dit: 4, 13, 27, 46, 70, 99, ... De eerste gegeneraliseerde heptagonale getallen zijn dus:

0, 1, 4, 7, 13, 18, 27, 34, 46, 55, 70, 81, 99, 112, .. [3]

Elk tweede getal in deze rij is een gewoon heptagonaal getal.

De h n {\displaystyle h_{n}} blijken de getallen te zijn waarvoor het getal h n 225 {\displaystyle h_{n}225} als cijferreeks, dus als getal 1000   h n + 225 {\displaystyle 1000\ h_{n}+225} een kwadraat is.

Controleren

2 h n = 5 n 2 3 n {\displaystyle 2h_{n}=5n^{2}-3n}
1000 h n + 225 = 2500 n 2 1500 n + 15 2 = ( 50 n 15 ) 2 {\displaystyle 1000h_{n}+225=2500n^{2}-1500n+15^{2}=(50n-15)^{2}}

en ook

1000 h n + 225 = a 2 {\displaystyle 1000h_{n}+225=a^{2}}
Substitueren van a = 50 n 15 {\displaystyle a=50n-15} geeft
2 h n = 5 n 2 3 n {\displaystyle 2h_{n}=5n^{2}-3n}

Definieer de rij ( a n ) {\displaystyle (a_{n})} :

a n = { n als  n  oneven is 3 2 n als  n  even is {\displaystyle a_{n}={\begin{cases}n&{\text{als }}n{\text{ oneven is}}\\{\tfrac {3}{2}}n&{\text{als }}n{\text{ even is}}\end{cases}}}

Dat is de rij 0, 1, 3, 3, 6, 5, 9, 7, 12, 9, ...

n = 0 m a n = n = 1 m n + n = 1 m / 2 n = T m + T m / 2 {\displaystyle \sum _{n=0}^{m}a_{n}=\sum _{n=1}^{m}n+\sum _{n=1}^{\lfloor m/2\rfloor }n=T_{m}+T_{\lfloor m/2\rfloor }}

waarin

T n {\displaystyle T_{n}} het n {\displaystyle n} -de driehoeksgetal voorstelt.

De gegeneraliseerde heptagonale getallen voldoen dus aan:

h n = T n + T n 2 {\displaystyle h_{n}=T_{n}+T_{\lfloor {\frac {n}{2}}\rfloor }}

Behalve 1 en 70 is geen enkel gegeneraliseerd heptagonaal getal een oplossing van de vergelijking van Pell.[4]

Voetnoten
  1. rij A000566 in OEIS
  2. MathWorld. Heptagonal Number. gearchiveerd op 8 juni 2023
  3. rij A085787 in OEIS
  4. B Srinivasa Rao. Heptagonal Numbers in the Pell Sequence and Diophantine equations 2 x 2 = y 2 ( 5 y 3 ) 2 ± 2 {\displaystyle 2x^{2}=y^{2}(5y-3)^{2}\pm 2} , juli 2002. in Fibonacci Quarterly, 43, 3, blz 194-201