离散数学ii（李占）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) 证明： 必要性。记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)。于是 (m1/d)y? (a2-a1)/d (mod m2/d)，且(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”)。从而m|(x’-x”)，即