那是1919年5月14日的下午,人在北京访问友人的日本数学家、哲学家田所浩二先生收到了来自在日友人三浦先辈的来信,内容除了有三浦对于当时数学界情况和1897年第三次数学危机的看法,还有举世闻名的一段话:

(略)

我说田所啊,去年我在研究阿贝尔群的时候,你偷看了吧?

(略)

我认为,任何小于无限的自然数,甚至是整数,甚至是有理数都能以著名数字“114514”排列的四则运算式表示。我这里已经证明出1~300了,但是由于纸张空白处太少,我这里写不下了。昨天试图证明黎曼猜想的时候用完了。

三浦在1919年5月10日寄出的信件

但是还没等到田所先生回到日本,三浦先生就因为支持左翼组织推翻天皇而被激进分子刺杀。悲痛欲绝的田所先生便继承三浦的遗愿,在世田谷区新建造的木屋中与助手远野研究三浦的猜想。猜想也因此称为田所 – 三浦 – 远野猜想。大正时代建造的房屋仍保存至今。1930年,田所浩二先生宣布此猜想对于前20000个自然数成立。在猜想提出的100年后的2019年,学者itorr更是通过脚本证明了1919810个自然数,还将源代码公开至Github。

第一代三浦先辈像

附证明10^200的结果:

114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(114514*(-(1+1)*4+514)+(11451*4+(1+14*51*4+(11+4-5/1+4))))+(114*51*4+(11*4*5*1*4+(11-4*5+14))))+(114*51*4+((1+14)*514+(-(1+1)*4+51*4))))+(114*514+(11*451*4+((1+1)*4*(51-4)+(1-14+5+14)))))+(114*514+(1145*14+(1+14*51*4+((1+1)*(45+14)+(11/(45-1)*4))))))+(114*51*4+(114*5*14+(114+5+1+4))))+(114*514+(11*-45*(1-4)+(1*14-5/1+4))))+(114*514+(114*51+4+((11-4)*(51-4)+(11*-4+51-4)))))+(114*51*4+(11*451*4+(11*4*5*1*4+(11-4+5/1-4)))))+(114*514+(114*5*14+(11+4*5+1-4))))+(114*514+(11*4514+(11*4*5*14+(-(1+1)*4+51*4)))))+(114*514+(1145+14+(1*14-5+14))))+(114*514+(114*51*4+(11451+4+(1145+14+(11-4+5/1-4))))))+(114*514+(11*4514+((1+1)*4*51*4))))+(114*51*4+(11*451*4+(11*4*(51-4)+(1*14*(5+1)+4)))))+(11451*4+(1+14*51*4+(1+145+1-4+(-11+4-5+14)))))+((1-14)*-514+(114+5-1+4)))+(114*514+(11*451*4+((114-5)*14))))+(114*514+(1145*14+((11+4)*5/1*4+(-11+4-5+14)))))+(114*514+(114*51*4+(11*451*4+((1-14)*51*-4+(11-4+5/1-4))))))+(114*51*4+(114*5*14+(11*4*(5+14)+(11-4+5+14)))))+(114*514+(1145*(1+4)+(11+45+1-4))))+(114*514+(114*51*4+(1145*14+(11*4*5*14+(1*1*4+51*4))))))+(114*51*4+(1+14514+((1+1)*45*14+(11*(45-1)/4)))))+(114*514+(11*45*(1+4)+(-1-1+4+5+14))))+(11451+4+(-(11-451)*4+(11/(45-1)*4))))+(114*514+(114*51*4+(1145*14+(11*4*5*14+(1*14+51*4))))))+(114*51*4+((1+1)*4514+((11-4)*51*4+(11-4+5/1-4)))))+(114*514+(11451*4+(1*(1+451)*4+(-11-4+5+14)))))+(114*514+((1+14)*514+(1-1-(4-51)*4))))+(114*51*4+((11+4)*5/1*4+(1-14+5+14))))+(11*4514+(-1145*(1-4)+(1+145+1-4+(-11+4-5+14)))))+(114*51*4+((1145+1)*4+((114-51)*4+(-11-4+5+14)))))+(114*514+(114*51*4+((11+4)*(51+4)+(11/(45-1)*4)))))+(114*514+(11*45*(1+4)+(1*-1+4*5/1*4))))+(114*514+(1+1+4*514+(1-14+5+14))))+(114*514+(1+14514+(11*(4+5)*14+(11-4+5-1-4)))))+(114*514+(1145*14+(-1145*(1-4)+(1/-1+45-1+4)))))+(114*514+(114*51*4+(114*(51+4)+(114+51*4+(-11+4-5+14)))))
分类: 114514

头像

CA9526

下北泽日报马来西亚采编部记者,新闻提(灵)供(感)请联络:bilibili: 481716292或电邮至[email protected]

3
说点什么

avatar
3 评论数(不包含回复)
0 回复数
3 选择接受回复通知邮件的评论数
 
赞最多的评论
最热门评论
3 Comment authors
野兽の铁拳 之屑寒夜OfficalHomogeneous1919 Recent comment authors
最新 最旧 得票最多
Homogeneous1919
注册作者

homo都是数学家(确信)

寒夜Offical
注册作者
寒夜Offical

高技术力suki

野兽の铁拳 之屑
游客
野兽の铁拳 之屑

这么臭的数字有论证的必要吗(半恼)