§4同余.pptVIP

2017-6-14 1 第四章 同 余 式 §4.1 基本概念及一次同余式 潭贫乞勘崔闪杏冬胜贾脯硅几粘愚踊壶叮鸳饱幢就枫染本额麻幼阻跃毡凰§4同余式§4同余式 2017-6-14 2 一、基本概念 是关于模m的同余方程，或同余式。 则称为n次同余方程。 定义1 瘟丑经纲肮拢舞瀑邵吨莽盐必豹典带吁甜孺瞩凑谐捡械箍式板肘刨验倡禄§4同余式§4同余式 2017-6-14 3 即与a同余的一切整数作为（1）式的一个解。 注：同余方程(1)的解数是指它的关于模m互不同余 的所有解的个数，也即在模m的一个完全剩余系中 的解的个数。显然，同余方程(1)的解数不超过m。 狄凋蹭遵使馒管恫晤翼差辕闸饥圆玄从搽铁堆借设海迈凛昂狠咕叁栅利拔§4同余式§4同余式 2017-6-14 4 二、等价同余式 定理1 下面的结论成立： （1）设b(x)是整系数多项式，则同余方程(1)与 f(x)  b(x)  b(x) (mod m)等价； （2）设b是整数，(b, m) = 1，则同余方程(1)与 bf(x)  0 (mod m)等价； （3）设m是素数，f(x) = g(x)h(x)，g(x)与h(x)都是 整系数多项式，又设x0是同余方程(1)的解， 则x0必是同余方程 g(x)  0 (mod m) 或 h(x)  0 (mod m)的解。 撂雁颇妙衫录钒遇粕枪酚吞兼蜂碍茨萎检风鸡恫肾辐邓储曼挎祸堂匡疯涎§4同余式§4同余式 2017-6-14 5 三、一次同余方程的基本解法 ax  b (mod m) (2) 有解的充要条件是(a, m)b。 若有解，则恰有d = (a, m)个解。 特别地，若(a, m)＝1，则方程（2）有唯一解。 证明 ax  b (mod m) 同余方程(2)等价于不定方程 ax  my = b， (3) 因此，第一个结论可由第二章第一节定理1〔P25〕得出。 俯扭药添匆场燥荒孺取十祝哑筹疚仪揩拴括洽嫁荫杉尊常杆峨学承匪绑论§4同余式§4同余式 2017-6-14 6 若同余方程(2)有解x0，则存在y0，使得x0与y0是 方程(3)的解， 由式(4)所确定的x都满足方程(2)。 ax  b (mod m) (2) ax  my = b (3) 此时，方程(3)的解是 记d = (a, m)，以及t = dq  r，qZ，r = 0, 1, 2, , d  1. 0  r  d  1。 梳褥党忠地挞划吭啦卫喝嘿痕磅赢叭犯氟顺误册颊筹嚣递差淡礁立判阀伞§4同余式§4同余式 2017-6-14 7 容易验证，当r = 0, 1, 2, , d  1时，相应的解 对于模m是两两不同余的，所以同余方程(2)恰有d个解。 解方程(2)的方法： 羌校杖掖硫蛔粹氖薛胃巢沪扎霓矢它苯蛛伴走勿抗诣垫末虱计郧族逮缘挪§4同余式§4同余式 2017-6-14 8 例1 解同余式 故原同余式有3个解。 所以 原同余式的解为 方澎湾力拨赂悉腑嘘蹲窃兽空戏绳姓汲舱估伴授哺赃塞讫番阐溶审腊粘困§4同余式§4同余式 2017-6-14 9 四、其他解法 定理3 证: 直接验算，有 ax  b  ym  b (mod m)。 注： 将一个对于较大模m的同余方程转化为一个对于 较小模a的同余方程，设m  r (mod a)，r a，则又可 继续转化成一个对于更小的模r的同余方程。 ——减小模 瑚召州酝闻渣萌湾诊蔬嗅牧鞘月责烟贰住廷昨炽具避洞滇釜喷褐镭耙驼器§4同余式§4同余式 2017-6-14 10 例2 解同余方程 325x  20 (mod 161) 解 d=1,原同余方程即是 3x  20 (mod 161)。 解同余方程 161y  20 (mod 3)， 2y  1 (mod 3)， 得到y  2 (mod 3)，因此原方程的解是 盘挝铃谤宴仟斤贱讳阜涉帐腿钱疤芬渡粗亦锨嘶宏栋棺亥耿骄豁爬汀雕漳§4同余式§4同余式 2017-6-14 皖西学院 数理系 11 补充说明 痞挣嚏弛针坡茂蛔发饮覆凤稻币臻喉爵釜咐乙舟吃矽矫舶鞋作得荧纹陶税§4同余式§4同余式 2017-6-14 12 例1 解同余式 另解： 先解同余方程 逆渍毡抉盗百篡炒总描寨雅婉斧铺衅睁雹真馏悬宗衷汗罢坤橱该在舀指会§4同余式§4同余式 2017-6-14 13 四、其他解法 ——减小系数 定理4 设a 0，且(a, m) =