abc猜想的项目内容 ABC猜想是指什么？
abc\u731c\u60f3\u7684\u731c\u60f3\u7b80\u4ecbabc\u731c\u60f3\uff08abc conjecture\uff09\u6700\u5148\u7531Joseph Oesterl\u00e9\u53caDavid Masser\u57281985\u5e74\u63d0\u51fa\u3002\u5b83\u8bf4\u660e\u5bf9\u4e8e\u4efb\u4f55\u03b5>0\uff0c\u5b58\u5728\u5e38\u6570C\u03b5> 0\uff0c\u5e76\u5bf9\u4e8e\u4efb\u4f55\u4e09\u4e2a\u6ee1\u8db3a+ b= c\u53caa,b\u4e92\u8d28\u7684\u6b63\u6574\u6570a,b,c\uff0c\u6709\uff1a\u5176\u4e2d\uff0crad(n)\u8868\u793an\u7684\u8d28\u56e0\u6570\u7684\u79ef\uff0c \u5982 rad(72) = rad (2\u00d72\u00d72\u00d73\u00d73) = 2\u00d73 = 6 \u30021996\u5e74\uff0c\u7231\u4f26\u00b7\u8d1d\u514b\u63d0\u51fa\u4e00\u4e2a\u8f83\u4e3a\u7cbe\u786e\u7684\u731c\u60f3\uff0c\u5c06rad(n)\u7528\u53d6\u4ee3\uff0c\u5176\u4e2d\u03c9\u662fa,b,c\u7684\u4e0d\u540c\u8d28\u56e0\u5b50\u7684\u6570\u76ee\u3002abc\u731c\u60f3\u5c06\u8bb8\u591a\u4e22\u756a\u56fe\u95ee\u9898\u90fd\u5305\u542b\u5728\u5176\u4e2d\uff0c\u6bd4\u5982\u8d39\u9a6c\u5927\u5b9a\u7406\u3002\u540c\u8bb8\u591a\u4e22\u756a\u56fe\u95ee\u9898\u4e00\u6837\uff0cabc\u731c\u60f3\u5b8c\u5168\u662f\u4e00\u4e2a\u7d20\u6570\u4e4b\u95f4\u5173\u7cfb\u7684\u95ee\u9898\u3002\u65af\u5766\u798f\u5927\u5b66\u5e03\u62c9\u6069\u00b7\u5eb7\u62c9\u5fb7\uff08Brian Conrad\uff09\u66fe\u8bf4\uff0c\u201c\u5728a\u3001b\u548ca+b\u7684\u7d20\u6570\u56e0\u5b50\u4e4b\u95f4\u5b58\u5728\u7740\u66f4\u6df1\u5c42\u7684\u5173\u8054\u201d\u3002
abc\u731c\u60f3\uff08abc conjecture\uff09
\u6700\u5148\u7531Joseph Oesterl\u00e9\u53caDavid Masser\u57281985\u5e74\u63d0\u51fa\u3002\u5b83\u8bf4\u660e\u5bf9\u4e8e\u4efb\u4f55\u03b5>0\uff0c\u5b58\u5728\u5e38\u6570C\u03b5> 0\uff0c\u5e76\u5bf9\u4e8e\u4efb\u4f55\u4e09\u4e2a\u6ee1\u8db3a+ b= c\u53caa,b\u4e92\u8d28\u7684\u6b63\u6574\u6570a,b,c\uff0c\u6709\uff1ac<C\u03b5 rad\uff08abc\uff09^\uff081+\u03b5\uff09\u3000\u3000 \u5176\u4e2d\uff0c^\u540e\u9762\u7684\u6570\u8868\u793a\u6307\u6570\uff0crad(n)\u8868\u793an\u7684\u8d28\u56e0\u6570\u7684\u79ef\uff0c[1] \u5982 rad(72) = rad (2\u00d72\u00d72\u00d73\u00d73) = 2\u00d73 = 6 \u3002
ABC@home 是一个由荷兰的一个数学研究院 Mathematical Institute of Leiden University 运作的，基于 BOINC 分布式计算平台的数学类项目，旨在通过搜索满足ABC猜想条件的三元数组获得这些数组的分布从而帮助数学家解决这个猜想。
即它利用分布式计算穷举直到 c<=10的满足ABC猜想条件的 (a,b,c) 三元数组，也就是说满足要求 c=a+b, a<b, rad(ABC)<C。其中 rad(n) 称为 n 的根积，意即 n 的所有质因数的乘积，若有重复的质因数则只取一个。例如，rad(1224)=rad((2^3)*(3^2)*17)=2*3*17=102。
项目通过研究这些三元数组的分布，试图寻找证明ABC猜想这个数学未解问题的方法。如果证明了ABC猜想，就可以部分证明费马-卡特兰 (Fermat-Catalan) 猜想，完全证明 Schinzel-Tijdeman 猜想等等。ABC猜想的具体内容是：对于所有e>0,存在与e有关的常数C(e)，对于所有满足a+b=c,a与b互质的三正整数组(a,b,c),均成立 c<=C(e)((rad(abc))^(1+e))。支持ABC猜想的证据有很多，比如说ABC猜想的多项式版本成立，ABC猜想也蕴含了费马大定理。D. Goldfeld 评价ABC猜想为“丢番图分析（意即系数与解均为整数的方程的分析）领域中最重要的未解决问题”。 ABC@home 希望能够通过了解满足条件的三元数组的分布来协助数学家解决ABC猜想。
绛旓細ABC鐚滄兂鐨勫叿浣撳唴瀹规槸锛氬浜庢墍鏈塭>0,瀛樺湪涓巈鏈夊叧鐨勫父鏁癈(e)锛屽浜庢墍鏈夋弧瓒砤+b=c,a涓巄浜掕川鐨勪笁姝ｆ暣鏁扮粍(a,b,c),鍧囨垚绔 c<=C(e)((rad(abc))^(1+e))銆傛敮鎸丄BC鐚滄兂鐨勮瘉鎹湁寰堝锛屾瘮濡傝ABC鐚滄兂鐨勫椤瑰紡鐗堟湰鎴愮珛锛孉BC鐚滄兂涔熻暣鍚簡璐归┈澶у畾鐞嗐侱. Goldfeld 璇勪环ABC鐚滄兂涓衡滀涪鐣浘鍒嗘瀽锛...
绛旓細ABC鐚滄兂锛岀敱Joseph Oesterl茅鍜孌avid Masser鍦1985骞存彁鍑猴紝鏄竴涓叧浜庢鏁存暟a銆乥鍜宑鐨勬繁濂ユ暟瀛﹀懡棰樸傝繖涓鐚滄兂鐨鏍稿績鍐呭鏄紝瀵逛簬浠绘剰缁欏畾鐨勬瀹炴暟蔚>0锛屽瓨鍦ㄤ竴涓笌蔚鐩稿叧鐨勫父鏁癈蔚锛屽浜庢弧瓒砤+b=c涓攁銆乥浜掕川鐨勬墍鏈夋鏁存暟a銆乥銆乧锛岄兘鏈変竴涓叧浜庡畠浠川鍥犳暟绉痳ad(n)鐨勯檺鍒讹紝鍗筹細rad(n) 鈮 C蔚 ...
绛旓細abc鐚滄兂鏄叧浜庝笁涓鏁存暟a銆乥鍜宑鐨勪竴涓湭瑙ｆ暟瀛﹂棶棰橈紝瀹冩柇瑷鍦╝+b=c涓攁銆乥銆乧浜掕川锛堝嵆鏈澶у叕绾︽暟涓1锛夌殑鎯呭喌涓嬶紝c鎬绘槸鍖呭惈涓涓ぇ浜1鐨勭礌鏁板洜瀛愩傝繖涓寽鎯崇敱鑻卞浗鏁板瀹跺ぇ鍗·闃垮竷鎷夊鏂拰绾︾堪·甯冭禆鎭·搴峰▉鍦20涓栫邯80骞翠唬鎻愬嚭锛屽敖绠＄粡杩囨暟鍗佸勾鐨勭爺绌讹紝瀹冧粛鐒舵槸涓涓湭瑙ｅ喅鐨勯棶棰樸
绛旓細ABC鐚滄兂鏄竴涓叧浜庢暣鏁扮殑鐚滄兂锛屾彁鍑轰簡褰㈠a+b=c锛坅锛宐锛宑涓烘鏁存暟锛夌殑绛夊紡涓紝濡傛灉a锛宐锛宑浜掕川锛屼笖c>a+b锛屽垯a锛宐锛宑涓変釜鏁颁腑锛屾渶澶х殑璐ㄥ洜鏁皃涓瀹氫笉浼氬お灏忥紝鑰宲杩涙暟鍒欐槸涓绉嶆暟瀛︿腑鐨勮繘浣嶅埗锛屽叾涓璸鏄竴涓礌鏁般傚湪p杩涙暟涓紝姣忎竴浣嶄笂鐨勬暟瀛楃殑鍙栧艰寖鍥存槸0鍒皃-1锛屾瘡涓浣嶇殑鏉冨兼槸p鐨勫箓...
绛旓細鑻鏄痑bc涓嶅悓绱犲洜鏁扮殑涔樼Н锛岃繖涓寽鎯虫湰璐ㄤ笂鏄璇磀閫氬父涓嶄細姣攃灏忓お澶氥傛崲鍙ヨ瘽鏉ヨ锛屽鏋渁锛宐鐨勫洜鏁颁腑鏈夋煇浜涚礌鏁扮殑楂樺箓娆★紝閭閫氬父灏变笉浼氳绱犳暟鐨勯珮骞傛鏁撮櫎銆傛暟璁轰腑鐨abc鐚滄兂(浜︿互Oesterl茅鈥揗asser鐚滄兂 鑰岄椈鍚)鏈鍏堢敱涔旂憻澶峰ゥ鏂揪鍒╋紙Joseph Oesterl茅锛夊強澶у崼路椹憻锛圖avid Masser锛夊湪1985骞...
绛旓細abc鐚滄兂锛坅bc conjecture锛夋渶鍏堢敱Joseph Oesterl茅鍙奃avid Masser鍦1985骞存彁鍑恒傚畠璇存槑瀵逛簬浠讳綍蔚>0锛屽瓨鍦ㄥ父鏁癈蔚> 0锛屽苟瀵逛簬浠讳綍涓変釜婊¤冻a+ b= c鍙奱,b浜掕川鐨勬鏁存暟a,b,c锛屾湁锛歝<C蔚 rad锛坅bc锛塣锛1+蔚锛 鍏朵腑锛宆鍚庨潰鐨勬暟琛ㄧず鎸囨暟锛宺ad(n)琛ㄧずn鐨勮川鍥犳暟鐨勭Н锛孾1] 濡 rad(72) = rad ...
绛旓細abc鐚滄兂锛氭帰绱㈠钩鍑′腑鐨勬暟瀛︿箣缇 鍦ㄦ暟璁虹殑娴锋磱涓紝abc鐚滄兂濡傚悓涓棰楁湭缁忔墦纾ㄧ殑鐝嶇彔锛岀湅浼肩畝鍗曞嵈钑村惈娣卞ゥ銆傚畠鍥寸粫鐫涓変釜浜掕川鐨勬鏁存暟a銆乥鍜宑锛屾彁鍑轰簡涓変釜寮曚汉鎬濊冪殑鍛介锛氱壒渚嬩腑鐨勫钩琛★細褰揷婊¤冻c=rad(abc)锛屽畠鏄釜鐗规畩鐨勮竟鐣岋紝鏆楃ず鐫鏌愮鍜岃皭鐨勫绉版с備絾杩欎釜鐗逛緥骞朵笉鏅亶锛屽畠鍍忎竴涓暟瀛︾殑鍋堕亣锛岃岄潪...
绛旓細q(a锛宐锛宑) < 1锛岃宷>1涔嬫儏鍐靛疄灞炲皯瑙侊紝姝ゆ椂杩欎簺鏁扮殑鍥犳暟涓瓨鍦ㄧ潃灏忕礌鏁扮殑楂樻骞傘傚凡鐭ュ瓨鍦ㄦ棤闄愬鐨勪笁鍏冪粍锛氭弧瓒砤銆乥銆乧鏄簰绱犳鏁存暟锛宎+b=c锛岃屼笖q(a锛宐锛宑)> 1锛岀劧鑰岋紙杩欎釜鐚滄兂鎯宠琛ㄨ堪鐨勫氨鏄級锛屽湪q>1.01锛宷>1.001锛宷>1.0001鐢氳嚦q绂1鏇磋繎鏃讹紝涓夊厓缁勫嵈鏄湁闄愬鐨勩傝鐗瑰埆璇存槑...
绛旓細锛1锛夊摜寰峰反璧寽鎯 鐚滄兂鍐呭锛氫换浣曚竴涓ぇ浜2鐨勫伓鏁帮紝閮藉彲浠ュ啓鎴愪袱涓礌鏁颁箣鍜岋紝绠绉“1+1=2”銆傚摜寰峰反璧簬1742骞存彁鍑猴紝濡備粖宸茬粡270澶氬勾锛屾渶濂界殑鎴愭灉鏄垜鍥芥暟瀛﹀闄堟櫙娑﹁瘉鏄庣殑“1+2”锛屼篃灏辨槸锛氫换涓鍏呭垎澶х殑鍋舵暟锛岄兘鍙互鍐欐垚涓涓礌鏁颁笌涓涓笉瓒呰繃涓や釜绱犳暟鐨勪箻绉箣鍜屻傦紙2锛...
