Taksiluku on matemaatikkojen antama nimi erikoislukujen sarjalle: 2, 1729 jne. Taksiluku on pienin luku, joka voidaan ilmaista kahden positiivisen kuution summana n eri tavalla. Sillä ei ole mitään tekemistä taksin kanssa, mutta nimi tulee tunnetusta keskustelusta, joka käytiin kahden kuuluisan matemaatikon välillä: Godfrey Hardy ja Srinivasa Ramanujan.
Määritelmä
Taksiluku Ta(n) (engl. taxicab number) määritellään yleensä seuraavasti: se on pienin positiivinen kokonaisluku, joka voidaan kirjoittaa kahden positiivisen kokonaisluvun kuutioiden summana n eri tavalla, kun summan järjestyksellä ei ole merkitystä. Toisin sanoen etsitään pienin N, jolle on olemassa n pareittaista, erilaista ratkaisua a3 + b3 = N, missä 1 ≤ a ≤ b ja eri ratkaisut eroavat toisistaan unordered-pareina. Joissain yhteyksissä sallitaan myös nollan tai negatiivisten lukujen käyttö; tällöin tuloksena voi olla pienempi tai eri järjestyksessä ilmenevä sarja (esim. cabtaxi‑luvut).
Esimerkkejä
Yksinkertaisin taksiluku on Ta(1) = 2, koska 2 = 13 + 13 ja mitään pienempää positiivista lukua ei voi esittää kahden positiivisen kuution summana.
Kuuluisin esimerkki on Ta(2) = 1729. Tässä on kyse siitä, että 1729 voidaan esittää kahden kuution summana kahdella eri tavalla:
- 1729 = 13 + 123
- 1729 = 93 + 103
Ta(3) on paljon suurempi: Ta(3) = 87539319, ja sen kolme esitystä ovat esimerkiksi
- 87539319 = 1673 + 4363
- 87539319 = 2283 + 4233
- 87539319 = 2553 + 4143
Myös suuremmille arvoille Ta(n) kasvaa nopeasti, ja niiden etsiminen vaatii suuria laskennallisia resursseja. Ta(4), Ta(5) jne. on laskettu, mutta luvut ovat erittäin suuria.
Hardy–Ramanujan-tarina
Nimi "taksiluku" (taxicab) juontaa juurensa kuuluisasta väliaineesta Godfrey Hardy'n ja Srinivasa Ramanujanin välisestä keskustelusta. Hardy kertoi vieraillessaan sairaalassa, että oli saapunut taksilla, jonka numero vaikutti hänestä tylsältä: numero oli 1729. Ramanujan vastasi heti, että päinvastoin 1729 on mielenkiintoinen luku, koska se on pienin luku, joka voidaan ilmaista kahden kuution summana kahdella eri tavalla. Tämä oivallus teki luvusta legendaarisen ja nimen taxicab‑luku liitettiin tapaukseen.
Miksi taksiluvut ovat kiinnostavia?
- Ne liittyvät diofantisiin yhtälöihin muotoa x3 + y3 = N, jotka ovat klassinen osa lukuteoriaa.
- Taksilukujen etsiminen haastaa tehokkaiden algoritmien ja laskentaklustereiden kehitystä — pienet n johtavat usein hyvin suuriin Ta(n)-arvoihin.
- Ne tarjoavat historiallisen ja pedagogisen yhteyden kuuluisaan Ramanujanin ja Hardyn kertomukseen, joka havainnollistaa intuitiivisen lukutuntemuksen voimaa.
Yleistykset ja variaatiot
Taksilukuja voi yleistää useilla tavoilla:
- Muuttamalla potenssia: etsitään lukuja, jotka ovat kahden kth-potenssin summia usealla eri tavalla.
- Sallimalla negatiiviset tai nolla-arvot. Tällöin puhutaan esimerkiksi cabtaxi‑luvuista, jotka voivat olla pienempiä kuin vastaavat tavalliset taksiluvut.
- Tutkimalla lukujen esiintymistä rajoitetussa joukossa (esimerkiksi rajoitetut kopiot tai maksimit) tai vaatien lisäehtoja summan termeille.
Lisätietoja ja tutkimus
Taksilukujen tutkimus jatkuu: suurempien Ta(n)-arvojen löytäminen ja diofanttisten yhtälöiden rakenteen ymmärtäminen ovat aktiivisia laskennallisen ja teoreettisen lukuteorian alueita. Usein julkaistut luvut löytyvät tietokannoista ja lukuteorian kirjallisuudesta, ja niiden laskemiseen osallistuvat niin ammattilaiset kuin harrastajatkin.