Kuviolliset luvut ovat numeroita, jotka voidaan esittää geometristen muotojen avulla. Tämä historiallinen käsite juontaa juurensa pythagoralaisiin , jotka kehittivät algebran geometriseltä pohjalta ja esittivät mitä tahansa positiivista kokonaislukua pistejoukona tasossa [1] . Ilmaukset "neliöluku" tai "kuutio" [2] säilyivät tämän lähestymistavan kaikuina .
Perinteisesti kiharalukuja on kaksi pääluokkaa [3] :
Jokainen kuviollisten numeroiden luokka on puolestaan jaettu lajikkeisiin , joista jokainen liittyy tiettyyn geometriseen kuvioon: kolmio, neliö, tetraedri jne.
On olemassa myös kiharalukujen yleistyksiä moniulotteisiksi avaruuksiksi . Muinaisina aikoina, kun aritmetiikkaa ei erotettu geometriasta, harkittiin useita muita kuviollisia lukutyyppejä, joita ei tällä hetkellä käytetä .
Numeroteoriassa ja kombinatoriikassa figuratiiviset luvut yhdistetään moniin muihin kokonaislukuluokkiin [ - binomikertoimiin , täydellisiin lukuihin , Mersennen lukuihin , Fermat -lukuihin , Fibonacci-lukuihin , Lucas -lukuihin ja muihin [4] .
Lyhyyden vuoksi tässä osiossa klassisia monikulmiolukuja kutsutaan yksinkertaisesti "monikulmioluvuiksi".
Monikulmioluvut ovat pisteiden lukumäärää osoittava sekvenssi, joka on rakennettu niiden sääntöjen mukaisesti, joita havainnollistetaan käyttämällä seitsemänkulmion esimerkkiä. Seitsenkulmaisten lukujen sarja alkaa luvulla 1 (peruspiste), jonka jälkeen tulee 7, koska 7 pistettä muodostaa säännöllisen seitsenkulmion , 6 pistettä lisätään. Kolmas numero vastaa seitsenkulmiota, jonka sivuilla ei ole jo kaksi, vaan kolme pistettä, ja kaikki edellisissä vaiheissa rakennetut pisteet otetaan myös huomioon. Kuvasta voidaan nähdä, että kolmas luku sisältää 18 pistettä, lisäys (Pythagoras kutsui sitä " gnomoniksi ") oli 11 pistettä. On helppo nähdä, että lisäykset muodostavat aritmeettisen progression , jossa jokainen termi on 5 enemmän kuin edellinen [5] .
Siirtymällä yleiseen -goniin voimme päätellä, että jokaisessa vaiheessa kuviollista lukua vastaavien pisteiden määrä kasvaa aritmeettisen progression [5] summana, kun ensimmäinen termi on 1 ja erotus.
Yleinen k -hiililuvun määritelmä mille tahansa seuraa yllä esitetystä geometrisesta rakenteesta. Se voidaan muotoilla seuraavasti [6] :
järjestyksessä k -hiililuku on aritmeettisen progression ensimmäisten termien summa , jossa ensimmäinen termi on yhtä suuri kuin 1 ja erotus on yhtä suuri |
Esimerkiksi kolmioluvut saadaan sarjan osittaisina summina ja nelikulmaiset (neliö) luvut vastaavat sarjaa
K -kulmaisten lukujen sarja on muotoa [7] :
Yleinen kaava k -hiilen luvun eksplisiittiselle laskemiselle voidaan saada esittämällä se aritmeettisen progression summana [8] :
. | (OKF) |
Joissakin lähteissä kiharalukujen sarja alkaa nollasta (esimerkiksi A000217 :ssä ):
Tässä tapauksessa yleisessä kaavassa se on sallittu Tässä artikkelissa kuviolliset numerot numeroidaan yhdestä alkaen ja laajennettu sarja on erikseen määritelty.
Monikulmioluvun laskemiseen on myös rekursiivinen kaava [8] :
.Kun sivujen lukumäärä kasvaa yhdellä, vastaavat kuviolliset luvut muuttuvat Nicomachin kaavan [9] mukaan :
, missä . | (Nicomachus) |
Koska se riippuu lineaarisesti kaavasta:
, missä .Toisin sanoen jokainen monikulmioluku on monikulmiolukujen aritmeettinen keskiarvo , jotka ovat siitä tasaetäisyydellä samalla numerolla.
Jos on alkuluku , niin toinen -hiililuku, yhtä suuri kuin , on myös alkuluku; tämä on ainoa tilanne, jossa monikulmioluku on alkuluku, joka voidaan saavuttaa kirjoittamalla yleinen kaava seuraavassa muodossa:
.Todistus: anna Jos se on parillinen, niin kihara luku on jaollinen : llä , ja jos se on pariton, niin se on jaollinen . Molemmissa tapauksissa kuviollinen luku osoittautuu yhdistelmäksi [10] .
Käänteisten monikulmiolukujen sarja
lähentyä. Niiden summa voidaan esittää missä on Euler-Mascheronin vakio , digammafunktio [ 11 ] .
Pythagoralaisten mukaan kuvitetuilla luvuilla on tärkeä rooli maailmankaikkeuden rakenteessa. Siksi monet merkittävät antiikin matemaatikot osallistuivat tutkimukseensa: Eratosthenes , Hypsicles , Diophantus Aleksandrialainen , Theon Smyrna ja muut. Hypsicles (2. vuosisadalla eKr.) antoi yleisen määritelmän hiililuvulle aritmeettisen progression jäsenten summana , jossa ensimmäinen jäsen on , ja erotus on . Diophantus kirjoitti laajan tutkimuksen "Monikulmioista" (3. vuosisadalla jKr.), josta on säilynyt fragmentteja tähän päivään asti. Hypsiclesin määritelmä on annettu Diofantoksen kirjassa seuraavassa muodossa [12] [13] :
Jos otamme joitain lukuja, alkaen yhdestä, joilla on samat erot, niin niiden summa, jos ero on yksi, on kolmio, jos kaksi, niin nelikulmio ja jos kolme, viisikulmio. Kulmien lukumäärä määräytyy kahdella lisätyllä erolla, ja sivu määräytyy otettujen numeroiden lukumäärällä, laskemalla ja yhdellä.
Numeroluvuista puhutaan paljon Pythagoralaisissa aritmeettisissa oppikirjoissa, jotka ovat luoneet Nikomachus Gerazista ja Theon Smyrnalainen (II vuosisata), jotka määrittelivät useita riippuvuuksia eri mittasuhteiden lukumäärien välille. Intialaiset matemaatikot ja keskiaikaisen Euroopan ensimmäiset matemaatikot ( Fibonacci , Pacioli , Cardano jne.) osoittivat suurta kiinnostusta kuviollisia lukuja kohtaan [14] [4] .
Nykyaikana Fermat , Wallis , Euler , Lagrange , Gauss ja muut käsittelivät monikulmiolukuja . Syyskuussa 1636 [15] Fermat muotoili kirjeessään Mersennelle lauseen, jota nykyään kutsutaan Fermatin monikulmiolukulauseeksi [14] :
Löysin ensimmäisenä hyvin kauniin ja melko yleisen lauseen, jonka mukaan jokainen luku on joko kolmio tai kahden tai kolmen kolmioluvun summa; jokainen luku on joko neliö tai kahden, kolmen tai neljän neliön summa; tai viisikulmainen, tai se on kahden, kolmen, neljän tai viiden viisikulmaisen luvun summa ja niin edelleen loputtomiin, olipa kyseessä kuusikulmio, seitsemänkulmainen tai mikä tahansa monikulmioluku. En voi tässä antaa todistetta, joka riippuu lukujen monista ja monimutkaisista mysteereistä, sillä aion omistaa tälle aiheelle kokonaisen kirjan ja saada tässä aritmeettisessa osassa hämmästyttäviä edistysaskeleita aiemmin tunnetuista rajoista.
Vastoin lupaustaan Fermat ei koskaan julkaissut todistetta tästä lauseesta, jota hän kutsui kirjeessään Pascalille (1654) pääsaavutuksekseen matematiikassa [15] . Monet merkittävät matemaatikot käsittelivät ongelmaa - vuonna 1770 Lagrange osoitti lauseen neliöluvuille ( Lagrangen lause neljän neliön summasta ), vuonna 1796 Gauss antoi todisteen kolmioluvuille. Täydellisen todisteen lauseesta antoi Cauchy vuonna 1813 [16] [17] .
Kolmion muotoinen numerosarja :
1, 3, 6, 10, 15, 21, 28, 36, 45, 55, 66, 78, 91, 105, 120, 136, 153, 171, 190, 210 …, … (sekvenssi A00027 :ssä OEIS )Ominaisuudet [18] :
Sarjan elementin pariteetti muuttuu jaksolla 4: pariton, pariton, parillinen, parillinen. Mikään kolmioluku ei voi (desimaalimuodossa) päättyä numeroihin 2, 4, 7, 9 [19] .
Lyhyyden vuoksi merkitsemme kolmiolukua: Silloin rekursiiviset kaavat ovat voimassa:
; .Bacher de Meziriacin kaava : Monikulmioluvun yleinen kaava voidaan muuntaa niin, että se näyttää minkä tahansa monikulmioluvun ilmaisun kolmiomaisina:
. | (basche) |
Kahden peräkkäisen kolmioluvun summa antaa täyden neliön ( neliönumero ):
.Fermat'n lause monikulmioluvuista tarkoittaa, että mikä tahansa luonnollinen luku voidaan esittää enintään kolmen kolmioluvun summana.
Kolmiolukujen äärellisen sarjan summa lasketaan kaavalla:
.Sarja kolmiolukujen käänteislukuja ( teleskooppisarja ) konvergoi [20] :
.Kaksinkertaiset kolmioluvut antavat jonon (määritelty alla ) suorakaiteen muotoisia lukuja .
Luonnollinen luku on kolmio, jos ja vain jos luku on neliö [21] .
Mystiikassa tunnettu " pedon numero " (666) on 36. kolmio. Se on pienin kolmioluku, joka voidaan esittää kolmiolukujen neliöiden summana [22] : .
Kolmioluvut muodostavat Pascalin kolmion kolmannen diagonaaliviivan .
NeliönumerotNeliöluvut ovat kahden identtisen luonnollisen luvun tulo, eli ne ovat täydellisiä neliöitä:
1, 4, 9, 16, 25, 36, 49, 64, 81, 100, 121, 144, 169, 196, 225, 256, 289, 324, 361, 400 …, … (sekvenssi A00290 :ssa OEI0290 ).Jokainen neliöluku yhtä lukuun ottamatta on kahden peräkkäisen kolmioluvun summa [23] :
. Esimerkkejä: jne.Neliöluvun summa, jota edeltää kolmioluku, antaa viisikulmaisen luvun :
.Tämän lauseen julkaisi ensimmäisenä Nicomachus (" Johdatus aritmetiikkaan ", II vuosisata) [24] .
Ensimmäisten luonnollisten lukujen neliösumma lasketaan kaavalla [25] :
.Käänteisten neliölukujen sarja konvergoi [26] :
.Jokainen luonnollinen luku voidaan esittää enintään neljän neliön summana ( Lagrangen neljän neliön summa -lause ).
Brahmagupta-Fibonacci-identiteetti : Kahden neliöluvun ja minkä tahansa muun kahden neliöluvun summan tulo voidaan esittää kahden neliöluvun summana.
Koska oikealla oleva toinen termi voi olla nolla, tässä kannattaa harkita laajennettua neliölukujen sarjaa, joka alkaa ei yhdestä, vaan nollasta (katso A000290 ).
Esimerkki:
. Viisikulmaiset numerotViisikulmaisten numeroiden sarja näyttää tältä:
1, 5, 12, 22, 35, 51, 70, 92, 117, 145, 176, 210, 247, 287, 330, 376, 425, 477, 532, 590…, … ( OEIS26 A0 ).Viisikulmaiset luvut liittyvät läheisesti kolmiomaisiin numeroihin [24] :
.Kuten edellä mainittiin, viisikulmainen luku, joka alkaa toisesta numerosta, voidaan esittää neliön ja kolmioluvun summana:
.Jos määrität kaavassa yleisemmän sekvenssin :
.sitten saamme yleistetyt viisikulmaiset luvut :
0, 1, 2, 5, 7, 12, 15, 22, 26, 35, 40, 51, 57, 70, 77, 92, 100, 117, 126, 145, 155… ( OEIS - sekvenssi A001318 ).Leonhard Euler löysi yleisiä viisikulmaisia lukuja seuraavasta identiteetistä :
.Identiteetin oikealla puolella olevat potenssit muodostavat yleistettyjen viisikulmaisten lukujen sarjan [27] .
Kuusikulmaiset luvut 1, 6, 15, 28, 45, 66, 91, 120, 153, 190, 231, 276, 325, 378, 435, 496, 561, 630, 703, 780…, … ( 0038 sekvenssi A ).Kuusikulmiolukujen sarja saadaan kolmiomaisten lukujen sarjasta poistamalla alkiot, joissa on parilliset luvut [28] : .
Luonnollinen luku on kuusikulmainen silloin ja vain, jos luku on luonnollinen .
Seitsenkulmaiset numerot Kahdeksankulmaiset numerot Dodekagonaaliset numerotDodekagonaaliset luvut lasketaan kaavalla :
1, 12, 33, 64, 105, 156, 217, 288, 369, 460, 561, 672, 793, 924, 1065, 1216, 1377, 1548, 1377, 1548, 1548, 156, 1720… ( 01EI9220 , 01020 ) .Desimaalijärjestelmässä kymmenkulmainen luku päättyy samaan numeroon kuin itse numero . Tämä seuraa ilmeisestä vertailusta : mistä saamme: ■ .
Tehtävä 1 (Diophantus-tehtävä): annettu luonnollinen luku . Selvitä, onko se monikulmioluku ja jos on, jolle ja . Diophantus muotoili tämän ongelman seuraavasti: " selvitä kuinka monta kertaa tietty luku esiintyy kaikkien mahdollisten monikulmiolukujen joukossa " [29] .
Ongelman ratkaisu pelkistetään " Diofantiiniyhtälön " ratkaisuksi (katso yleinen kaava ):
tai: .Kirjoitetaan saatu yhtälö uudelleen muotoon: .
Oikeanpuoleisten murtolukujen nimittäjät ovat suhteellisen alkulukuja ; tällaisten murtolukujen summa tai ero voi olla kokonaisluku vain, jos jokainen murtoluku on kokonaisluku [30] , joten se on :n kerrannainen , mutta :n kerrannainen .
Tämän seurauksena ratkaisualgoritmi saa seuraavan muodon [29] :
Tällöin kaikki jäljellä olevia pareja vastaavat luvut ovat yhtä suuret .
Esimerkki [29] . Anna .
Vastaus: voidaan esittää muodossa , eli 2. 105-kulman, 3. 36-kulman, 5. 12-kulman ja 14. 14-kulman numerona.
Tehtävä 2 : Kun luonnollinen luku on annettu , sinun on määritettävä, onko se -hiililuku . Toisin kuin tehtävä 1, tässä se on annettu.
Ratkaisussa voit käyttää Diophantus-identiteettiä [31] :
Tämä identiteetti saadaan yllä olevasta yleisestä kaavasta ja vastaa sitä. Ratkaisu seuraa identiteetistä: jos on -hiililuku, eli joillekin , niin on jokin neliöluku ja päinvastoin. Tässä tapauksessa luku saadaan kaavasta [31] :
.Esimerkki [31] . Selvitetään, onko luku 10-sivuinen. Arvo tässä on sama, joten vastaus on kyllä. tästä syystä on 20. 10-kulman luku.
Potenssisarja , jonka kertoimet ovat -hiililuvut, konvergoi pisteessä :
.Oikealla oleva lauseke on generoiva funktio -hiilen numerosarjalle [ 32] .
Funktioiden generointilaitteisto mahdollistaa matemaattisen analyysin menetelmien soveltamisen lukuteoriassa ja kombinatoriikassa . Yllä oleva kaava selittää myös -hiililukujen esiintymisen Taylor-sarjan kertoimien joukossa eri rationaalisille jakeille. Esimerkkejä:
Osoitteessa : ; Osoitteessa : ; osoitteessa :jne.
Joillekin monikulmiolukuluokille on olemassa erityisiä generointifunktioita. Esimerkiksi nelikulmaisten kolmiolukujen generointifunktiolla on seuraava muoto [33] :
; sarja lähestyy .On olemassa ääretön määrä "multi-figured" (tai "multi-polygonal") [34] numeroita, toisin sanoen numeroita, jotka kuuluvat samanaikaisesti useisiin eri kiharalukujen lajikkeisiin. Esimerkiksi on olemassa kolmiolukuja, jotka ovat myös neliön muotoisia (" neliön kolmionumerot ") [35] :
(sekvenssi A001110 OEIS : ssä ).Kolmioluku voi olla myös samaan aikaan
jne. Ei tiedetä, onko olemassa lukuja, jotka ovat samanaikaisesti kolmion, neliön ja viisikulmaisia; tätä pienempien lukujen tietokonetesti ei paljastanut sellaista lukua, mutta ei ole todistettu, että niitä ei olisi [34] .
Neliönumero voi olla samaan aikaan
jne.
Viisikulmainen luku voi olla samanaikaisesti:
jne.
Kuusikulmainen luku on välttämättä myös kolmio; se voi olla myös seitsemänkulmainen samanaikaisesti (sekvenssi A48903 OEIS : ssä ):
1, 121771, 12625478965, 1309034909945503, 135723357520344181225, 14072069153115290487843091…Muut yhdistelmät kolmesta tai useammasta kuvionumerotyypistä ovat myös mahdollisia. Esimerkiksi, kuten yllä on todistettu , numeroa on neljä erilaista: Täydellinen luettelo tällaisista yhdistelmistä kolmiomaisista numeroista 16 kulman lukuihin on OEIS :n sekvenssissä A062712 .
k | Erilaisia kiharaisia numeroita |
Yleinen kaava | n | Käänteisten summa [36] | OEIS numero | |||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
yksi | 2 | 3 | neljä | 5 | 6 | 7 | kahdeksan | 9 | kymmenen | |||||
3 | kolmion muotoinen | yksi2( n 2 + n ) | yksi | 3 | 6 | kymmenen | viisitoista | 21 | 28 | 36 | 45 | 55 | 2 | A000217 |
neljä | neliö- | yksi2( 2n2 − 0n ) = n2 _ | yksi | neljä | 9 | 16 | 25 | 36 | 49 | 64 | 81 | 100 | 26 | A000290 |
5 | viisikulmainen | yksi2(3 n 2 − n ) | yksi | 5 | 12 | 22 | 35 | 51 | 70 | 92 | 117 | 145 | A000326 | |
6 | kuusikulmainen | yksi2( 4n2 − 2n ) _ | yksi | 6 | viisitoista | 28 | 45 | 66 | 91 | 120 | 153 | 190 | 2 l 2 | A000384 |
7 | seitsemänkulmainen | yksi2( 5n2 − 3n ) _ | yksi | 7 | kahdeksantoista | 34 | 55 | 81 | 112 | 148 | 189 | 235 | A000566 | |
kahdeksan | kahdeksankulmainen | yksi2( 6n2 − 4n ) _ | yksi | kahdeksan | 21 | 40 | 65 | 96 | 133 | 176 | 225 | 280 | 3neljäln 3+√ 312 | A000567 |
9 | ei-kulmamainen | yksi2( 7n2 − 5n ) _ | yksi | 9 | 24 | 46 | 75 | 111 | 154 | 204 | 261 | 325 | |
A001106 A244646 |
kymmenen | kymmenkulmainen | yksi2( 8n2 − 6n ) _ | yksi | kymmenen | 27 | 52 | 85 | 126 | 175 | 232 | 297 | 370 | ln 2+6 | A001107 |
yksitoista | 11-hiiltä | yksi2( 9n2 − 7n ) _ | yksi | yksitoista | kolmekymmentä | 58 | 95 | 141 | 196 | 260 | 333 | 415 | A051682 | |
12 | 12-hiiltä | yksi2( 10n2 − 8n ) _ | yksi | 12 | 33 | 64 | 105 | 156 | 217 | 288 | 369 | 460 | A051624 | |
13 | 13-hiiltä | yksi2( 11n2 − 9n ) _ | yksi | 13 | 36 | 70 | 115 | 171 | 238 | 316 | 405 | 505 | A051865 | |
neljätoista | 14-hiiltä | yksi2( 12n2 − 10n ) _ | yksi | neljätoista | 39 | 76 | 125 | 186 | 259 | 344 | 441 | 550 | 25ln 2+3kymmenenln 3+√ 3kymmenen | A051866 |
viisitoista | 15-hiiltä | yksi2( 13n2 − 11n ) _ | yksi | viisitoista | 42 | 82 | 135 | 201 | 280 | 372 | 477 | 595 | A051867 | |
16 | 16-hiiltä | yksi2( 14n2 − 12n ) _ | yksi | 16 | 45 | 88 | 145 | 216 | 301 | 400 | 513 | 640 | A051868 | |
17 | 17-hiiltä | yksi2( 15n2 − 13n ) _ | yksi | 17 | 48 | 94 | 155 | 231 | 322 | 428 | 549 | 685 | A051869 | |
kahdeksantoista | 18-hiiltä | yksi2( 16n2 − 14n ) _ | yksi | kahdeksantoista | 51 | 100 | 165 | 246 | 343 | 456 | 585 | 730 | neljä7loki 2 -√2 _neljätoistalog (3 − 2 √ 2 ) +( 1 + √2 )neljätoista | A051870 |
19 | 19-hiiltä | yksi2( 17n2 − 15n ) _ | yksi | 19 | 54 | 106 | 175 | 261 | 364 | 484 | 621 | 775 | A051871 | |
kaksikymmentä | kahdeksankulmainen | yksi2( 18n2 − 16n ) _ | yksi | kaksikymmentä | 57 | 112 | 185 | 276 | 385 | 512 | 657 | 820 | A051872 | |
21 | 21-hiiltä | yksi2( 19n2 − 17n ) _ | yksi | 21 | 60 | 118 | 195 | 291 | 406 | 540 | 693 | 865 | A051873 | |
… | … | … | … | … | … | … | … | … | … | … | … | … | … | … |
1000 | 1000 hiiltä | yksi2( 998n2 − 996n ) _ | yksi | 1000 | 2997 | 5992 | 9985 | 14976 | 20965 | 27952 | 35937 | 44920 | A195163 | |
10 000 | 10 000 hiiltä | yksi2(9998 n 2 − 9996 n ) | yksi | 10 000 | 29997 | 59992 | 99985 | 149976 | 209965 | 279952 | 359937 | 449920 | A167149 |
Keskitetyt kulmaluvut ( ) ovat muotoiltuja lukuja, jotka saadaan seuraavalla geometrisella rakenteella. Ensinnäkin tietty keskipiste kiinnitetään tasoon. Sitten sen ympärille rakennetaan säännöllinen k -gon, jossa on kärkipisteitä, kummallakin sivulla on kaksi pistettä (katso kuva). Edelleen uusia kerroksia -goneja rakennetaan ulkopuolelle, ja niiden jokainen sivu uudessa kerroksessa sisältää yhden pisteen enemmän kuin edellisessä, eli toisesta kerroksesta alkaen jokainen seuraava kerros sisältää enemmän pisteitä kuin edellinen. Jokaisen kerroksen sisällä olevien pisteiden kokonaismäärä ja se otetaan keskitettynä monikulmiolukuna (keskellä olevaa pistettä pidetään alkuperäisenä kerroksena) [37] .
Esimerkkejä keskitettyjen monikulmiolukujen rakentamisesta:
kolmion muotoinen | Neliö | Viisikulmainen | Kuusikulmainen |
---|---|---|---|
Konstruktiosta voidaan nähdä, että keskitetyt monikulmioluvut saadaan seuraavan sarjan osasummaina : (esim. keskitetyt neliöluvut, joille ne muodostavat sekvenssin: ) Tämä sarja voidaan kirjoittaa muodossa , josta se näkyy että suluissa on generoiva sarja klassisille kolmioluvuille (katso kuva yllä ). Siksi jokainen keskitettyjen kulmalukujen sarja, alkaen 2. elementistä, voidaan esittää muodossa , jossa on kolmiolukujen sarja. Esimerkiksi keskitetyt neliöluvut ovat nelinkertaisia kolmiolukuja plus , niille generoiva sarja on: [38]
Yllä olevasta kolmiolukujen kaavasta voidaan ilmaista yleinen kaava keskitetyn kulman numerolle [38] :
(OCF) |
Keskitettyjen monikulmiolukujen generointifunktio on muotoa [39] :
.Kolmiokolmioluku saadaan järjestyksessä:
.Seuraus (koskee ): .
Keskitettyjen kolmiolukujen sarjan ensimmäiset elementit ovat:
1, 4, 10, 19, 31, 46, 64, 85, 109, 136, 166, 199, 235, 274, 316, 361, 409, 460, 514, 571…, ( OEIS4 sekvenssi 8005 ). Jotkut kiinteistöt [40]yksi | 5 | 13 | 25 | |||
---|---|---|---|---|---|---|
Kolmas järjestyksessä keskitetty 4-kulmainen (neliö) luku saadaan kaavalla:
.Keskitettyjen neliönumeroiden sarjan ensimmäiset elementit ovat:
1, 5, 13, 25, 41, 61, 85, 113, 145, 181, 221, 265, 313, 365, 421, 481, 545, 613, 685, 761…, ( 018 - sekvenssi 440 ). Jotkut kiinteistöt [41]Järjestyksen mukainen keskitetty viisikulmioluku saadaan kaavalla:
.Useita ensimmäisiä keskitettyjä viisikulmaisia numeroita:
1, 6, 16, 31, 51, 76, 106, 141, 181, 226, 276, 331, 391, 456, 526, 601, 681, 766, 856, 951 …, … 0 ( OEIS1 ) sekvenssiKeskitettyjen viisikulmaisten lukujen pariteetti muuttuu säännön mukaan: parillinen-parillinen-pariton ja viimeinen desimaaliluku muuttuu syklissä: 6-6-1-1.
Jotkut keskitetyt viisikulmaiset luvut ovat alkulukuja [10] : 31, 181, 331, 391, 601. . . (sekvenssi A145838 OEIS : ssä ).
Keskitetyt kuusikulmioluvutKolmannen järjestyksessä keskitetty kuusikulmioluku saadaan kaavalla:
.Useita ensimmäisiä keskitettyjä kuusikulmiolukuja:
1, 7, 19, 37, 61, 91, 127, 169, 217, 271, 331, 397, 469, 547, 631, 721, 817, 919 … … (sekvenssi A003215 OEIS : ssä ). Jotkut kiinteistöt [42]Kolmannen järjestyksessä keskitetty seitsemänkulmainen luku saadaan kaavalla . Se voidaan myös laskea kertomalla kolmioluku 7:llä ja lisäämällä 1.
Useita ensimmäisiä keskitettyjä seitsemänkulmaisia lukuja:
1, 8, 22, 43, 71, 106, 148, 197, 253, 316, 386, 463, 547, 638, 736, 841, 953 …, … (sekvenssi A069099 OEIS : ssä ).Keskitettyjen seitsemänkulmaisten lukujen pariteetti muuttuu pariton-parillinen-parillinen-pariton syklissä.
Jotkut keskitetyt seitsemänkulmaiset luvut ovat alkulukuja [10] :
43, 71, 197, 463, 547, 953, 1471, 1933, 2647, 2843, 3697… ( OEIS - sekvenssi A144974 ).Twin alkulukupareihin sisältyy myös keskitettyjä seitsemänkulmaisia lukuja :
43, 71, 197, 463, 1933, 5741, 8233, 9283, 11173, 14561, 34651… ( OEIS - sekvenssi A144975 ). Keskitetyt kahdeksankulmaiset numerotth järjestyksessä keskitetty kahdeksankulmainen numero on annettu .
Useita ensimmäisiä keskitettyjä kahdeksankulmaisia numeroita:
1, 9, 25, 49, 81, 121, 169, 225, 289, 361, 441, 529, 625, 729, 841, 961, 1089. Jotkut kiinteistöt [43]Järjestyskeskitetty yhdeksänkulmainen luku määräytyy yleisellä kaavalla .
Kerrotaan kolmioluku 9:llä ja lisätään 1, saadaan keskitetty kuusikulmioluku, mutta kolmiolukujen kanssa on myös yksinkertaisempi yhteys - joka kolmas kolmioluku (1., 4., 7. jne.) on myös keskitetty. ei-agonaaliluku, ja tällä tavalla voidaan saada kaikki keskitetyt ei-kulmaluvut. Muodollinen merkintä: .
Ensimmäiset keskitetyt yhdeksänkulmaiset luvut:
1, 10, 28, 55, 91, 136, 190, 253, 325, 406, 496, 595, 703, 820, 946… ( OEIS - sekvenssi A060544 ).Lukua 6 lukuun ottamatta kaikki parilliset täydelliset luvut ovat myös keskitettyjä kuusikulmiolukuja. Vuonna 1850 amatöörimatemaatikko Frederick Pollock ehdotti , mitä ei ole vielä todistettu tai kumottu, että mikä tahansa luonnollinen luku on enintään yhdentoista keskitetyn yhdeksänkulmaisen luvun summa [44] .
Yleisestä kaavasta seuraa, että kaikki keskitetyt yhdeksänkulmaiset luvut yhtä lukuun ottamatta ovat yhdistettyjä.
Keskitetyt dekagonaaliset numerotKolmannen järjestyksessä keskitetty dekagonaaliluku saadaan kaavalla .
Keskitettyjen dekagonaalilukujen ensimmäiset edustajat:
1, 11, 31, 61, 101, 151, 211, 281, 361, 451, 551, 661, 781, 911, 1051… ( OEIS - sekvenssi A062786 ).Kuten muut k -kulmioluvut, -:nnes keskitetty kymmenkulmioluku voidaan laskea kertomalla -:s kolmioluku : llä , tässä tapauksessa 10, ja lisäämällä sitten 1. Tämän seurauksena keskitetyt kymmenkulmioluvut voidaan saada yksinkertaisesti lisäämällä numeroon 1. numeron desimaaliesitys. Siten kaikki keskitetyt kymmenkulmaiset luvut ovat parittomia ja päättyvät aina 1:een desimaalimuodossa.
Jotkut keskitetyistä dekagonaaliluvuista ovat alkulukuja, esimerkiksi:
11, 31, 61, 101, 151, 211, 281, 661, 911, 1051, 1201, 1361, 1531, 1901, 2311, 2531, 3001, 2531, 3001, 2531, 3001, 2531, 3001, 3251, 5051 , 5851 , 508 , 581, 581, 581, 581, 1051 .Jotkut keskitetyt monikulmioluvut osuvat yhteen klassisten lukujen kanssa, esimerkiksi: ; lyhyyden vuoksi kutsumme tällaisia monikulmiolukuja double .
1. Kaksinkertaiset luvut yhteisellä parametrilla (kulmien lukumäärä): identiteetti [45] pätee : . 2. Kaksoiskolmioluvut eri Esimerkki: (sekvenssi A128862 OEIS : ssä ). Niiden löytämiseksi sinun on ratkaistava Diofantin yhtälö : sitten . Joitakin ratkaisuja: (sekvenssi A133161 OEIS : ssä ), vastaavasti: (sekvenssi A102871 OEIS : ssä ). 3. Klassiset neliöluvut, jotka ovat keskitettyjä kolmiolukuja. Ne määritetään Diofantin yhtälöllä: Sitten . Ratkaisut: (sekvenssi A129445 OEIS : ssä ), vastaavasti Ensimmäiset numerot ovat: 4. Klassiset kolmiomaiset, jotka ovat keskitettyjä kuusikulmiolukuja. Ensimmäiset tällaiset numerot ovat: (sekvenssi A006244 OEIS : ssä ). Ne määritetään Diofantin yhtälöllä: Sitten . Ratkaisut: (sekvenssi A031138 OEIS : ssä ); (sekvenssi A087125, OEIS ) . 5. Klassiset neliöluvut, jotka ovat keskitettyjä kuusikulmiolukuja. Ensimmäiset tällaiset numerot ovat: (sekvenssi A006051 OEIS : ssä ). Ne määritetään Diofantin yhtälöllä: Sitten . Ratkaisut: (sekvenssi A001570 OEIS : ssä ); (sekvenssi A001921, OEIS ) .Yllä käsiteltyjen tasokuvioiden kuviollisten lukujen ohella voidaan määritellä niiden tila- tai jopa moniulotteiset analogit. Jo muinaiset matemaatikot tutkivat tetraedris- ja neliöpyramidilukuja . On helppo määrittää pyramideihin liittyvät luvut , jotka perustuvat mihin tahansa muuhun monikulmioon, esimerkiksi:
Klassiseen polyhedraan liittyy muitakin spatiaalisia kuviollisia lukuja .
Pyramidiluvut määritellään seuraavasti:
K - kulman pyramidiluku on järjestyksessä ensimmäisten litteiden kuviollisten lukujen summa, joilla on sama määrä kulmia : . |
Geometrisesti pyramidiluku voidaan esittää kerrosten pyramidina (katso kuva), joista jokainen sisältää 1 (ylempi kerros) - (alempi) palloa.
Induktiolla ei ole vaikeaa todistaa pyramidiluvun yleiskaavaa, jonka jo Archimedes tiesi [46] :
. | (OPF) |
Tämän kaavan oikea puoli voidaan ilmaista myös litteinä monikulmiolukuina:
.Pyramidiluvuille on olemassa kolmiulotteinen analogi Nicomachuksen kaavasta [47] :
.Pyramidilukujen generointifunktio on muotoa [48] :
. Kolmiopyramidi (tetraedri) numerotKolmiopyramidiluvut, joita kutsutaan myös tetraedrisiksi luvuiksi, ovat kuviollisia lukuja, jotka edustavat tetraedria eli pyramidia, jonka pohjalla on kolmio. Yllä olevan pyramidilukujen yleisen määritelmän mukaan tetraedriluvun e-kertaluku määritellään ensimmäisten kolmiolukujen summana :
Yleinen kaava tetraedriselle luvulle: .
Ensimmäiset tetraedriluvut:
1, 4, 10, 20, 35, 56, 84, 120, 165, 220, 286, 364, 455, 560, 680, 816, 969… ( OEIS - sekvenssi A000292 ).Mielenkiintoista on, että viides luku on yhtä suuri kuin kaikkien edellisten summa.
Basche de Meziriacin kaavalla on kolmiulotteinen analogi , nimittäin mielivaltaisen pyramidiluvun laajentaminen tetraedrisissä luvuissa [47] :
.Viisi tetraedrilukua ovat kolmion muotoisia samanaikaisesti (sekvenssi A027568 OEIS : ssä ):
1, 10, 120, 1540, 7140.Vain kolme tetraedrilukua ovat neliölukuja (sekvenssi A003556 OEIS : ssä ):
, , .Yksi Pollockin "oletuksista " (1850): jokainen luonnollinen luku voidaan esittää enintään viiden tetraedrisen luvun summana. Sitä ei ole vielä todistettu, vaikka se on testattu kaikille alle 10 miljardille [49] [50] .
NeliöpyramidiluvutNeliöpyramidilukuja kutsutaan usein lyhyesti yksinkertaisesti pyramidiluvuiksi. Heille pyramidilla on neliömäinen pohja. Aloitussarja:
1, 5, 14, 30, 55, 91, 140, 204, 285, 385, 506, 650, 819… ( OEIS - sekvenssi A000330 ).Yleinen kaava neliöpyramidiluvulle on: .
Neliön pyramidiluku ilmaisee myös neliöiden [51] kokonaismäärän neliöruudukossa .
Neliön ja kolmion pyramidilukujen välillä on seuraava suhde [52] :
.Edellä todettiin, että peräkkäisten kolmiolukujen summa on neliöluku; samoin peräkkäisten tetraedrilukujen summa on neliöpyramidiluku [52] : .
Neliölukujen kanssa analogisesti voit syöttää "kuutiolukuja" sekä lukuja, jotka vastaavat muita säännöllisiä ja epäsäännöllisiä monitahoja - esimerkiksi platonisia solideja :
Tarjolla on myös keskitettyjä vaihtoehtoja.
KuutioluvutKuutioluvut ovat kolmen identtisen luonnollisen luvun tulo ja niillä on yleinen muoto Alkuarvot:
1, 8, 27, 64, 125, 216, 343, 512, 729, 1000. . . (sekvenssi A000578 OEIS : ssä ).Kuutioluku voidaan ilmaista peräkkäisten kolmiolukujen neliöiden erotuksena [53] :
, .Seuraus: ensimmäisten kuutiolukujen summa on yhtä suuri kuin kolmioluvun neliö:
.Kahden vierekkäisen kuutioluvun välinen ero on keskitetty kuusikulmioluku. Seuraus: ensimmäisten keskitettyjen kuusikulmiolukujen summa on kuutioluku [53] .
Kuutioluvun ilmaisu tetraedrina [53] :
, missä .Yksi " Pollockin olettamuksista " (1850): jokainen luonnollinen luku voidaan esittää enintään yhdeksän kuutioluvun summana. Todistettu 1900-luvun alussa. Yleensä seitsemän kuutiota riittää, mutta 15 numeroa varten tarvitaan kahdeksan (15, 22, 50, 114, 167, 175, 186, 212, 231, 238, 303, 364, 420, 428, 454, sekvenssi A01888 ) ja kahdessa . luvut kaikki yhdeksän tarvitaan: 23 ja 239. Jos vähennyslasku on sallittua, niin viisi kuutiota riittää (mahdollisesti jopa neljä, mutta tätä ei ole vielä todistettu) [54] .
Kuutiolukujen generointifunktio on muotoa [53] :
; . Oktaedriset numerot Dodekaedriluvut IkosaedriluvutEdellä kuvatut kolmiulotteiset rakenteet voidaan yleistää neljään tai useampaan ulottuvuuteen. Tetraedrilukujen analogi -ulotteisessa avaruudessa ovat " simplex - luvut", joita kutsutaan myös hypertetraedrisiksi [55] :
.Niiden erikoistapaukset ovat:
Muut moniulotteisten lukujen lajikkeet ovat hyperkuutioisia : . Neliulotteisia hyperkuutiolukuja kutsutaan bi -neliöiksi [55] .
Jotkut kuviolliset luvut voivat kuulua useampaan kuin yhteen tyyppisiin litteisiin ja/tai moniulotteisiin lukuihin, esimerkkejä litteistä luvuista on jo annettu edellä . Moniulotteisten lukujen kohdalla tämä on melko harvinainen tilanne [56] .
Mikään luonnollinen luku 1:tä lukuun ottamatta ei voi olla samanaikaisesti [58] [56] :
Vuonna 1988 F. Bakers ja J. Top osoittivat, että mikään muu luku kuin 1 ei voi olla sekä tetraedrinen että neliöpyramidi [60] . On myös todistettu, ettei ole olemassa numeroita, jotka samanaikaisesti [56] :
Muinaisina aikoina, jolloin aritmetiikkaa ei erotettu geometriasta, pythagoralaiset (6. vuosisadalla eKr.) erottivat useita muita kuviollisia lukutyyppejä [61] .
Eukleideen kommentaattori D. D. Mordukhai-Boltovskoy selittää [63] :
Käsitteet "taso" ja "kiinteä luku" ovat luultavasti jäänne aikaisemmasta matemaattisen ajattelun ajanjaksosta, jolloin numero ja geometrinen kuva olivat vieläkin tiiviimmin yhteydessä toisiinsa, jolloin esineiden määrän tuloa abstraktilla luvulla pidettiin näiden objektien järjestely objektiriveihin jokaisessa, täyttämällä suorakulmion alue. Sama tulee sanoa kolmen luvun tulosta, joka euklidisen terminologian mukaan on kiinteä luku.
Tällä hetkellä alkulukuja ei luokitella kuviollisiksi, ja termit "litteä luku" ja "kiinteä luku" ovat poistuneet käytöstä [63] .
Pascalin kolmion numerot osoittavat yhteyden moniin kiharalukuihin.
Pascalin kolmion kolmannella rivillä on kolmioluvut ja neljännellä tetraedriset numerot (katso kuva). Tämä johtuu siitä, että -th tetraedriluku on ensimmäisten kolmiolukujen summa, jotka sijaitsevat kolmannella rivillä. Samoin neliulotteiset pentatooppiluvut sijaitsevat viidennellä rivillä jne. Kaikki ne, kuten muutkin Pascalin kolmion sisällä olevat luvut, ovat binomiaalikertoimia .
Siten kaikki Pascalin kolmion sisäiset elementit ovat kuviollisia lukuja, ja niiden eri lajikkeet ovat edustettuina. Jokaisella viivalla, vasemmalta oikealle, on hypertetraedrilukuja, joiden ulottuvuus kasvaa. Tiedetään, että kaikkien : nnen rivin lukujen summa on yhtä suuri , joten tästä seuraa, että kaikkien ensimmäisten rivien lukujen summa on yhtä suuri kuin Mersennen luku.Tämän vuoksi Mersennen luku voidaan esittää hypertetraedrilukujen summana [64] .
Monet lukuteorian lauseet voidaan muotoilla kiharalukuina. Esimerkiksi katalaani oletus väittää, että mielivaltaisten mittojen hyperkuutiolukujen joukossa vain yksi pari eroaa yhdellä: (todennettu vuonna 2002) [65] .
Mikä tahansa parillinen täydellinen luku on kolmio [66] (ja samalla kuusikulmainen, ja kuusikulmaisen luvun luku on kahden potenssi). Tällainen luku ei voi olla samanaikaisesti neliö-, kuutio- tai muu hyperkuutioluku [67] .
Legendren arvelu (1808, tunnetaan myös nimellä Edmund Landaun kolmas ongelma ): peräkkäisten neliölukujen välillä on aina alkuluku . Ei vieläkään todistettu.
Ensimmäisten keskitettyjen kolmiolukujen summa on ulottuvuuden maagisen neliön "maaginen vakio" . Muita tapoja saada sama vakio on kolmioluku tai lisäämällä kaikki luonnolliset luvut luvusta mukaan lukien [68] .
Mersennen luku , joka on suurempi kuin 1, ei voi olla neliö, kuutio tai muuten hyperkuutio, mutta se voi olla kolmion muotoinen. Kolmiomaisia Mersennen lukuja on vain neljä: , niiden haku vastaa Ramanujan-Nagel-yhtälön ratkaisemista luonnollisilla luvuilla : . Kuten käy ilmi, ratkaisu tähän yhtälöön on olemassa vain (sekvenssi A060728 OEIS : ssä ), ja vastaava Mersennen luku on tällöin kolmion muotoinen [64] .
Fermat-luku ei myöskään voi olla neliö, kuutio tai muuten hyperkuutio, mutta ainoassa tapauksessa se voi olla kolmion muotoinen: . Fermat-luku ei myöskään voi olla tetraedrinen ja hypertetraedri, jonka mitat ovat yli 2 [64] .
Fibonacci-lukujen joukossa on vain kolme neliölukua (0, 1 ja 144) ja neljä kolmiolukua (1, 3, 21, 55, OEIS - sekvenssi A039595 ). Jos käännät Pascalin kolmiota kuvan osoittamalla tavalla, Fibonacci-luvut voidaan saada summina nousevien diagonaalien mukaan; tämä tosiasia antaa Fibonaccin luvun laajennuksen hypertetraedrilukuina [69] .
Lucas- lukujen joukossa on kaksi neliölukua (1 ja 4) ja kolme kolmiolukua (1, 3, 5778) [69] .
Katalonian luvut ilmaistaan hypertetraedrisina lukuina seuraavasti [70] :
.Toinen lukujen luokka, joka liittyy läheisesti kiharaisiin numeroihin, ovat toisen tyyppiset Stirling-luvut . Tämä luokka sisältää kaikki kolmioluvut: , ja lauseke on yhtä suuri kuin 2. järjestyksessä -ulotteinen hyperkuutioluku . Lopuksi mikä tahansa -ulotteinen hyperkuutioluku voidaan laajentaa seuraavalla tavalla [70] :
. ![]() | |
---|---|
Bibliografisissa luetteloissa |
kiharat numerot | |||||
---|---|---|---|---|---|
tasainen |
| ||||
3D |
| ||||
4D |
|
Jaksot ja rivit | |
---|---|
Jaksot | |
Rivit, perus | |
Numerosarja ( operaatiot numerosarjoilla ) | |
toiminnallisia rivejä | |
Muut rivityypit |