主題
Search

立方數


CubicNumber

立方數是一種 圖形數 形式為 n^3,其中 n正整數。前幾個是 1, 8, 27, 64, 125, 216, 343, ... (OEIS A000578)。小說深夜小狗神秘事件的主人公克里斯託弗背誦立方數來讓自己平靜下來,並防止自己想打人(Haddon 2003, p. 213)。

給出立方數的生成函式

 (x(x^2+4x+1))/((x-1)^4)=x+8x^2+27x^3+....
(1)

六角錐數等價於立方數 (Conway and Guy 1996)。

Binary plot of the cubic numbers

上面的圖表顯示了以二進位制表示的前 255 個(上圖)和 511 個(下圖)立方數。

波洛克 (Pollock) (1843-1850) 推測每個數都是最多 9 個立方數的和 (Dickson 2005, p. 23)。作為華林問題研究的一部分,已知每個正整數都是不超過 9 個正立方數的和 (g(3)=9,由 Dickson、Pillai 和 Niven 在二十世紀初證明),並且每個“足夠大的”整數都是不超過 7 個正立方數的和 (G(3)<=7)。然而,尚不清楚 7 是否可以減少 (Wells 1986, p. 70)。表示數字 1, 2, 3, ... 所需的正立方數個數為 1, 2, 3, 4, 5, 6, 7, 1, 2, 3, 4, 5, 6, 7, 8, 2, ...(OEIS A002376),以及用正立方數表示數字 1, 2, 3, ... 的不同方式的數量為 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 5, 5, 5, 5, ... (OEIS A003108)。

1939 年,Dickson 證明唯一需要九個正立方數的整數是 23 和 239。Wieferich 證明只有 15 個整數需要八個立方數:15, 22, 50, 114, 167, 175, 186, 212, 231, 238, 303, 364, 420, 428 和 454 (OEIS A018889)。因此,華林問題中的量 G(3) 滿足 G(3)<=7,並且已知需要七個立方數的最大數是 8042。Deshouillers等人。(2000) 推測 7373170279850 是不能表示為四個非負立方數之和的最大整數。

下表給出了表示為和至少需要 N=1, 2, 3, ..., 9 (即 N 個或更多)正立方數的首幾個數字。

NOEIS數字
1A0005781, 8, 27, 64, 125, 216, 343, 512, ...
2A0033252, 9, 16, 28, 35, 54, 65, 72, 91, ...
3A0477023, 10, 17, 24, 29, 36, 43, 55, 62, ...
4A0477034, 11, 18, 25, 30, 32, 37, 44, 51, ...
5A0477045, 12, 19, 26, 31, 33, 38, 40, 45, ...
6A0460406, 13, 20, 34, 39, 41, 46, 48, 53, ...
7A0188907, 14, 21, 42, 47, 49, 61, 77, ...
8A01888915, 22, 50, 114, 167, 175, 186, ...
9A01888823, 239

存在一個有限的數字集合,它們不能表示為不同的正立方數之和:2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, ...(OEIS A001476)。

已知每個整數都是最多 5 個帶符號立方數的和 (eg(3)<=5華林問題中)。據 5 可以減少到 4,因此

 N=A^3+B^3+C^3+D^3
(2)

對於任何數字 N,儘管這尚未對 形式為 9n+/-4 的數字進行證明。然而,由於代數恆等式,每個 6 的倍數都可以表示為四個帶符號立方數的和

 6x=(x+1)^3+(x-1)^3-x^3-x^3.
(3)

事實上,已知所有 N<1000形式為 9n+/-4 的數字都可以表示為

 N=A^3+B^3+C^3
(4)

三個(正或負)立方數的和,但以下數字除外:N=42, 114, 165, 390, 579, 627, 633, 732, 795, 906, 921 和 975 (Miller and Woollett 1955; Gardiner et al. 1964; Guy 1994, p. 151; Mishima; Elsenhaus and Jahnel 2007; Booker; Huisman 2016)。示例包括

30=(-283059965)^3+(-2218888517)^3+2220422932^3
(5)
33=8866128975287528^3+(-8778405442862239)^3+(-2736111468807040)^3
(6)
52=60702901317^3+23961292454^3+(-61922712865)^3
(7)
74=(-284650292555885)^3+66229832190556^3+283450105697727^3
(8)
75=435203083^3+(-435203231)^3+4381159^3
(9)
84=41639611^3+(-41531726)^3+(-8241191)^3
(10)
110=109938919^3+16540290030^3+(-16540291649)^3
(11)
195=(-2238006277)^3+(-5087472163)^3+5227922915^3
(12)
290=426417007^3+2070897315^3+(-2076906362)^3
(13)
435=4460467^3+(-4078175)^3+(-2755337)^3
(14)
444=3460795^3+14820289^3+(-14882930)^3
(15)
452=(-2267462975)^3+(-3041790413)^3+3414300774^3
(16)
462=1933609^3+(-1832411)^3+(-1024946)^3
(17)
478=(-1368722)^3+(-13434503)^3+13439237^3.
(18)

雖然已知對於 N9n+/-4 形式的方程 (◇) 沒有解 (Hardy and Wright 1979, p. 327),但排除上述整數是有已知原因的 (Gardiner et al. 1964)。Mahler 證明 1 有無限多種表示為三個帶符號立方數的方式。

如果也排除 108n+/-38 形式的數字,則每個數字都可以表示為四個帶符號立方數的和,使用以下代數恆等式之一,或其互補恆等式(透過 x->-x

6x=(x+1)^3+(x-1)^3-x^3-x^3
(19)
6x+3=x^3+(-x+4)^3+(2x-5)^3+(-2x+4)^3
(20)
18x+1=(2x+14)^3+(-2x-23)^3+(-3x-26)^3+(3x+30)^3
(21)
18x+7=(x+2)^3+(6x-1)^3+(8x-2)^3+(-9x+2)^3
(22)
18x+8=(x-5)^3+(-x+14)^3+(-3x+29)^3+(3x-30)^3
(23)
54x+2=(29484x^2+2211x+43)^3+(-29484x^2-2157x-41)^3+(9828x^2+485x+4)^3+(-9828x^2-971x-22)^3
(24)
54x+20=(3x-11)^3+(-3x+10)^3+(x+2)^3+(-x+7)^3
(25)
216x-16=(14742x^2-2157x+82)^3+(-14742x^2+2211x-86)^3+(4914x^2-971x+44)^3+(-4914x^2+485x-8)^3
(26)
216x+92=(3x-164)^3+(-3x+160)^3+(x-35)^3+(-x+71)^3.
(27)

這些恆等式以及 108n+/-38 的證明由 Demjanenko 給出 (Demjanenko 1966, Cohen 2004)。

下表給出了可以精確地以 W 種不同方式表示為 N 個正立方數之和的數字。(將給定 N 的所有 W 組合起來,就可以得到上表中的序列。)例如,

 157=4^3+4^3+3^3+1^3+1^3=5^3+2^3+2^3+2^3+2^3
(28)

可以用 W=2 種方式表示為 N=5 個立方數的和。可以用 W=2 種方式表示為 N=2 個立方數之和的最小數字,

 1729=1^3+12^3=9^3+10^3,
(29)

被稱為哈代-拉馬努金數,並且由於哈代講述的關於拉馬努金的故事,在數學史上具有特殊的意義。請注意,OEIS A001235 被定義為以兩種或更多種方式表示為立方數之和的數字序列,因此在前幾項中看起來與下面給出的 (N=2,W=2) 系列相同。

NWOEIS數字
10A0074122, 3, 4, 5, 6, 7, 9, 10, 11, 12, 13, 14, ...
11A0005781, 8, 27, 64, 125, 216, 343, 512, ...
20A0579031, 3, 4, 5, 6, 7, 8, 10, 11, 12, 13, 14, ...
212, 9, 16, 28, 35, 54, 65, 72, 91, ...
22A0188501729, 4104, 13832, 20683, 32832, ...
23A00382587539319, 119824488, 143604279, ...
24A0038266963472309248, 12625136269928, ...
2548988659276962496, ...
268230545258248091551205888, ...
30A0579041, 2, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, ...
31A0253953, 10, 17, 24, 29, 36, 43, 55, 62, ...
32251, ...
40A0579051, 2, 3, 5, 6, 7, 8, 9, 10, 12, 13, 14, ...
41A0254034, 11, 18, 25, 30, 32, 37, 44, 51, ...
42A025404219, 252, 259, 278, 315, 376, 467, ...
50A0579061, 2, 3, 4, 6, 7, 8, 9, 10, 11, 13, 14, 15, ...
51A0489265, 12, 19, 26, 31, 33, 38, 40, 45, ...
52A048927157, 220, 227, 246, 253, 260, 267, ...
60A0579071, 2, 3, 4, 5, 7, 8, 9, 10, 11, 12, 14, 15, ...
61A0489296, 13, 20, 27, 32, 34, 39, 41, 46, ...
62A048930158, 165, 184, 221, 228, 235, 247, ...
63A048931221, 254, 369, 411, 443, 469, 495, ...

下表給出了 n=1 到 20 的立方數的可能餘數(模 n),以及不同餘數的數量 s(n)

ns(n)x^3 (mod n)
220, 1
330, 1, 2
430, 1, 3
550, 1, 2, 3, 4
660, 1, 2, 3, 4, 5
730, 1, 6
850, 1, 3, 5, 7
930, 1, 8
10100, 1, 2, 3, 4, 5, 6, 7, 8, 9
11110, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
1290, 1, 3, 4, 5, 7, 8, 9, 11
1350, 1, 5, 8, 12
1460, 1, 6, 7, 8, 13
15150, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14
16100, 1, 3, 5, 7, 8, 9, 11, 13, 15
17170, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16
1860, 1, 8, 9, 10, 17
1970, 1, 7, 8, 11, 12, 18
20150, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 15, 16, 17, 19

杜德尼發現了兩個不同於 1 和 2 的有理數,它們的立方和為九,

 (415280564497)/(348671682660) and (676702467503)/(348671682660)
(30)

(Gardner 1958)。尋找兩個立方和為六的有理數的問題被勒讓德“證明”是不可能的。然而,杜德尼找到了簡單的解 17/21 和 37/21。

立方和為立方數的唯一三個連續整數丟番圖方程給出

 3^3+4^3+5^3=6^3.
(31)

卡塔蘭猜想指出 8 和 9 (2^33^2) 是唯一的連續(不包括 0 和 1),即 卡塔蘭丟番圖問題的唯一解。這個猜想尚未被證明或反駁,儘管 R. Tijdeman 已經證明,如果該猜想不成立,則可能只有有限數量的例外。也已知 8 和 9 是唯一的連續立方數和平方數(無論順序)。

有六個正整數等於其立方數的數字之和:1、8、17、18、26 和 27 (OEIS A046459; Moret Blanc 1879)。有四個正整數等於其數字的立方和

153=1^3+5^3+3^3
(32)
370=3^3+7^3+0^3
(33)
371=3^3+7^3+1^3
(34)
407=4^3+0^3+7^3
(35)

(Ball and Coxeter 1987)。有兩個 形式為 n^3-4平方數4=2^3-4121=5^3-4 (Le Lionnais 1983)。一個立方數不能是兩個立方數的串聯,因為如果 c^3a^3b^3 的串聯,則 c^3=10^ka^3+b^3,其中 kb^3 中的位數。在將 10^k 中的任何 1000 的冪移入 a^3 後,原始問題等效於找到以下丟番圖方程之一的解

c^3-b^3=a^3
(36)
c^3-b^3=10a^3
(37)
c^3-b^3=100a^3.
(38)

這些方程都沒有整數解,正如 Sylvester、Lucas 和 Pepin 獨立證明的那樣 (Dickson 2005, pp. 572-578)。


另請參閱

雙二次數, 中心立方數, 克拉克三角形, 古巴素數, 立方三角形數, 丟番圖方程——三次冪, 哈代-拉馬努金數, 分拆, 平方數

使用 探索

參考文獻

Ball, W. W. R. and Coxeter, H. S. M. 數學娛樂與散文,第 13 版。 New York: Dover, p. 14, 1987.Bertault, F.; Ramaré, O.; and Zimmermann, P. "On Sums of Seven Cubes." 數學計算 68, 1303-1310, 1999.Booker, A. R. "Cracking the Problem with 33." n.d. https://people.maths.bris.ac.uk/~maarb/papers/cubesv1.pdf.Cohen, H."On Sums of Four Cubes." (Trans. of Demjanenko's paper.) 2004. http://www.math.u-bordeaux.fr/~cohen/.Conn, B. and Vaserstein, L. "On Sums of Three Integral Cubes." 當代數學 166, 285-294, 1994.Conway, J. H. and Guy, R. K. 數之書。 New York: Springer-Verlag, pp. 42-44, 1996.Davenport, H. "On Waring's Problem for Cubes." 數學學報 71, 123-143, 1939.Demjanenko, V. "On Sums of Four Cubes." 高等院校學報(數學) 54, 64-69, 1966.Deshouillers, J.-M.; Hennecart, F.; and Landreau, B. "7 373 170 279 850." 數學計算 69, 421-439, 2000.Dickson, L. E. 數論史,第 2 卷:丟番圖分析。 New York: Dover, 2005.Elkies, N. D. "Rational Points Near Curves and Small Nonzero |x^3-y^2| via Lattice Reduction." In 演算法數論。2000 年 7 月 2-7 日在萊頓大學舉行的第四屆國際研討會(ANTS-IV)論文集 (Ed. W. Bosma). Berlin: Springer-Verlag, pp. 33-63, 2000. http://arxiv.org/abs/math.NT/0005139.Elsenhaus, A.-S. and Jahnel, J. "List of Solutions of x^3+y^3+z^3=n for n<1000 Neither a Cube Nor Twice a Cube." Apr. 19, 2007. http://www.uni-math.gwdg.de/jahnel/Arbeiten/Liste/threecubes_20070419.txt.Elsenhaus, A.-S. and Jahnel, J. "New Sums of Three Cubes." 數學計算 78, 1227-1230, 2009.Gardiner, V. L.; Lazarus, R. B.; and Stein, P. R. "Solutions of the Diophantine Equation x^3+y^3=z^3-d." 數學計算 18, 408-413, 1964.Gardner, M. "Mathematical Games: About Henry Ernest Dudeney, A Brilliant Creator of Puzzles." Sci. Amer. 198, 108-112, Jun. 1958.Guy, R. K. "Sum of Four Cubes." §D5 in 數論中未解決的問題,第 2 版。 New York: Springer-Verlag, pp. 151-152, 1994.Haddon, M. 深夜小狗神秘事件。 New York: Vintage, 2003.Hardy, G. H. and Wright, E. M. "Representation by Cubes and Higher Powers." Ch. 21 in 數論導論,第 5 版。 Oxford, England: Clarendon Press, pp. 317-339, 1979.Heath-Brown, D. R.; Lioen, W. M.; and te Riele, H. J. J. "On Solving the Diophantine Equation x^3+y^3+z^3=k on a Vector Computer." 數學計算 61, 235-244, 1993.Huisman, S. G. "Newer Sums of Three Cubes." 26 Apr 2016. https://arxiv.org/abs/1604.07746.Le Lionnais, F. 卓越的數。 Paris: Hermann, p. 53, 1983.Miller, J. C. P. and Woollett, M. F. C. "Solutions of the Diophantine Equation x^3+y^3+z^3=k." 倫敦數學學會雜誌 30, 101-110, 1955.Mishima, H. "n=x^3+y^3+z^3." http://www.asahi-net.or.jp/~kc2h-msm/mathland/math04/cube00.htm.Mishima, H. "The Mathematician's Secret Room." http://www.asahi-net.or.jp/~KC2H-MSM/mathland/math04/cube00.htm.Pollock, F. "On the Extension of the Principle of Fermat's Theorem of the Polygonal Numbers to the Higher Orders of Series Whose Ultimate Differences Are Constant. With a New Theorem Proposed, Applicable to All the Orders." Abs. Papers Commun. Roy. Soc. London 5, 922-924, 1843-1850.Sloane, N. J. A. Sequences A000578/M4499, A001235, A001476, A002376/M0466, A003108/M0209, A003072, A003325, A003327, A003328, A003825, A003826, A007412/M0493, A011541, A018850, A018888, A018889, A018890, A025395, A046040, A046041, A046459, A048926, A048927, A048928, A048929, A048930, A048931, A048932, A057903, A057904, A057905, A057906, and A057907 in "The On-Line Encyclopedia of Integer Sequences."Wells, D. 企鵝好奇和有趣的數字詞典。 Middlesex, England: Penguin Books, p. 70, 1986.

在 中引用

立方數

請這樣引用

Weisstein, Eric W. "Cubic Number." 來自 —— 資源。 https://mathworld.tw/CubicNumber.html

主題分類