《4位黑洞数的证明及相关问题剖析》由会员分享，可在线阅读，更多相关《4位黑洞数的证明及相关问题剖析（7页珍藏版）》请在金锄头文库上搜索。
1、位黑洞数的证明及相关问题剖析邬金华自原苏联人卡普耶卡提出位数反复重排求差会得到黑洞数617至今,这种看似简单的数字游戏隐含的数学道理已逐渐引起越来越多的人的兴趣，并很快被推演到更多位的情形.网上有消息称，该问题已被“印度学者和台湾中学生李光宇各自解决,大陆人王景之稍后也在网上公布了他的研究结论，但是，在可以搜索到的材料中却一直没有见到有关的严格的数学证明，而且,台湾李光宇和大陆王景之的结论也不完全一致。为弥补这些缺憾，这里先介绍几种对经典4位黑洞数的证明方法和相关结论，随后再陆续公布对其它位数的研究结果。一、操作过程中的差数在反复重排求差的演算过程中,除首次演算时的被减数是某个任意位数（但4个
2、数字不全相同）以外，以后操作的被减数都是上一次差数的重排，就是说，以后的操作都是在差数基础上进行的,而且黑洞数本身也是一个差数,只是较为特殊罢了.为了揭示一般差数的特点，这里将重排求差时的最大数用大写字母ABC的形式写出(最小数随之而定)，差数用小写字母mnk的形式写出。按最大数中间二位数字是否相同，可将最大数和相应得到的差数分为两种类型。类型1:最大数中间二位数字不同,即ABC，称无核类型（0核类型）,或普通类型。 A C D C B p k将相减操作写成竖式,可以得到被减数、减数和差数各构成数字之间的基本关系式：m=D mk10n=C-1 +p=p=-B+ nk=DA+10很明显,所有差数
3、的共同特点是：首尾二数字之和必为0，中间二数字之和必为8，首位数大于二位数.这样,能作为差数出现的数并不多，这里将它们从小到大全部罗列如下，共1+=45个： 9 205 28 308 17 36 46 16 426 4 85 175 5265 5355 5445 604 174 2 34 44 634 083 17 7263 53 744 733 763 8082 812 826 352 442 8532 82 87 90811 9261 51 9441 9531 961 91 801类型：最大数中间二位数字相同，即B=D(不能同时都取等号），称有核类型。 同样写成竖式,可得被减数、减数和差数
4、各构成数字之间的基本关系式为： B B D B A m 9 9 km=AD-1 m或m9），同一数组中包含的差数的个数可以是1个、2个、3个，最多可有比位数少1个，这里不妨将他们分别称为一元数组、二元数组、三元数组等等。这里是4位数,最多可包含个差数，故可归并出一元数组、二元数组和三元数组，共29组。这样，只需针对这29组差数重排求差就可以证明有无黑洞数了。结果，只有数组41766174重排求差得614，其构成数字与最大数741相同,所以6174就是黑洞数，而且是唯一的。这里介绍一个求差小窍门,可以很快得到对某数重排求差结果：某数如为类型1的数,其中最大和最小两数字之差即为差数的首位数，剩下两
5、数之差再减1就是差数的二位数，差数的第3位和第4位只需使其与首二位数之和分别为和10就行了。如对4176或1089重排求差，看下图: 最大减最小得差数的首位4 7 6 1 7 4 剩下二数之差再减1得差数的第二位 和为8 和为0 最大减最小得差数的首位 08 96 2 1 剩下二数之差再减得差数的第二位 和为8 和为10如某数是类型2的数，可用某数中的最大数减最小数再减1作为差数的首位数，差数的中间二数永远是“9”，差数的末位数与首位数之和为9。看下图： 最大减最小再减1得差数的首位7 4 4 3 3 9 9 和为9证明2-解方程在前述类型1的基本关系式中，如果最大数ABC是由黑洞数重排得到，
6、那么差数mnk应该仍是黑洞数，它的4个构成数字就应该与A、B、D分别相同，这样的可能共有！=4种，但考虑到k，nA,，还有2种，将它们分别代入到基本关系式中就可得到12个四元一次方程组,分别求解(看似麻烦，其实很简单，因为未知数系数都是1，且都是位数)，结果发现,只有、k顺序等于B、D、A、时,方程组才有合乎条件（ABD,且都是1位正整数）的解，解得=7,=6，=4，D=1，或m=6,=，p，k=4。对类型的数可用相同方法处理，但简单分析就知无解。故6174是唯一的黑洞数。证明3-逆推这在下面的叙述中将被提到。三、逆推所谓逆推，就是指求差的逆运算，即由差数npk反推求差时的最大数AB。在类型1
7、中,当mnpk已知时,将、n、p、分别代入到基本关系式中,可得个等式,好像还是解四元一次方程组的问题,但因为已知的mnp本身就有m+k=，n+=8的关系，故4个等式中只有2个是有效的,所以这时的四元一次方程组就成了不定方程;另一方面，CD还需满足ACD，故方程组只有有限个解。类型2的情形与此类似，因为已知的m、k已经满足m+k=9,故2个等式中只有1个是有效的，而ABD也要满足B（不同时取等号）,所以方程组也只有有限个解。解这2类不定方程组，可分别得到它们的逆推求解公式。1、类型1的逆推求解公式当4位数mnk满足条件，m+k=10,n+p=8时,可用以下公式逆推求B: A =m+ (= ,1,
8、29m) = 1+ （ =，+，2，+m-n-） = = 、的取值法则是先使从0开始一直取到9m时为止（和D由此而定），在同一条件下可能可取多个值,即从一直取到+mn-1时为止。以黑洞数6174为例，此时m=，n=，为清楚起见，可将、的取值和相应得到的ACD列成式子和数表： A m+ = 6 += 66 66 7 7 7 8 8 9 9 99 9 B =n1+ =2 + = 3 4 5 45 7 4 5 7 8 5 8 C = = 0 2 3 4 1 2 3 4 5 2 3 4 56 3 45 6 7 = = 0 0 1 1 1 2 2 2 2 3 3 33将它们写成正规数的形式就是600 3
9、10 20 6530 660 731 71 751 761 7751822 853 8642 852 8862 93 963 53 863 993共有20个解，将它们重排求差一次就可得到黑洞数，这里称它们为1步数。顺便指出，在类型1中逆推ABCD可有（1m）（mn）个解（最多可有25个解）.但这并不是说只有这20个数才是1步数。实际上，凡是与这20个数中任何一个数的构成数字相同的一般位数，都是1步数。以200为例，与之构成数字相同的602、260、260、262、002等等也都是1步数,因为在重排求差时，它们的最大数都是6200。可见,每个最大数实际代表的都是一个等效数组。用排列组合法可以计算
10、出这些等效数组一共包含了多少个一般的步数。当构成数字均不相同时,4个数字可组成24个不同的4位数；当构成数字只有2个相同时,则可组成12个不同的4位数；如果构成数字两两相同,则可组成个不同的4位数；如果构成数字有3个都相同，则可组成个不同的4位数。据此计算， 1步数共有4个,显然，它们是各不相同的。如果用其它差数逆推可以发现只有由674逆推时才有与它构成数字相同的最大数74,所以只有唯一的614才是黑洞数，这就是证明黑洞数的第三种方法，显然此法比较麻烦。但逆推的最初用意并不在此。、类型2的逆推求解公式 当4位数mnpk满足条件m+k9，m9,n=p=，时可用以下公式逆推求BBD： A= +1 ( =，2,8m) = （ =，+1，+2，+1） D =、的取值法则与类型相似，也是先使从0开始一直取到m(A和由此而定）,在同一条件下，大多可取多个值，即从一直取到+时为止。以npk19
