主题
Search

几乎是整数


几乎是整数是指非常接近整数的数字。

费马大定理的近似解提供了一些著名的几乎是整数的例子。在动画电视节目《辛普森一家》第 7 季第 6 集(“恐怖树屋 VI”)题为 Homer^3 的片段中,方程 1782^(12)+1841^(12)=1922^(12) 在背景中出现。展开后发现只有前 9 位十进制数字匹配 (Rogers 2005)。《辛普森一家》第 10 季第 2 集(“常青台巫师”)提到了 3987^(12)+4365^(12)=4472^(12),它不仅在前 10 位十进制数字上匹配,而且在易于检查的最后一位也匹配 (Greenwald)。相应的几乎是整数为

(1782^(12)+1841^(12))/(1922^(12))=0.99999999972...
(1)
(3987^(12)+4365^(12))/(4472^(12))=1.0000000000189....
(2)

一些令人惊讶的几乎是整数由下式给出

 sin(11)=-0.999990206...,
(3)

它在 5 位数字内等于 -1,并且

 sin(2017RadicalBox[2, 5])=-0.9999999999999999785...,
(4)

它在 16 位数字内等于 -1(M. Trott,私人通讯,2004 年 12 月 7 日)。其中第一个来自半角公式恒等式

 sin^211=1/2(1-cos22),
(5)

其中 22 是 π 的收敛项 22/7 的分子,因此 pi,所以 cos22 approx cos(7pi)=cospi= approx -1。因此,任何 π 近似值 x 都会给出 cosx approx -1 形式的近似恒等式。

另一个涉及 eπ 的令人惊讶的例子是

 e^pi-pi=19.999099979...
(6)

(参见 Maze 和 Minder 2005),也可以写成

(pi+20)^i=-0.9999999992-0.0000388927i
(7)
cos(ln(pi+20)) approx -0.9999999992.
(8)

这里,e^pi盖尔丰德常数。这个近似恒等式显然在 1988 年左右几乎同时被 N. J. A. Sloane、J. H. Conway 和 S. Plouffe 注意到。它的起源可以追溯到与雅可比 θ 函数相关的和

 sum_(k=1)^infty(8pik^2-2)e^(-pik^2)=1.
(9)

第一项占主导地位,因为其他项仅贡献

 sum_(k=2)^infty(8pik^2-2)e^(-pik^2) approx 0.0003436,
(10)

给出

 e^(-pi)(8pi-2)=0.999656... approx 1.
(11)

改写为

 e^pi approx 8pi-2=pi+7pi-2
(12)

并使用近似值 pi approx 22/7,则得到

 e^pi approx pi+22-2=pi+20
(13)

(A. Doman,2023 年 9 月 18 日;由 D. Bamberger,2023 年 11 月 26 日传达)。有趣的是,最后一步中选择 pi approx 22/7(与其他选择相比,这在数学上并不重要,除了它使最终形式非常简单)使得公式比其他情况精确一个数量级。

通过多次应用余弦,可以使近似恒等式更接近,例如,

 cos(picos(picos(ln(pi+20)))) approx -1+3.9321609261×10^(-35).
(14)

另一个嵌套余弦几乎是整数由下式给出

 2cos(cos(cos(cos(cos(cos(cos5))))))^2 
 =0.999995254797000...
(15)

(P. Rolli,私人通讯,2004 年 2 月 19 日)。

一个归因于拉马努金的例子是

 22pi^4=2143+2.748...×10^(-6).
(16)

一些涉及整数和对数的近似恒等式为

510log_(10)7=431.00000040...
(17)
88ln89=395.00000053...
(18)
272log_pi97=1087.000000204...,
(19)

它们分别精确到 6、6 和 6 位小数(K. Hammond,私人通讯,2006 年 1 月 4 日和 3 月 23-24 日)。

一个有趣的近似恒等式由下式给出

 1/4[cos(1/(10))+cosh(1/(10))+2cos(1/(20)sqrt(2))cosh(1/(20)sqrt(2))]=1+2.480...×10^(-13)
(20)

(W. Dubuque,私人通讯)。

涉及 epi 的近似恒等式由下式给出

 e^6-pi^4-pi^5=0.000017673...
(21)

(D. Wilson,私人通讯),

 (pi^9)/(e^8)=9.9998387...
(22)

(D. Ehlke,私人通讯,2005 年 4 月 7 日),

 10tanh((28)/(15)pi)-(pi^9)/(e^8) approx 6.005×10^(-9)
(23)

(Povolotsky,私人通讯,2008 年 5 月 11 日),和

 (e^pi-ln3)/(ln2)-4/5=31.0000000033...
(24)

(精确到 8 位数字;M. Stay,私人通讯,2009 年 3 月 17 日),或等效地

 (10(e^pi-ln3))/(ln2)=318.000000033...,
(25)

其他显著的近似恒等式由下式给出

 (5(1+sqrt(5))[Gamma(3/4)]^2)/(e^(5pi/6)sqrt(pi))=1+4.5422...×10^(-14),
(26)

其中 Gamma(z)伽玛函数 (S. Plouffe,私人通讯),

 ln2+log_(10)2=0.994177...
(27)

(D. Davis,私人通讯),

 (163)/(ln163)=31.9999987384...
(28)

(发布到sci.math;来源未知),

 eC^(5/7-gamma)pi^(-(2/7+gamma)) approx 1.00014678
(29)
 (C^(gamma-19/7)pi^(2/7+gamma))/(2phi) approx 1.00105
(30)
 egammaphi(Cpi)^(-(2/7+gamma)) approx 1.01979,
(31)

其中 C卡塔兰常数gamma欧拉-马歇罗尼常数,φ 是 黄金比例(D. Barron,私人通讯),以及

 163(pi-e)=68.999664...
(32)
 (53453)/(ln53453)=4910.00000122...
(33)
[(2-1)^2+((5^2-1)^2)/(6^2+1)]e-[(2+1)^2+((5^2+1)^2)/(6^2-1)]^(-1)=(613)/(37)e-(35)/(991)
(34)
=44.99999999993962...
(35)

(E. Stoschek,私人通讯)。Stoschek 还给出了一个有趣的近似恒等式,涉及精细结构常数 alpha费根鲍姆常数 delta,

 (28-delta^(-1))(alpha^(-1)-137) approx 0.999998.
(36)

E. Pegg Jr.(私人通讯,2002 年 3 月 4 日)发现了有趣的近似恒等式

 ((91)/(10))^(1/4)-(33)/(19)=3.661378...×10^(-8)
(37)

 ((23)/9)^5=(6436343)/(59049) approx 109.00003387.
(38)

近似恒等式

 3sqrt(2)(sqrt(5)-2)=1.0015516...
(39)

产生于注意到从正十二面体增广形成大十二面体增广比率 (r+h)/h=3(sqrt(5)-2) 近似等于 1/sqrt(2)。另一个近似恒等式由下式给出

 zeta(3) approx gamma^(-1/3)+pi^(-1/4)(1+2gamma-2/(130+pi^2))^(-3),
(40)

其中 zeta(3)阿佩里常数gamma欧拉-马歇罗尼常数,它精确到四位数字(P. Galliani,私人通讯,2002 年 4 月 19 日)。

J. DePompeo(私人通讯,2004 年 3 月 29 日)发现

 (5phie)/(7pi)=1.0000097...,
(41)

它在五位数字内等于 1。

M. Hudson(私人通讯,2004 年 10 月 18 日)注意到几乎是整数

 lnK-lnlnK=1.0000744...,
(42)

其中 K辛钦常数,以及

 (sqrt(45))^gamma=3.000060964...,
(43)

(私人通讯,2005 年 2 月 4 日),其中 gamma欧拉-马歇罗尼常数

M. Joseph 发现

 erfi(erfi(1/3sqrt(3)))=1.0000208...,
(44)

它在四位数字内等于 1(私人通讯,2006 年 5 月 18 日)。M. Kobayashi(私人通讯,2004 年 9 月 17 日)发现

 10(gamma^(-1/2)-1)^2=0.9999980...,
(45)

它在五位数字内等于 1。相关的表达式

 (10)/(81)(11-2sqrt(10))-gamma=-2.72×10^(-7),
(46)

它在六位数字内等于 0(E. Pegg Jr.,私人通讯,2004 年 9 月 28 日)。S. M. Edde(私人通讯,2007 年 9 月 7 日)注意到

 exp[-psi_0(1/4(2+sqrt(3)))]=1.99999969...,
(47)

其中 psi_0(x)双伽玛函数

E. W. Weisstein(2003 年 3 月 17 日)发现了几乎是整数

2.78768×10^(-6) approx 7/(64)ln2-(131)/(1728)
(48)
2.84186×10^(-6) approx (80497)/(40320)-(43)/(144)pi^2+(3293)/(1260)ln2-(43)/(24)(ln2)^2
(49)
9.80710×10^(-6) approx (2411287)/(30240)-(100)/9pi^2+(1877)/(21)ln2-(200)/3(ln2)^2
(50)

作为积分区域分解中的单独积分,用于计算三角形三角形拾取中三角形的平均面积。

ln23^(1/3) 给出几乎是整数

 1/(3^(1/3)ln2)=1.00030887...
(51)

(E. W. Weisstein,2005 年 2 月 5 日)。

Prudnikov 等人(1986 年,第 757 页)无意中给出了一个几乎是整数的结果,因为他们错误地将无穷乘积识别为

 product_(k=1)^infty(1-e^(-2pik/sqrt(3)))=(e^(-2pi/sqrt(3)))_infty,
(52)

其中 (q)_inftyq-Pochhammer 符号,被认为等于 3^(1/4)e^(-pi/(6sqrt(3))),这与正确结果相差

 3^(1/4)e^(-pi/(6sqrt(3)))-(e^(-2pi/sqrt(3)))_infty approx 1.82668×10^(-5).
(53)

一个与八字曲线相关的更晦涩的近似恒等式是跳跃的位置在

 Pi(1/2i(i+sqrt(7));isinh^(-1)(sqrt(-(2i)/(i+sqrt(7)))tant),k),
(54)

其中

 k=sqrt((i+sqrt(7))/(i-sqrt(7)))
(55)

并且 Pi(n;phi,k)第三类椭圆积分,其值为 1.3333292798...,或在 4/3 的 4.1×10^(-6) 范围内 (E. W. Weisstein,2006 年 4 月)。另一个稍微晦涩的是给出学生 t 分布样本量为 30 时 99.5% 置信区间所需的 x 值,其值为 2.7499956...,或在 11/4 的 4.4×10^(-6) 范围内 (E. W. Weisstein,2006 年 5 月 2 日)。

l^_等腰直角三角形三角形线拾取的线段的平均长度,则

 l^_=1/(30)[2+4sqrt(2)+(4+sqrt(2))sinh^(-1)1] approx 0.4142933026,
(56)

它在 8×10^(-5)sqrt(2)-1=0.4142135624... 范围内。

D. Terr(私人通讯,2004 年 7 月 29 日)发现了几乎是整数

 phi/(2^(ln2))=1.0007590...,
(57)

其中 phi黄金比例ln22 的自然对数

D. Hickerson 提出的一组几乎是整数的形式为形式为

 h_n=(n!)/(2(ln2)^(n+1))
(58)

对于 1<=n<=17,如下表所示。

nh_n
00.72135
11.04068
23.00278
312.99629
474.99874
5541.00152
64683.00125
747292.99873
8545834.99791
97087261.00162
10102247563.00527
111622632572.99755
1228091567594.98157
13526858348381.00125
1410641342970443.08453
15230283190977853.03744
165315654681981354.51308
17130370767029135900.45799

这些数字接近整数,因为该商是 n 个人(允许平局)之间比赛可能结果数量的无穷级数中的主导项。将此数字称为 f(n),则得出

 f(n)=sum_(k=1)^n(n; k)f(n-k)
(59)

其中 f(0)=1,其中 (n; k)二项式系数。由此,我们得到 f指数生成函数

 sum_(n=0)^infty(f(n))/(n!)z^n=1/(2-e^z),
(60)

然后通过围道积分可以证明

 f(n)=1/2(-1)^(n+1)n!sum_(k=-infty)^infty1/((ln2+2piik)^(n+1))
(61)

对于 n>=1,其中 i-1 的平方根,并且总和是对所有整数 k 求和(这里,k-k 项的虚部相互抵消,因此此总和是实数)。k=0 项占主导地位,因此 f(n) 渐近于 n!/(2(ln2)^(n+1))。总和可以显式地完成为

 f(n)=((-1)^(n+1)in!)/(pi^(n+1)2^(n+2))[i^nzeta(n+1,1+(iln2)/(2pi))-(-i)^nzeta(n+1,-(iln2)/(2pi))],
(62)

其中 zeta(s,a)赫尔维茨 zeta 函数。实际上,对于 n 从 1 到 15,其他项非常小,因此对于这些值,f(n)n!/(2(ln2)^(n+1)) 最接近的整数,由序列 1, 3, 13 75, 541, 4683, ... (OEIS A034172) 给出。

可以使用模函数理论找到一大类无理数几乎是整数,拉马努金(1913-14)给出了一些相当引人注目的例子。Hermite(1859)、Kronecker(1863)和 Smith(1965)也研究了这种近似。它们可以使用 j 函数的一些惊人(且非常深刻)的属性生成。一些最接近整数的近似值是 e^(pisqrt(163))(有时称为拉马努金常数,它对应于类数为 1 且是最大判别式的虚二次域的域 Q(sqrt(-163))),e^(pisqrt(22))e^(pisqrt(37))e^(pisqrt(58)),其中最后三个的类数为 2,归功于拉马努金(Berndt 1994,Waldschmidt 1988ab)。

j 函数的属性也产生了惊人的恒等式

 [(ln(640320^3+744))/pi]^2=163+2.32167...×10^(-29)
(63)

(Le Lionnais 1983, p. 152; Trott 2004, p. 8)。

下面的列表给出了形式为 x=e^(pisqrt(n)),对于 n<=1000,满足 |nint(x)-x|<=10^(-3) 的数字。

n|nint(x)-x|
25-0.00066
37-0.000022
43-0.00022
58-1.8×10^(-7)
67-1.3×10^(-6)
74-0.00083
1480.00097
163-7.5×10^(-13)
232-7.8×10^(-6)
2680.00029
522-0.00015
6521.6×10^(-10)
719-0.000013

Gosper(私人通讯)指出表达式

 1-262537412640768744e^(-pisqrt(163))-196884e^(-2pisqrt(163))+103378831900730205293632e^(-3pisqrt(163)).
(64)

整数仅相差 1.6×10^(-59)

AlmostIntegerTriangleDissection

E. Pegg Jr. 指出,上面图示的三角形解剖长度为

d=1/2sqrt(1/(30)(61421-23sqrt(5831385)))
(65)
=7+8.574×10^(-8),
(66)

这几乎是一个整数。

Borwein 和 Borwein (1992) 以及 Borwein 等人 (2004, pp. 11-15) 给出了几乎为真的级数恒等式的例子。例如,

 sum_(n=1)^infty(|_ntanhpi_|)/(10^n)=1/(81)-1.11...×10^(-269)
(67)

这是正确的,因为 tanhpi=0.9962... 并且对于正整数 n<268|_ntanhpi_|=n-1。实际上,前几个使 |_ntanhpi_|=|_(n+1)tanhpi_| 的 n 的加倍值是 268、536、804、1072、1341、1609、...(OEIS A096613)。

一个(非常)接近整数的例子是

sum_(k=-infty)^(infty)1/(10^((k/100)^2))=theta_3(0,10^(-1/10000))
(68)
 approx 100sqrt(pi/(ln10))+1.3809×10^(-18613)
(69)

(Borwein 和 Borwein 1992;Maze 和 Minder 2005)。

Maze 和 Minder (2005) 发现了从以下公式获得的一类近似恒等式

 u_k=ln2sum_(n=-infty)^infty1/((2^(k/2)+2^(-k/2))^n)
(70)

u_1=3.14159265359518238328842...
(71)
=pi+5.3...×10^(-12)
(72)
u_2=1.00000000004885109041382...
(73)
=1+4.8...×10^(-11)
(74)
u_3=pi/(2^3)+2.2...×10^(-10)
(75)
u_4=1/6+6.7...×10^(-10)
(76)
u_5=(3pi)/(2^7)+1.5...×10^(-9)
(77)
u_6=1/(30)+2.9...×10^(-9)
(78)

(OEIS A114609A114610)。这里,超额部分可以计算为由递归关系连接的精确和,其中前几个是

r_1=2pisum_(k=1)^(infty)sech((2kpi^2)/(ln2))
(79)
r_2=(2pi)/(ln2)sum_(k=1)^(infty)2kpicsch((2kpi^2)/(ln2))
(80)

(Maze 和 Minder 2005)。这些总和也可以使用 q-polygamma 函数 psi_q^((k))(z) 以闭合形式完成,例如给出

r_1=-2ipsi_(sqrt(2))(-ipil_2)-2ipsi_(sqrt(2))(ipil_2)-1/2l_2^(-1)-3pi
(81)
r_2=-2l_2psi_(sqrt(2))^((1))(-ipil_2)-2l_2psi_(sqrt(2))^((1))(ipil_2)-1/4l_2^(-1)+1,
(82)

其中 l_2=ln2

一个有趣的涉及长度单位的几乎是整数由下式给出

 (inches/mile)/(astronomical units/light year)=0.99812...,
(83)

一个涉及长度、时间和速度的由下式给出

 ((astronomical units/day)^2)/((speed of light)(meters/second))=10000.06...
(84)

(J. Martin-Garcia,私人通讯,2022 年 6 月 25 日)。

如果允许物理和数学常数的组合并以 SI 单位表示,则以下量具有接近整数的数值前因子

(cek)/h=1.0008m A/(s K)
(85)
(P_b+7/9)(epsilon_0R_infty^2)=1000.0F/m^3
(86)

(M. Trott,私人通讯,2011 年 4 月 28 日),其中第一个显然被 Weisskopf 注意到。这里,c 是光速,e 是基本电荷,k 是玻尔兹曼常数,h 是普朗克常数,P_b 是 4 维超立方体晶格的键渗流阈值,epsilon_0 是真空介电常数,R_infty 是里德伯常数。另一个著名的例子是 Wyler 常数,它根据基本数学常数近似(无量纲)精细结构常数。


另请参见

几乎是素数, 几乎为零, 阿佩里常数近似值, 卡塔兰常数近似值, 类数, e 近似值, 爱丁顿数, 欧拉-马歇罗尼常数近似值, 费根鲍姆常数近似值, 向下取整函数, 黄金比例近似值, j-函数, 辛钦常数近似值, Pi 近似值, 皮索数, 三角形解剖, 一致性猜想, Wyler 常数

使用 Wolfram|Alpha 探索

参考文献

Berndt, B. C. Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, pp. 90-91, 1994.Borwein, J.; Bailey, D.; and Girgensohn, R. "High Precision Fraud." §1.4 in Experimentation in Mathematics: Computational Paths to Discovery. Wellesley, MA: A K Peters, pp. 11-15, 2004.Borwein, J. M. and Borwein, P. B. "Strange Series and High Precision Fraud." Amer. Math. Monthly 99, 622-640, 1992.Cohen, H. "Elliptic Curves." In From Number Theory to Physics (Ed. M. Waldschmidt, P. Moussa, J.-M. Luck, and C. Itzykson). New York: Springer-Verlag, pp. 212-237, 1992.Greenwald, S. "Dr. Sarah's Futurama pik--Mathematics in the Year 3000." http://www.mathsci.appstate.edu/~sjg/futurama/.Hermite, C. "Sur la théorie des équations modulaires." Comptes Rendus Acad. Sci. Paris 48, 1079-1084 and 1095-1102, 1859.Hermite, C. "Sur la théorie des équations modulaires." Comptes Rendus Acad. Sci. Paris 49, 16-24, 110-118, and 141-144, 1859.Kronecker, L. "Über die Klassenzahl der aus Wurzeln der Einheit gebildeten komplexen Zahlen." Monatsber. K. Preuss. Akad. Wiss. Berlin, 340-345. 1863.Le Lionnais, F. Les nombres remarquables. Paris: Hermann, 1983.Maze, G. and Minder, L. "A New Family of Almost Identities." 28 Jun 2005. http://www.arxiv.org/abs/math.GM/0409014/.Pegg, E. Jr. http://www.mathpuzzle.com/WIWWTP.gif.Pegg, E. Jr. "Math Games: Keen Approximations." Feb. 14, 2005. http://www.maa.org/editorial/mathgames/mathgames_02_14_05.html.Prudnikov, A. P.; Brychkov, Yu. A.; and Marichev, O. I. Integrals and Series, Vol. 1: Elementary Functions. New York: Gordon & Breach, 1986.Ramanujan, S. "Modular Equations and Approximations to pi." Quart. J. Pure Appl. Math. 45, 350-372, 1913-14.Roberts, J. The Lure of the Integers. Washington, DC: Math. Assoc. Amer., 1992.Rogers, D. "Homer Math Catches Up with the News." San Francisco Chronicle, p. B-7. Dec. 16, 2005. http://www.sfgate.com/cgi-bin/article.cgi?file=/chronicle/archive/2005/12/16/EDG7RG8FGG1.DTL.Sloane, N. J. A. Sequences A034172, A096613, A114609, and A114610 in "The On-Line Encyclopedia of Integer Sequences."Smith, H. J. S. Report on the Theory of Numbers. New York: Chelsea, 1965.Stillwell, J. "Modular Miracles." Amer. Math. Monthly 108, 70-76, 2001.Stoschek, E. "Modul 33: Algames with Numbers." http://marvin.sn.schule.de/~inftreff/modul33/task33.htm.Trott, M. The Mathematica GuideBook for Programming. New York: Springer-Verlag, 2004. http://www.mathematicaguidebooks.org/.Waldschmidt, M. "Some Transcendental Aspects of Ramanujan's Work." In Ramanujan Revisited: Proceedings of the Centenary Conference, University of Illinois at Urbana-Champaign, June 1-5, 1987 (Ed. G. E. Andrews, B. C. Berndt, and R. A. Rankin). New York: Academic Press, pp. 57-76, 1988a.Waldschmidt, M. In Ramanujan Centennial International Conference (Ed. R. Balakrishnan, K. S. Padmanabhan, and V. Thangaraj). Ramanujan Math. Soc., 1988b.

在 Wolfram|Alpha 中被引用

几乎是整数

请引用为

Weisstein, Eric W. “几乎是整数。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/AlmostInteger.html

主题分类