主题
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)。


另请参阅

双二次数, 中心立方数, 克拉克三角形, 古巴素数, 立方三角形数, 丢番图方程——三次幂, 哈代-拉马努金数, 分拆, 平方数

使用 Wolfram|Alpha 探索

参考文献

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.

在 Wolfram|Alpha 中引用

立方数

请这样引用

Weisstein, Eric W. "Cubic Number." 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/CubicNumber.html

主题分类