刘杰《离散数学1》精品教学5-4秦九韶定理 Euler函数.pptVIP

§5.4 秦九韶定理 Euler函数 §5.4.1 一次同余式组 秦九韶定理 定理5.4.1 设[m1,m2]为m1，m2的最低公倍数。则同余式组 x?a1 (mod m1) x?a2 (mod m2) ……………..(1) 在mod[m1,m2]下有唯一解的充要条件为 (m1,m2)|(a1-a2) ……………………….(2) Note:当此定理中的(m1,m2)=1这种特殊情况时，则（1）有关于模m1m2唯一解。推广此特殊情形即得到中国剩余定理，也称为孙子定理。后经过秦九韶整理和解法的推广，我们这里称之为秦九韶定理。 证明： 必要性。记m1，m2的最高公因数和最低公倍数分别为d，m，即d=(m1,m2)，m=[m1,m2]。若(1)有解x0，则 x0?a1(mod d)，x0?a2(mod d)，从而d|(a1-a2)。 充分性。若d|(a1-a2)，往证(1)在模m下有唯一解。 证明： 存在性. 因为x?a1(mod m1)解的形式为 x=a1+m1y，代入(1)的二式中，得 a1+m1y?a2(mod m2)，即 m1y?a2-a1 (mod m2)。 由d=(m1,m2),知，d| m1, d| m2, 再由 d|(a1-a2)，及性质9知， (m1/d)y? (a2-a1)/d (mod m2/d)， 由d=(m1,m2),知，(m1/d,m2/d)=1， 由上节的定理5.3.1知，关于模m2/d，y有唯一解y1。因此，x有解 x1=a1+m1y1。 唯一性.若x’，x”都是(1)的解，则 x’-x” ?0(mod m1)，x’-x” ?0(mod m2)。即 m1|(x’-x”)，m2|(x’-x”)， 亦即，x’-x”为m1和m2的公倍，而m为m1和m2的最小公倍，故m|(x’-x”)，即 x’ ?x”(mod [m1,m2])。 定理5.4.2(秦九韶定理) 证明 : 存在性. 先不讨论普遍情形而先求li，i=1,…,k，使适合下列特殊的合同式：  li?1(mod mi)，  li?0(mod mj)，j?i (4) 证明 : 证明 : 唯一性. 若x，x?都适合(3)，则 x≡x?(mod mi)，i=1,…,k，即 mi| x-x?，再由m1, m2 , …, mk两两互质，及定理5.2.4，得 m1m2 … mk | x-x? 故 x≡x? (mod m1…mk) Note:证明过程使用了构造性证明方法，先构造一些满足局部合同式的局部解，再把这些局部解合起来构造成整体解。 （1）对i=1,…,k解合同方程 求出Ci。 （2） （3） x=a1l1+…+aklk 例5.4.1 求x满足同余式组：x≡1(mod 4)x≡2(mod 5)x≡3(mod 7) 解：因为模4，5，7两两互质，所以可以用上述定理的构造性证明过程求解。先求l1，l2，l3使得 例5.4.1 l1≡1(mod 4) l2≡1(mod 5) l3≡1(mod 7) l1≡0(mod 5) l2≡0(mod 4) l3≡0(mod 4) l1≡0(mod 7) l2≡0(mod 7) l3≡0(mod 5) 得l1=35c1，l2=28c2，l3=20c3，c1满足35c1≡1(mod 4)，即 3c1≡1(mod 4)，从而 c1≡3(mod 4)。故l1=105。同理得l2=56， l3=120。 于是 x=1?105+2?56+3?120=577≡17(mod 140)。 南宋数学家 秦九韶（公元1202~1261年） 1247年，著成『数书九章』十八卷，这是一部划时代的巨著，它总结了前人在开方中所使用的方法，将其整齐而有系统地应用到高次方程的有理或无理根的求解上去。 秦九韶给出了解一次同余式组的一般方法以及理论上的证明，并将它定名为“大衍求一术”，在世界数学史上占有崇高的地位。 对「正负开方术」﹝高次方程的数值解法）等也有十分深入的研究。 §5.4.2 一元高次同余式的化简 定理5.4.3 设f(x)是整系数多项式,m=p1r1p2r2…pnrn 为m的质因数分解式，则同余式 f(x) ≡0(mod m) (6) 与下述同余式组等价 f(x) ≡0(mod p1r1) (7) … … f(x) ≡0(mod pnrn ) 证明：（6）的解显然是（7）的解。 反之，若x1是（7）的解