Numeroteoriassa neliön kolmioluku (tai kolmion neliöluku ) on luku, joka on sekä kolmio että neliö . Neliön kolmiolukuja on ääretön määrä.
Esimerkiksi numero 36 on sekä neliön ( ) että kolmion muotoinen :
Neliön kolmioluvut muodostavat sarjan:
0, 1, 36, 1225, 41616, 1413721, 48024900, 1631432881, 55420693056, 1882672131025, ... (sekvenssi A001110 OEIS : ssä ).Kirjoitamme N k k : nnelle neliön kolmioluvulle, s k ja t k neliön ja kolmion sivuille, vastaavasti,
Sekvenssit Nk , sk ja tk ovat läsnä OEIS : ssä ( A001110 , A001109 ja A001108 , vastaavasti).
Vuonna 1778 Leonhard Euler loi eksplisiittisen kaavan [1] [2] :12-13
Muut vastaavat kaavat, jotka voidaan johtaa tästä kaavasta:
Vastaavat eksplisiittiset kaavat s k :lle ja t k :lle [2] :13 :
ja
Neliön kolmiolukujen yhteys Pellin yhtälöön voidaan saada seuraavasti [3] :
mikä tahansa kolmioluku on muotoa t ( t + 1)/2, joten meidän on löydettävä t ja s siten, että
Kerrotaan vasen ja oikea osa 8:lla ja valitaan täysi neliö, saadaan
korvaamalla nyt x = 2 t + 1 ja y = 2 s , saamme diofantiiniyhtälön
joka on Pellin yhtälö . Tämän yhtälön ratkaisut ovat Pell-luvut P k [4]
ja siksi kaikki ratkaisut on annettu kaavoilla
Pell-lukuihin liittyy monia identiteettejä, ja yllä olevat kaavat kääntävät ne identiteeteiksi neliön kolmiolukujen kanssa.
Neliön kolmioluvuille sekä vastaavien neliöiden ja kolmioiden sivuille on olemassa toistuvuussuhteet . Meillä on [5] :(12)
Kaikki neliön kolmioluvut ovat muotoa b 2 c 2 , missä b / c on luvun 2 neliöjuuren jatkuvan murto -osan konvergentti arvo [6] .
AV Sylwester antoi lyhyen todisteen neliön kolmiolukujen määrän äärettömyydestä, nimittäin [7] :
Jos kolmioluku n ( n + 1)/2 on neliö, on olemassa suurempi kolmioluku:
Ja tämän arvon on oltava neliö, koska se on kolmen neliön tulo: (ilmeisesti), (n:nnen kolmioluvun oletetaan olevan neliö) ja (ilmeisesti).
Neliön kolmiolukujen generointifunktio on [8] :
Kun k kasvaa , suhde t k / s k pyrkii , ja vierekkäisten neliön kolmiolukujen suhde pyrkii .
kiharat numerot | |||||
---|---|---|---|---|---|
tasainen |
| ||||
3D |
| ||||
4D |
|