努力学习网 努力学习网

宇宙终极数字“42”被破解!X^3+Y^3+Z^3=42是怎么求解的?

作者:杨超
宇宙终极数字“42”被破解! 在道格拉斯·亚当斯(Douglas Adams)撰写的《银河系漫游指南》中,虚构了一个生命、宇宙和一切终极问题的答案——42。一种拥有超级智慧的跨维度生物为了能找到解决宇宙终极问题最简单的答案,制造一台名字为“深思”的超级计算机,用了750万年的时间来处理这个问题,结果发现42是一个神秘的无解数值。后来这本书被拍成电影于2005年上映。 这个数字是怎么来的呢? 首先我们看一个问题,解方程:x^3 + y^3 + z^3 = k。 这个问题看似简单,但它是一个在数论领域长期存在的难题,它至少可追溯至 1825 年。 它是丢番图方程的一个例子,约1800年前古希腊的大数学家丢番图提出有一个或者几个变量的整系数方程,它们的求解仅仅在整数范围内进行。 说到丢番图,不得不说他的墓志铭 ,他把他的一生用一道代数题刻在了墓碑上,曾连续多年出现在各地中小学生的寒假作业上。 ”坟中安葬着丢番图,多么令人惊讶,它忠实地记录了所经历的道路。 上帝给予的童年占六分之一, 又过了十二分之一,两颊长胡, 再过七分之一,点燃起结婚的蜡烛。 五年之后天赐贵子, 可怜迟来的宁馨儿,享年仅及其父之半,便进入冰冷的墓。 悲伤只有用数论的研究去弥补,又过了四年,他也走完了人生的旅途。 终于告别数学,离开了人世。“ 自上世纪80年代以来,数学家们一直在努力尝试k数值,并寻找适合的x、y、z数值,解开这个方程式。但是他们发现一些数字永远不会奏效,例如:k数值除以9余数为4或者5的数都不会有丢番图方程解,这是由于立方数模 9 同余 0、1 或 - 1,三立方数和模 9 不可能同余 4 或 5,因而这是整数解存在的一个必要条件。这排除了100之内的22个数,但其它78个数应当有相应的方程解,却有两个数一直困扰着科学家:33和42。 随着计算机技术的飞速发展,,运算能力越来越强大,使得一些不可能也变为了可能。
我国自主研发的超级计算机—神威·太湖之光,曾蝉联世界超级计算机三连冠
2019年2月,布里斯托大学数学教授安德鲁·布克(Andrew Booker)创建了一个算法,来寻找x^3 + y^3 + z^3 = k的解,该算法运行时涉及到10^16次数值,在算法运行几周后获得了33的答案:(8,866,128,975,287,528)^3 + (–8,778,405,442,862,239)^3 + (–2,736,111,468,807,040)^3 = 33。 2019年9月,来自麻省理工学院研究人员Andrew Sutherland和英国布里斯托尔大学的Andrew Booker合作进行了一项超长时间计算,他们使用了超100万小时的慈善引擎计算后,终于破解了42,(-80538738812075974)^3+80435758145817515^3+12602123297335631^3=42。 公益慈善机构的引擎是一个全球范围的超级计算机平台,利用了50多万台家用电脑闲置、未使用的计算能力,创建了一个众包、超级环保的平台,它完全由原本被浪费的产能打造而成。 于是下面这句话成为定理: 除了9n±4型自然数外,所有100以内的自然数都能写成三个整数的立方和。 这些计算有沈现实意义呢?丢番图方程被用于在各种算法的计算过程中,算出几个未知数组合成一个已知的值,比如椭圆曲线加密算法,在密码学中的应用可以加密保护比特币。有些数学问题看没意义, 但是随着科技发展,不定哪天就用到了,我们现在用的有意义的东西可能就是几百年前没意义的东西。 附上100以内三立方和的非零解(多种解法选取其中一个) 1 = (-1)³ + 1³ + 1³ 2 = 7³ + (-5)³ + (-6)³ 3 = 1³ + 1³ + 1³ 4不可能 5不可能 6 = (-1)³ + (-1)³ + 2³ 7 = 104³ + 32³ + (-105)³ 8 = (-1)³ + 1³ + 2³ 9 = 217³ + (-52)³ + (-216)³ 10 = 1³ + 1³ + 2³ 11 = (-2)³ + (-2)³ + 3³ 12 = 7³ + 10³ + (-11)³ 13不可能 14不可能 15 = (-1)³ + 2³ + 2³ 16 = (-511)³ + (-1609)³ + 1626³ 17 = 1³ + 2³ + 2³ 18 = (-1)³ + (-2)³ + 3³ 19 = 19³ + (-14)³ + (-16)³ 20 = 1³ + (-2)³ + 3³ 21 = (-11)³ + (-14)³ + 16³ 22不可能 23不可能 24 = (-2901096694)³ + (-15550555555)³ + 15584139827³ 25 = (-1)³ + (-1)³ + 3³ 26 = 297³ + 161³ + (-312)³ 27 = (-1)³ + 1³ + 3³ 28 = 14³ + 13³ + (-17)³ 29 = 1³ + 1³ + 3³ 30 = (-283059965)³ + (-2218888517)³ + 2220422932³ 31不可能 32不可能 33 = 8866128975287528³ + (-8778405442862239)³ + (-2736111468807040)³ 34 = (-1)³ + 2³ + 3³ 35 = 14³ + (-8)³ + (-13)³ 36 = 1³ + 2³ + 3³ 37 = 50³ + 37³ + (-56)³ 38 = 1³ + (-3)³ + 4³ 39 = 117367³ + 134476³ + (-159380)³ 40不可能 41不可能 42 = (-80538738812075974)³ + 80435758145817515³ + 12602123297335631³ 43 = 2³ + 2³ + 3³ 44 = (-5)³ + (-7)³ + 8³ 45 = 2³ + (-3)³ + 4³ 46 = (-2)³ + 3³ + 3³ 47 = 6³ + 7³ + (-8)³ 48 = (-23)³ + (-26)³ + 31³ 49不可能 50不可能 51 = 602³ + 659³ + (-796)³ 52 = 23961292454³ + 60702901317³ + (-61922712865)³ 53 = (-1)³ + 3³ + 3³ 54 = (-7)³ + (-11)³ + 12³ 55 = 1³ + 3³ + 3³ 56 = (-11)³ + (-21)³ + 22³ 57 = 1³ + (-2)³ + 4³ 58不可能 59不可能 60 = (-1)³ + (-4)³ + 5³ 61 = 845³ + 668³ + (-966)³ 62 = 3³ + 3³ + 2³ 63 = 7³ + (-4)³ + (-6)³ 64 = (-1)³ + 1³ + 4³ 65 = 91³ + 85³ + (-111)³ 66 = 1³ + 1³ + 4³ 67不可能 68不可能 69 = 2³ + (-4)³ + 5³ 70 = 11³ + 20³ + (-21)³ 71 = (-1)³ + 2³ + 4³ 72 = 7³ + 9³ + (-10)³ 73 = 1³ + 2³ + 4³ 74 = (-284650292555885)³ + (66229832190556)³ + (283450105697727)³ 75 = 4381159³ + 435203083³ + (-435203231)³ 76不可能 77不可能 78 = 26³ + 53³ + (-55)³ 79 = (-19)³ + (-33)³ + 35³ 80 = 69241³ + 103532³ + (-112969)³ 81 = 10³ + 17³ + (-18)³ 82 = (-11)³ + (-11)³ + 14³ 83 = (-2)³ + 3³ + 4³ 84 = (-8241191)³ + (-41531726)³ + 41639611³ 85不可能 86不可能 87 = (-1972)³ + (-4126)³ + 4271³ 88 = 3³ + (-4)³ + 5³ 89 = 6³ + 6³ + (-7)³ 90 = (-1)³ + 3³ + 4³ 91 = 364³ + 192³ + (-381)³ 92 = 1³ + 3³ + 4³ 93 = (-5)³ + (-5)³ + 7³ 94不可能 95不可能 96 = 10853³ + 13139³ + (-15250)³ 97 = (-1)³ + (-3)³ + 5³ 98 = 14³ + 9³ + (-15)³ 99 = 2³ + 3³ + 4³ 100 = 7³ + (-3)³ + (-6)³

本站内容收集整理于网络,多标有原文出处,本站仅提供信息存储空间服务。如若转载,请注明出处。

相关文章