第4章 二次同余式与平方剩余 -《信息安全数学基础》

一、一般二次同余式

定义1.1:

设m是正整数,若同余式x2 a(mod m),(a,m)= 1有解,则a叫做模m的平方剩余(或二次剩余);否则,a叫做模m的平方非剩余(或二次非剩余)。

 

二、模为奇素数的平方剩余与平方非剩余

定理2.1:

同余式4.4:

x2 a(mod p),(a,p)= 1

推论:

若p是奇素数,(a1,p)= 1,(a2,p)= 1,则

  • 如果a1,a2都是模p的平方剩余,则a1 · a2是模p的平方剩余;
  • 如果a1,a2都是模p的平方非剩余,则a1 · a2是模p的平方剩余;
  • 如果a1是模p的平方剩余,a2是模p的非平方剩余,则a1 · a2是模p的非平方剩余。

定理2.2:

 

三、勒让得符号

1、勒让得符号之运算性质

定义3.1:

定理3.1:

定理3.2:

定理3.3:

2、高斯引理

引理3.1:

定理3.4:

推论:

 

四、二次互反律

定理4.1:

 

五、雅可比符号

定义5.1:

定理5.1:

引理5.1:

定理5.2:

定理5.3:

 

六、模平方根

1、模p平方根

定理6.1:

定理6.2:

2、模p平方根

定理6.3:

3、模m平方根

定理6.4:

推论:

定理6.5:

 

七、x2 + y2 = p

定理7.1:

posted @   3cH0_Nu1L  阅读(2217)  评论(1编辑  收藏  举报
编辑推荐:
· [.NET]调用本地 Deepseek 模型
· 一个费力不讨好的项目,让我损失了近一半的绩效!
· .NET Core 托管堆内存泄露/CPU异常的常见思路
· PostgreSQL 和 SQL Server 在统计信息维护中的关键差异
· C++代码改造为UTF-8编码问题的总结
阅读排行:
· CSnakes vs Python.NET:高效嵌入与灵活互通的跨语言方案对比
· 【.NET】调用本地 Deepseek 模型
· Plotly.NET 一个为 .NET 打造的强大开源交互式图表库
· 上周热点回顾(2.17-2.23)
· 如何使用 Uni-app 实现视频聊天(源码,支持安卓、iOS)

哥伦布

点击右上角即可分享
微信分享提示