タクシー数

n 番目のタクシー数（タクシーすう、taxicab number、Ta(n)もしくはTaxicab(n)と表記される）とは、2つの立方数の和として n 通りに表される最小の正の整数と定義される。1954年にゴッドフレイ・ハロルド・ハーディとE. M. Wrightが全ての正の整数 n に対し、Ta(n)が存在することを示した。その証明を利用すれば「2つの立方数の和として n 通りに表される正の整数」を見つけることはできる。ただしそれが最小の数であるかは保証されていないため、Ta(n)であるとは限らない。
「タクシー数」と言う名前はハーディが乗ったタクシーの番号1729についてそれがTa(2)であることをシュリニヴァーサ・ラマヌジャンが指摘したエピソードから来ている（後述）。そのため、この数の問題とタクシーとの関連は全く無い。
なお、ここでの立方数は正の整数のみを考える。0と負の整数も含めるときは、名前の「taxicab」をひっくり返してキャブタクシー数と呼ばれる。

**概要**
与えられた正の整数 N に対し、不定方程式

の整数解 y ≥ x > 0 の個数は明らかに有限個である（0 3  c(log m)r/(r+2) となる m が無数に存在する（c> 0 は F と m0 のみに依存し d には依存しない）。

は階数3を持つことが知られている（実際 (17/2, -7/2), (163/19, 56/19), (3439/223, -3220/223) が生成元となる）。よって

となる N が無数に存在する。したがって

が無数の n に対して成り立つ。

**既知のタクシー数**
現在までに以下の6つのタクシー数が知られている（id=A011541参照）。







**タクシー数の上限**
以下の数字は7通り～12通りの2つの立方数の和で表せる数である。これらがタクシー数そのものである可能性はあるが、証明はされていない。つまり、Ta(7)からTa(12)の上限となる。







**発見の歴史**
ハーディ・ラマヌジャン数として知られるTa(2)は1657年にBernard Frénicle de Bessyによって他のいくつかの2つの立方数の和で2通りに表せる数とともに見出された。レオンハルト・オイラーは

の有理数解の一般解を与えており、その後アドルフ・フルヴィッツはそれを単純化した：

ただしこの公式から、すべての整数解を与える公式が導かれるわけではない。t, a, b が整数ならばこの公式は整数解を与えるが、それがすべての整数解を与えるわけではないからである。たとえば Ta(2) は (a, b, t) = (10/19, −7/19, −361/42) に対応しており t, a, b が整数であるものからは与えられない（もちろん t, a, b をうまく与えることでどの整数解も得られるが、整数解に対応する t, a, b がどのようなものかは明らかではない）。またオイラーは

を発見している（t = 1 とおくとタクシー数を得る）。
Ta(2) は後にハーディとラマヌジャンのエピソードによって不滅のものとなった。ハーディによれば
ラマヌジャンは1913年に無限個の整数解を与える公式

を発見し、その後オイラーの一般有理解と等価な一般有理解の公式を得ている。またラマヌジャンの遺稿には

の無限個の整数解を得る（オイラーとは別の）方法が述べられている。
ラマヌジャンやハーディー・ライトがタクシー数の解法を示して以降は、コンピュータによる発見が常となった。John Leech (mathematician)は1957年にTa(3)を発見した。1991年にはE・ローゼンスティール、J・A・ダーディス、C・R・ローゼンスティールがTa(4)を発見。J・A・ダーディスは1994年にTa(5)を発見し、1999年にデービッド・W・ウィルソンによって確認された。Ta(6)はウーヴェ・ホラーバッハによって2008年3月9日にメーリングリストNMBRTHRYに発見が報告されたが、これは2003年に Claude et al. によって99％の確率でTa(6)であろうとされていたものだった。2006年にはクリスチャン・ボワイエによってTa(7)からTa(12)までの上限が与えられた。2008年にはクリスチャン・ボワイエとJaroslaw WroblewskiによってTa(11)からTa(22)までの上限が更新された。
より制限をかけた形でのタクシー問題は、タクシー数がcubefreeである、つまり13以外の立方数で割り切れない場合である。 cubefreeなタクシー数 T が T = x3+y3と書かれるとき、全ての組 (x, y) に対して x, y は互いに素である。先述したタクシー数の中では、Ta(1)とTa(2)だけがcubefreeなタクシー数である。3通りに表される最小のcubefreeなタクシー数は、1981年に大学院生だったポール・ボイタによって発見された（未発表）。これは以下の通りである。
15170835645
:= 5173 + 24683 
:= 7093 + 24563 
:= 17333 + 21523.
4通りに表される最小のcubefreeなタクシー数は、2003年にダンカン・ムーアとスチュアート・ギャスコインによって独立に発見された。以下の通り。
1801049058342701083
:= 922273 + 12165003
:= 1366353 + 12161023
:= 3419953 + 12076023
:= 6002593 + 11658843.
（id=A080642参照）
上記の通り制限のない場合には s(N) はいくらでも大きくできるが、N が立方因子をもたないとき、

の解の個数をどこまで大きくできるかは未だわかっていない。この方程式のあらわす楕円曲線の階数を r(N) とすると

となる絶対定数 c が存在する。 N が大きいときは

が成り立つ。

**脚注**

**参考文献**
 cite book | last1=Hardy | first1=G.H. | author1-link=G. H. Hardy | last2=Wright | first2=E.M. | author2-link=E. M. Wright | edition=6th | others=Revised by D.R. Heath-Brown and J.H. Silverman.  Foreword by Andrew Wiles. | title=An Introduction to the Theory of Numbers | publisher=Oxford University Press | location=Oxford | isbn=978-0-19-921986-5 | mr= | zbl=1159.11001 | year=2008 | origyear=1938 | ref=harv -  ref=harv 
*J. Leech, Some Solutions of Diophantine Equations, Proc. Cambridge Phil. Soc. 53, 778-780, 1957.-  ref=harv -  ref=harv 
*E. Rosenstiel, J. A. Dardis and C. R. Rosenstiel, The four least solutions in distinct positive integers of the Diophantine equation s = x3 + y3 = z3 + w3 = u3 + v3 = m3 + n3,  Bull. Inst. Math. Appl., 27(1991) 155-157; MR 92i:11134,  online. 「Personal Computer World」1989年11月号も参照せよ。
*David W. Wilson, The Fifth Taxicab Number is 48988659276962496, Journal of Integer Sequences, Vol. 2 (1999),  online. (ウィルソンはこれを著した際、1994年にJ・A・ダーディスがTa(5)を発見していたことを認識していなかった）
*D. J. Bernstein, Enumerating solutions to p(a) + q(b) = r(c) + s(d), Mathematics of Computation 70, 233 (2000), 389–394.
*C. S. Calude, E. Calude and M. J. Dinneen: What is the value of Taxicab(6)?, Journal of Universal Computer Science, Vol. 9 (2003), p. 1196–1203-  ref=harv -  ref=harv 

**関連項目**
 キャブタクシー数- 一般化タクシー数

**外部リンク**
urlname=TaxicabNumber- A 2002 post to the Number Theory mailing list by Randall L. Rathbun- Taxicab and other maths at Euler