信息安全数学基础4章4讲.pptxVIP

三四二五一同余方程求解整数的同余二次剩余不定方程整数的整除第四章 整除与同余4.5 二次剩余-平方剩余 一般二次同余式的一般形式为 ax2 ? bx ? c ? 0 (mod m)。该同余式可以化简为 4.5 二次剩余-平方剩余若 有解，则a称为模m的平方剩余；平方非剩余为2(或-1).∴ 模3的平方剩余为1；否则，称a为模m的平方非剩余。4.5 二次剩余-平方剩余平方非剩余为2,3.∴ 模5的平方剩余为1,4；4.5 二次剩余-平方剩余∴ 模7的平方剩余为1，2，4；平方非剩余为6，5，3.∴ 模11的平方剩余为1，-2，3，4，5；平方非剩余为-1，2，-3，-4，-5.4.5 二次剩余-平方剩余判别本节先讨论形如的同余式的解。定理4.50设p是奇素数 , 在模p的意义下, 就是模p的简化剩余类中的全部二次剩余。 4.5 二次剩余-平方剩余判别定理4.51 模p的简化系中，二次剩余与二次非剩余的个数都是 且模p的每个二次剩余与且仅与数列中的一个数同余。模7的平方剩余为1，2，-3；平方非剩余为 -1，-2，3.4.5 二次剩余-平方剩余判别定理4.52 (欧拉判别条件) 若 (a, p) = 1，则（1） a是模p的二次剩余的充要条件是（2）a是模p的二次非剩余的充要条件是4.5 二次剩余-平方剩余判别可以验证：∴ 模11的平方剩余为1，-2，3，4，5；平方非剩余为-1，2，-3，-4，-5.4.5 二次剩余-勒让德符号 利用欧拉判别条件虽然可以判定 x2 ? a (mod p)的解的存在性，但对较大的质数模，实际运用很困难。 通过引入勒让德符号，本节给出了较方便的判别方法。阿德昂·利·埃·勒让德（公元1752─公元1833）,法国数学家4.5 二次剩余-勒让德符号定理4.53 给定奇素数p, 对于整数n, 定义Legendre符号为如, 1与4是模5的平方剩余，2与3是模5的平方非剩余， 4.5 二次剩余-勒让德符号4.5 二次剩余-勒让德符号例：4.5 二次剩余-勒让德符号定理4.54 下面的结论成立：4.5 二次剩余-勒让德符号4.5 二次剩余-勒让德符号例：令 。欧拉判别：上述定理：4.5 二次剩余-勒让德符号欧拉猜测下面定理成立，但未能证明：定理4.55 (二次互反律) 设p与q是不同的两奇素数，则例： 德国数学家高斯17岁时证明了二次互反律！4.5 二次剩余-勒让德符号例4.5 二次剩余-勒让德符号一般地，若p是素数，计算 可按以下步骤进行： (5) 重复以上步骤，直至求出每个 (1) 求出n0 ? n (mod p)，1 ? n0 ? p； (2) 将n0写成n0 = Q2q1q2?qk的形式，其中Q?Z，q1, q2,?, qk是互不相同的素数；(3)若有某个qi = 2，直接判定 之值； (4) 若qi ? 2，将 的计算转化为计算 4.5 二次剩余-雅克比符号对于奇素数p, 利用计算Legendre符号可以判定方程x2 ? a (mod p) (1)是否有解。对于一般的正整数m， ，如何判定方程x2 ? a (mod m) (2) 是否有解呢？4.5 二次剩余-雅克比符号对于一般的正整数m，如果它的标准分解式是那么判定方程x2 ? a (mod m) (2)是否有解，可归结为对形如方程x2 ? a (mod p) (1) 的可解性判定。 因此，在理论上，利用Legendre符号可以判定方程(2)是否有解。 但是，写出正整数的标准分解式常会遇到实际困难， 所以利用Legendre符号判定方程(2)的可解性并不容易实现。 4.5 二次剩余-雅克比符号称 是Jacobi符号。 定理4.56 给定正奇数m 1，m = p1p2?pk，其中pi（1? i ? k）是奇素数，对于任意的整数a， （1? i ? k）是Legendre符号， 例: 取m = 45 = 3?3?5，则4.5 二次剩余-雅克比符号显然，若 则方程x2 ? a (mod m)必无解。 注1: 当m是奇素数时，Jacobi符号就是Legendre符号。前者是后者的推广。注2: 如果m是奇素数，当= 1时，方程x2 ? a (mod m)有解。 当m不是奇素数时，这个结论不一定成立。 例如，方程x2 ? 5 (mod 9)无解，4.5 二次剩余-雅克比符号定理4.57 使用前面定义中的符号，下面的结论成立：(1) 若a ? a1 (mod m)，则(3) 对于任意的整数a1, a2, ?, at，有(4) 对于任意的整数a，b，(a, m) = 1，有 4.5 二次剩余-雅克比符号定理4.58 设m = p1p2?