码迷,mamicode.com
首页 > 其他好文 > 详细

唯一分解定理证明(WD)

时间:2017-07-03 19:57:13      阅读:242      评论:0      收藏:0      [点我收藏+]

标签:个数   而且   约数   lin   质因数   不同的   结果   不同   错误   

from  http://www.matrix67.com/blog/archives/495

 

    为什么质因数分解的方法是唯一的。这个结论是如此的显然和易于接受,以致于有人会脱口而出:这当然是唯一的,不断使用越来越大的质数去试除,最后得到的肯定是唯一的质因数分解。不可否认,这个算法本身是没有任何问题的。根据合数的定义,试除与分解是一定能不断进行下去的,除非被除数本身变成了一个质数,而此时也标志着算法的结束。问题的关键就在于,这并不能说明原数能唯一地表示成质数的乘积:换一种试除的顺序会不会得出不同的分解方法?万一还有什么别的牛B大法也能用来分解质因数,而且结果与上面得到的完全不一样咋办?上面给出的算法只能说明我们能找出至少一种分解质因数的方法,用这种方法得到的结果是唯一的,但到底还有没有其它偏方秘籍能导出另外的分解方法来,我们就不得而知了。为了真正地证明,分解质因数的方法是唯一的,我们将再次用到反证法。假设存在某些数,它们有至少两种分解方法。那么根据上文提到的“非空正整数集里存在最小的元素”,一定有一个最小的数M,它能用至少两种方法表示成质数的乘积:

   M = P1 * P2 * … * Pr = Q1 * Q2 * … * Qs
    下面我们将看到,这种假设会推出一个多么荒谬的结果来。不妨设P1 <= P2 <= ... <= Pr, Q1 <= Q2 <= ... <= Qs。显然,P1是不等于Q1的,不然两边同时约掉它,我们就得到一个更小的有两种分解方法的数。不妨设P1 < Q1,那么我们用P1替换掉等式最右边中的Q1,得到一个比M更小的数T = P1 * Q2 * Q3 * ... * Qs。令M‘ = M - T,我们得到M‘的两种表达:    M‘ = (P1 * P2 * ... * Pr) - (P1 * Q2 * ... * Qs) = P1 * (P2 * .. * Pr - Q2 * ... * Qs)  ……  (1)    M‘ = (Q1 * Q2 * ... * Qs) - (P1 * Q2 * ... * Qs) = (Q1 - P1) * Q2 * ... * Qs  ………………  (2)     由于T比M小,因此M‘是正整数。从(1)式中我们立即看到,P1是M‘的一个质因子。注意到M‘比M小,因此它的质因数分解方式应该是唯一的,可知P1也应该出现在表达式(2)中。既然P1比所有的Q都要小,因此它不可能恰好是(2)式中的某个Q,于是只可能被包含在因子(Q1-P1)里。但这就意味着,(Q1-P1)/P1除得尽,也就是说Q1/P1-1是一个整数,这样Q1/P1也必须得是整数。我们立即看出,P1必须也是Q1的一个因子,这与Q1是质数矛盾了。这说明,我们最初的假设是错误的。     唯一分解定理的一个重要的推论是,如果质数p是ab的因子,那么p或者是a的因子,或者是b的因子。我们刚才在证明过程中也不自觉地用到了这个推论。证明方法很简单,假如a和b里面都不含p,把a和b各自分解开来再乘到一起,我们就得到了数ab的一个没有因子p的分解方式;而按照前面提到的试除法,ab是可以表示成p与另一些质数的乘积的,这违背了唯一分解定理。连续多次使用该推论,我们可以很快将推论推广到多个数的情形。     事实上,假设这个推论成立,我们也能很快反过来推出唯一分解定理:写出N的两种质因数分解,在前一种分解中任取一个因子,它必然会在后一种分解方法中出现;把它们约掉之后结论继续适用,不断进行该操作直到最终两边都只余下一个1。这一系列操作说明了,两种分解方法实际上是相同的。我们看到,唯一分解定理和它的推论实际上是等价的。如果我们能够绕过唯一分解定理,用另一种方法证出这个推论,我们也就相当于找到了唯一分解定理的另一个证明。而事实上,运用扩展的辗转相除算法,我们可以飞快地完成推论的证明。我们将说明,如果质数p能整除ab,但不整除a,那它一定是b的约数。     质数p不能整除a,告诉我们a和p互质,于是存在整数k和l使得ka + lp = 1。等式两边同时乘以b,我们有kab + lpb = b。而ab能被p整除,也即存在整数r使得ab=pr。那么,kpr + lpb = p(kr + lb) = b,我们立即看出p是b的一个约数。

 

唯一分解定理证明(WD)

标签:个数   而且   约数   lin   质因数   不同的   结果   不同   错误   

原文地址:http://www.cnblogs.com/lyqlyq/p/7112684.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!