Abc猜想
Abc猜想
-{H|zh-hans:重定向;zh-hant:重新导向;}--{H|zh-cn:字符;zh-tw:字元;}--{H|zh-hans:文件; zh-hant:档案;}--{H|zh-hans:快捷方式; zh-hant:捷径;}--{H|zh-hans:项目;zh-hant:专案;zh-tw:计划;zh-hk:计划;zh-mo:计划;}--{H|zh-cn:计算机; zh-sg:电脑; zh-tw:电脑;}-
abc猜想()是一个未解决的数学猜想,最先由约瑟夫·奥斯特莱及大卫·马瑟在1985年提出。abc猜想以三个互质正整数a, b, c描述,c是a及b的和,猜想因此得名。京都大学数理解析研究所望月新一教授于2012年提出论文证明,经过8年同行审查后于2020年4月发表,但对于该证明的正确性仍存在极大争议。对此也衍生出一BOINC项目「ABC@Home」。
abc猜想若得证,数论中很多著名猜想可以立时得出。多利安·哥德费尔德称abc猜想为「丢番图分析中最重要的未解问题」。#重定向
内容.
对正整数formula_1,formula_2表示formula_1的质因数的积,称为formula_1的根基(radical)。例如
rad(16) = rad(24) = 2,
rad(17) = 17,
rad(18) = rad(2 ⋅ 32) = 2 · 3 = 6,
rad(1000000) = rad(26 ⋅ 56) = 2 ⋅ 5 = 10.
若正整数"a", "b", "c" 彼此互质,且"a" + "b"="c",「通常」会有"c" "c",因此"q"("a", "b", "c") 2的三元组都成立。
计算结果.
2006年,荷兰的莱顿大学数学系与Kennislink科学研究所合作,开展ABC@Home计划。这个计划是网格计算系统,目的在找出更多的正整数三元组"a", "b", "c"使得rad("abc")