计算机证明:数学黑洞6174

计算机科学的一个重要分支是机器证明,即用计算机来证明代数、几何、图论、物理、化学等不同学科的猜想、定理、公式.其真实意义不在于证明已知的东西,而在于证明或帮助人证明人的智力、能力和时间所不敢问津的问题,举世闻名的“四色定理”就是这样证明出来的.本文尝试证明一个颇具趣味性的题目:卡普雷卡尔常数——数学黑洞6174.《参考消息》1993.3.14～17日,曾连载了关于数学黑洞的文章,1993.7期《读者》杂志又作了摘登,其中一个是6174.这里进一步描述如下:人们都知道,太空中有黑洞.任何物质,一旦掉进了这个黑洞,就永远也出不来了.自然数中也有黑洞.一个任意的四位正整数(数字全相同的除外),将数字重新组合成一个最大的数和一个最小的数,相减,重复这个过程,最多七步,必将得到6174.如1435:5431-1345=4086 8640-0468=81728721-1278=7443 7443-3447=39969963-3699=6264 6642-2466=41767641-1467=6174一日得到6174.“7641-1467=6174”