Share to: share facebook share twitter share wa share telegram print page

タクシー数

n 番目のタクシー数(タクシーすう、taxicab number、Ta(n)もしくはTaxicab(n)と表記される)とは、2つの立方数の和として n 通りに表される最小の正の整数と定義される。1954年ゴッドフレイ・ハロルド・ハーディエドワード・メートランド・ライト英語版が全ての正の整数 n に対し、Ta(n)が存在することを示した。その証明を利用すれば「2つの立方数の和として n 通りに表される正の整数」を見つけることはできる。ただしそれが最小の数であるかは保証されていないため、Ta(n)であるとは限らない。

「タクシー数」と言う名前はハーディが乗ったタクシーの番号1729についてそれがTa(2)であることをシュリニヴァーサ・ラマヌジャンが指摘したエピソードから来ている(後述)。そのため、この数の問題とタクシーとの関連は全く無い。

なお、ここでの立方数は正の整数のみを考える。0と負の整数も含めるときは、名前の「taxicab」をひっくり返してキャブタクシー数と呼ばれる。

概要

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

の整数解 yx > 0 の個数は明らかに有限個である(0 < y3 < N であるため)。これを s(N) とおく。Ta(n) は s(N) ≥ n となる最小の N である。

任意の n に対して s(N) ≥ n となる整数 N が存在することが知られており、したがって Ta(n) は存在する。実際 m を正の整数とすると

楕円曲線なので、階数が正ならば無限個の有理点を持つ。さらに、このとき有理点の全体は実数点の中で稠密となる。よって、その中には無限個の正の有理点が存在する。それらから任意の個数の有理点 を選んで分母を払うことにより

が成り立つ。 ととれば が成り立つ。m = 7, 9 などに対して上記の曲線の階数は正なので、ここから s(N) がいくらでも大きなものを得ることができる。よって任意の正の整数に対して Ta(n) は確かに存在する。

一般に F が3次形式で

が階数 r の楕円曲線を与えているとき、

の解の個数が > c(log m)r/(r+2) となる m が無数に存在する(c> 0 は Fm0 のみに依存し d には依存しない)。

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

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

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

既知のタクシー数

現在までに以下の6つのタクシー数が知られている(オンライン整数列大辞典の数列 A011541参照)。

タクシー数の上限

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

発見の歴史

ハーディ・ラマヌジャン数として知られるTa(2)は1657年バーナード・フラン・ベッシー英語版によって他のいくつかの2つの立方数の和で2通りに表せる数とともに見出された[2]レオンハルト・オイラー

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

ただしこの公式から、すべての整数解を与える公式が導かれるわけではない。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) は後にハーディとラマヌジャンのエピソードによって不滅のものとなった。ハーディによれば[4]

私は彼をパットニーの療養所に見舞ったことを覚えている。私はナンバーが1729のタクシーに乗り、その数は無味乾燥なもののように思え、それが不吉なことの前兆でないことを願っていた。しかし彼は「そんなことはありません、とても興味深い数字です。それは2通りの2つの立方数の和で表せる最小の数です」と返した。

ラマヌジャンは1913年に無限個の整数解を与える公式

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

の無限個の整数解を得る(オイラーとは別の)方法が述べられている[5]

ラマヌジャンやハーディー・ライトがタクシー数の解法を示して以降は、コンピュータによる発見が常となった。ジョン・リーチ英語版1957年にTa(3)を発見した。1991年にはE・ローゼンスティール、J・A・ダーディス、C・R・ローゼンスティールがTa(4)を発見。J・A・ダーディスは1994年にTa(5)を発見し、1999年にデービッド・W・ウィルソンによって確認された[6][7]。Ta(6)はウーヴェ・ホラーバッハによって2008年3月9日にメーリングリストNMBRTHRYに発見が報告されたが[8]、これは2003年に Claude et al. によって99%の確率でTa(6)であろうとされていたものだった[9]2006年にはクリスチャン・ボワイエによってTa(7)からTa(12)までの上限が与えられた[10]2008年にはクリスチャン・ボワイエとJaroslaw WroblewskiによってTa(11)からTa(22)までの上限が更新された[11]

より制限をかけた形でのタクシー問題は、タクシー数がcubefreeである、つまり13以外の立方数で割り切れない場合である。 cubefreeなタクシー数 TT = 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.

オンライン整数列大辞典の数列 A080642参照)

上記の通り制限のない場合には s(N) はいくらでも大きくできるが、N が立方因子をもたないとき、

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

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

が成り立つ[12]

脚注

  1. ^ Silverman (1983)
  2. ^ Dickson (1919, p. 552)
  3. ^ Hardy & Wright (2008, Theorem 235)
  4. ^ Quotations by Hardy - ウェイバックマシン(2017年8月29日アーカイブ分)
  5. ^ Ken Ono and Sarah Trebat-Leder (2016, 2017)
  6. ^ Numbers Count column of Personal Computer World, page 610, Feb 1995
  7. ^ "The Fifth Taxicab Number is 48988659276962496" by David W. Wilson
  8. ^ NMBRTHRY Archives - March 2008 (#10) "The sixth taxicab number is 24153319581254312065344" by Uwe Hollerbach
  9. ^ 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
  10. ^ Tables of best known results (in May 2007) on Taxicab and Cabtaxi numbers
  11. ^ New Upper Bounds for Taxicab and Cabtaxi numbers
  12. ^ Silverman (1982)

参考文献

  • Hardy, G.H.; Wright, E.M. (2008) [1938]. An Introduction to the Theory of Numbers. Revised by D.R. Heath-Brown and J.H. Silverman. Foreword by Andrew Wiles. (6th ed.). Oxford: Oxford University Press. ISBN 978-0-19-921986-5. Zbl 1159.11001 
  • Dickson, Lernard Eugene (1919). History of the theory of numbers, vol. II, Diophantine Analysis. Carnegie Institute of Washington. https://archive.org/details/historyoftheoryo02dickuoft 
  • J. Leech, Some Solutions of Diophantine Equations, Proc. Cambridge Phil. Soc. 53, 778-780, 1957.
  • Ono, Ken; Trebat-Leder, Sarah (2016). “The 1729 K3 surface”. Res. Number Theory 2: No. 26. doi:10.1007/s40993-016-0058-2. 
  • Ono, Ken; Trebat-Leder, Sarah (2017). “Erratum to: The 1729 K3 surface”. Res. Number Theory 3: No. 12. doi:10.1007/s40993-017-0076-8. 
  • 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
  • Silverman, Joseph H. (1983). “Integer points on curves of genus 1”. J. London Math. Soc. (2) 28: 1-7. doi:10.1112/jlms/s2-28.1.1. MR0703458. 
  • Silverman, Joseph H. (1982). “Integer points and the rank of Thue elliptic curves”. Invent. Math. 66: 395-404. doi:10.1007/BF01389220. MR0662599. 

関連項目

外部リンク

Read more information:

Suparman RebornGenre Drama Komedi Religi PembuatMNC PicturesDitulis oleh Azmi Ramadhan Dodi Damhuri Igun Prabu Mia Islamianti Taofik Rahman Yanuar Muhammad Leo Ferdian (Eps. 1–30) CeritaAris NugrahaSutradara Lakamayus (Eps. 1–30 dan eps. 39–60) Acum (Eps. 31–38) Pemeran Epy Kusnandar Damar Rizal Marzuki Masayu Clara Delisa Herlina Tanti Nurlina Dicky Satria Asep Mulyana Penggubah lagu temaPay Scooby DooLagu pembukaBukan Manusia Baja — Pay Scooby DooLagu penutupBukan Manusia Baja — Pa…

Hieronder volgt een lijst van landen van de wereld in 1992. Staatkundige kaart van de wereld in 1992 vanaf de internationale erkenning van de onafhankelijkheid van Bosnië en Herzegovina, Slovenië en Kroatië Uitleg Op 1 januari 1992 waren er 184 onafhankelijke staten die door een ruime meerderheid van de overige staten erkend werden: de 166 leden van de Verenigde Naties alsmede Andorra[1], Armenië, Azerbeidzjan, Georgië, Kazachstan, Kirgizië, Kiribati, Moldavië, Monaco[2], …

هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (سبتمبر 2023) هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق

This article relies largely or entirely on a single source. Please help improve this article by introducing citations to additional sources.Find sources: 2024 Iranian Assembly of Experts election – news · newspapers · books · scholar · JSTOR (December 2023) 2024 Iranian Assembly of Experts election is going to be held on March 1, 2024, with the elections of Islamic Consultative Majlis. Among notable candidates former president Hassan Rouhani has registere…

Tweede Klasse Land  België Regio Nationaal Bond KBVB Opgericht 1982 Systeem Competitie Promotie naar Eerste klasse Degradatie naar Eerste provinciale Aantal teams 28 (2x14) Huidige kampioen Wuustwezel en Melsele Laatste kampioen DVK Egem (2016) Recordkampioen Lommel (3x) Huidig seizoen 2017-18 Laatst bijgewerkt op: 9 augustus 2017 Portaal    Voetbal Het seizoen 2016-17 is de 36e editie van de Belgische Tweede klasse in het vrouwenvoetbal, en de eerste na de competitiehervorming v…

Malaikat Tertinggi Mikael mengenakan jubah dan cuirass Romawi dalam penggambaran abad ke-17 oleh Guido Reni Hugo Simberg, 1903. Schutzengel (bahasa Indonesia: Malaikat Pelindung). Lukisan yang menggambarkan malaikat pelindung yang melindungi dua orang anak; oleh Bernhard Plockhorst Hubungan harmonis antara agama dan ilmu pengetahuan, lukisan pada langit Aula Marmer di Biara Seitenstetten (Austria) oleh Paul Troger, 1735 Alegori puisi, oleh François Boucher Yakub bergulat dengan malaikat, ol…

As referências deste artigo necessitam de formatação. Por favor, utilize fontes apropriadas contendo título, autor e data para que o verbete permaneça verificável. (Outubro de 2014) Lumia 1520, Lumia 535 e Lumia 530. Microsoft Lumia (anteriormente conhecido como Nokia Lumia) é uma linha de dispositivos móveis descontinuada que foi originalmente projetada e comercializada pela Nokia e posteriormente pela Microsoft através da divisão Microsoft Mobile. A linha foi resultado de uma parceri…

c. 1490 – 1865 kingdom in East Africa Shilluk (Chollo) KingdomLäg Cøllø or Pödh Cøllø or Sudan in Arabic15th century–1861 FlagsShilluk Kingdom (yellow) and its neighborsCapitalFashoda (from the late 17th century)[1]Largest cityFashodaCommon languagesShillukReligion Imperial cultAfrican Traditional ReligionGovernmentDivine monarchyRädh • 1490–1517 Nyikaangø• 17th century Odaagø Ocøllø[2]• 17th century Rädh Tugø[2] Historica…

Inorganic compound Cobalt(II) sulfate Names IUPAC name Cobalt(II) sulfate Other names Cobaltous sulfate Identifiers CAS Number 10124-43-3 Y13455-34-0 (monohydrate) Y10026-24-1 (heptahydrate) Y 3D model (JSmol) Interactive image ChEBI CHEBI:53470 Y ChemSpider 23338 Y ECHA InfoCard 100.030.291 EC Number 233-334-2 KEGG C17383C19215 (heptahydrate) PubChem CID 24965 RTECS number GG3100000 (anhydrous) GG3200000 (heptahydrate) UNII H7965X29HX YY8N698ZE0T…

Gujarati KadhiHot Gujarati Kadhi in a bowlTypeSoupPlace of originIndian subcontinentServing temperatureHotMain ingredientsDahi (yogurt), Gram flourVariationsRajasthani Kadhi pakoda, Sindhi Kadhi, East Indian Kadhi Badi, South Indian Majjige Pulusu This article is part of the series onIndian cuisine Regional cuisines North India Awadhi Haryana Kashmiri Kumauni Mughlai Punjabi Rajasthani Uttar Pradeshi South India Chettinad Hyderabadi Karnataka Kerala Mangalorean Mangalorean Catholic Saraswat Tami…

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, re…

British actor (born 1985) In this Spanish name, the first or paternal surname is Gadiot and the second or maternal family name is Nava. Peter GadiotGadiot in 2016BornAlan Peter Gadiot Nava[1] (1985-01-02) 2 January 1985 (age 38)Sussex, England[2]OccupationActorYears active2010–present Alan Peter Gadiot Nava (/ˈɡædioʊ/;[3] born 2 January 1985[4]) is a British actor. Gadiot is best known for his role as James Valdez in the USA Network show Qu…

Dutch musician (1948–2022) This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Henny Vrienten – news · newspapers · books · scholar · JSTOR (May 2010) (Learn ho…

This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: Macleans College – news · newspapers · books · scholar · JSTOR (May 2013) (Learn how and when to remove this template message) State co-educational schoolMacleans CollegeAddressMacleans RoadEastern BeachAuckland 2012New ZealandCoordinates36°53′00″S 174°54′55″E / 36.8833°S 174.9152°…

Astronomi adalah ilmu pengetahuan alam tertua, yang telah ada sejak zaman kuno, dengan asal mulanya dalam kepercayaan agama, mitologi, kosmologi, kalender, dan astrologi dan praktik-praktik pra-sejarah.Sebuah peta bintang dengan sebuah proyeksi cylindrical. Peta bintang buatan Su Song tersebut mewakili salah satu peta bintang tertua yang masih ada dalam bentuk yang dicetak. Sejarah awal Budaya-budaya awal mengidentifikasikan objek-objek ruang angkasa dengan dewa-dewa dan jiwa.[1] Mereka …

Former Roman Catholic monastery in Bergamo, Lombardy, Italy This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (March 2018) (Learn how and when to remove this template message) You can help expand this article with text translated from the corresponding article in Italian. (February 2010) Click [show] for important translat…

جزيرة غاغة غاغة . معلومات جغرافية الإحداثيات 24°24′45″N 51°32′45″E / 24.412513°N 51.545923°E / 24.412513; 51.545923  المساحة 11.6 كم الحكومة البلد  الإمارات العربية المتحدة التقسيم الإداري إمارة أبو ظبي  تعديل مصدري - تعديل   جزيرة غاغة، هي جزيرة في إمارة أبوظبي تبعد عن مركز الإم…

xiii legislatura de EspañaInformación generalÁmbito EspañaTipo BicameralInicio de sesiones 21 de mayo de 2019Fin de sesiones 24 de septiembre de 2019Cámara alta SenadoCámara baja Congreso de los DiputadosLiderazgoPresidente del Senado Manuel Cruz (PSOE) Presidenta del Congreso Meritxell Batet (PSOE) ComposiciónCongreso de los Diputados Grupos   123   Socialista  66   Popular  57   Ciudadanos  42 …

This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Mendy Portnoy – news · newspapers · books · scholar · JSTOR (July 2016) (Learn how and when to remove this template message) Mendy PortnoyMendy Portn…

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Kuttikkanam – news · newspapers · books · scholar · JSTOR (September 2019) (Learn how and when to remove this template message) Hill station in Kerala, IndiaKuttikkanamHill stationHill Highway at KuttikkanamKuttikkanamLocation in Kerala, IndiaShow map of KeralaKut…

Kembali kehalaman sebelumnya

Lokasi Pengunjung: 172.70.43.103