第九章课件-二次剩余..ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第九章课件-二次剩余..ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第九 课件 二次 剩余
- 资源描述:
-
1、二次剩余二次剩余本讲内容本讲内容二次剩余的概念二次剩余的概念模为奇素数的二次剩余与二次非剩余模为奇素数的二次剩余与二次非剩余 勒让德符号勒让德符号 RabinRabin公钥密码算法公钥密码算法二次剩余的概念二次剩余的概念二次同余式的一般形式是二次同余式的一般形式是)(mod02mcbxax)(mod0ma 其中其中m是正整数,是正整数, 。上式等价于同余式上式等价于同余式2(mod)ydm22,4yaxb dbac)(mod2max1),(ma设设m是大于是大于1的整数,若同余式的整数,若同余式有解,则有解,则a叫做模叫做模m的二次剩余;否则的二次剩余;否则a叫做模叫做模m的二次非的二次非剩余
2、。剩余。例:求满足同余式例:求满足同余式 的所有的点。的所有的点。 )7(mod232xxy模模7的二次剩余是:的二次剩余是:1,2,4;二次非剩余是:;二次非剩余是:3,5,6。 对对 ,分别求出,分别求出 对应的的值为对应的的值为 )7(mod6 , 5 , 4 , 3 , 2 , 1 , 0 xy)7(mod0 x)7(mod22y)7(mod4 , 3y)7(mod1x)7(mod42y)7(mod5 , 2y)7(mod3x)7(mod42y)7(mod5 , 2y)7(mod4x)7(mod02y)7(mod0y)7(mod6x)7(mod02y)7(mod0y)7(mod2x)7
3、(mod52y无解无解)7(mod5x)7(mod62y无解无解二次剩余的分布二次剩余的分布 设设p是奇素数,则模是奇素数,则模p的简化剩余系中二次剩的简化剩余系中二次剩余与二次非剩余的个数各为余与二次非剩余的个数各为 ,且,且 个二次剩余与个二次剩余与序列序列中的一个数同余,且仅与一个数同余。中的一个数同余,且仅与一个数同余。21p21p222)21( ,2 ,1p二次剩余的分布规律二次剩余的分布规律二次剩余的分布规律的证明二次剩余的分布规律的证明n取模p的绝对值最小缩系来讨论 -(p-1)/2, -(p-1)/2+1, , -1, 1, , (p-1)/2-1, (p-1)/2na是模p的
4、二次剩余当且仅当a -(p-1)/22, -(p-1)/2+12, , (-1)2, 12, , (p-1)/2-12, (p-1)/22(mod p)n而(-i)2=i2(mod p),所以a是模p的二次剩余当且仅当 a 12, , (p-1)/2-12, (p-1)/22(mod p) n又因为1ij (p-1)/2时, i2 ! j2(mod p)n所以模p的全部二次剩余即 12, , (p-1)/2-12, (p-1)/22(mod p) 共有(p-1)/2个,所以模p的二次非剩余共有(p-1)- (p-1)/2= (p-1)/2个欧拉判别条件欧拉判别条件欧拉判别条件欧拉判别条件 设设
5、p是奇素数,是奇素数,(a, p) = 1,则,则 (1) a是模是模p的平方剩余的充分必要条件是的平方剩余的充分必要条件是 (2) a是模是模p的平方非剩余的充分必要条件是的平方非剩余的充分必要条件是当当a是模是模p的平方剩余时,同余式的平方剩余时,同余式 恰有两解。恰有两解。)(mod121pap)(mod121pap)(mod2pax 欧拉判别条件的证明欧拉判别条件的证明n先来证明结论(1)的必要性,a是模p的二次剩余,则必有x0,使得 x02 a(mod p)成立,因而 x0 (p-1) a(p-1)/2(mod p)因为(a, p) = 1,所以(x0 , p) = 1,所以 x0
6、(p-1) 1(mod p)所以 a (p-1)/2 1(mod p)欧拉判别条件的证明欧拉判别条件的证明n再来证明结论(1)的充分性,用反证法,假设满足 a (p-1)/2 1 (mod p)的a不是模p的二次剩余n考虑线性同余方程sx a(mod p),当s从模p的绝对值最小缩系 -(p-1)/2, -(p-1)/2+1, , -1, 1, , (p-1)/2-1, (p-1)/2 中取值时,方程sx a(mod p) 必有唯一解n亦即s取模p的绝对值最小缩系中的每个元素i,必有唯一的x=xi属于模p的绝对值最小缩系,使得sx a(mod p) 成立,若a不是模p的二次剩余,则ixi,这样
7、模p的绝对值最小缩系中的p-1个数可以按两两配对相乘,得到 (p-1)! a (p-1)/2(mod p)n由威尔逊定理(p-1)! -1(mod p),所以有a (p-1)/2 -1 (mod p),这与条件a (p-1)/2 1 (mod p)矛盾n所以必定存在一个i,使得i=xi ,即a是模p的二次剩余欧拉判别条件的证明欧拉判别条件的证明n最后来证明(2)成立,只需证明 a(p-1)/2 1(mod p)和a(p-1)/2 -1(mod p)有且仅有一个成立即可n由欧拉定理 a(p-1) 1(mod p) 所以 (a(p-1)/2-1) (a(p-1)/2+1) 0(mod p)而p2,
展开阅读全文