这篇博客介绍了初等数论中的二次剩余和二次同余方程，特别是讨论了模p的二次剩余的充要条件是a2p−1≡1(modp)，以及通过费马小定理证明这一条件。博主还提到了反证法和使用原根进行证明的不同方法，并指出二次非剩余的充要条件是a2p−1≡−1(modp)。
初等数论--二次剩余与二次同余方程--成为二次剩余的充要条件
博主是初学初等数论（整除+同余+原根），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：初等数论，方便检索。
设 p p p为奇素数，则 a a a是模 p p p的二次剩余的充要条件是 a p − 1 2 ≡ 1 ( m o d p ) a^{\frac{p-1}{2}}\equiv 1(mod p) a2p−1≡1(modp)， a a a是模 p p p的二次非剩余的充要条件是 a p − 1 2 ≡ − 1 ( m o d p ) a^{\frac{p-1}{2}}\equiv -1(mod p) a2p−1≡−1(modp)
证明：
通过Fermat’s little theorem，我们知道对于一个素数 p p p，任何小于它的数 a a a，都有下式成立：
a p − 1 ≡ 1 ( m o d p ) ( a p − 1 2 + 1 ) ( a p − 1 2 − 1 ) ≡ 0 ( m o d p ) a p − 1 2 ≡ 1 ( m o d p ) 或 a p − 1 2 ≡ − 1 ( m o d p ) a^{p-1}\equiv 1(mod p)\\ (a^{\frac{p-1}{2}}+1)(a^{\frac{p-1}{2}}-1)\equiv 0(mod p)\\ a^{\frac{p-1}{2}}\equiv 1(mod p)或a^{\frac{p-1}{2}}\equiv -1(mod p) ap−1≡1(modp)(a2p−1+1)(a2p−1−1)≡0(modp)a2p−1≡1(modp)或a2p−1≡−1(modp)
我们现在只需要考虑在这 p − 1 p-1 p−1个数中，二次剩余/非剩余与 a p − 1 2 ≡ 1 / − 1 ( m o d p ) a^{\frac{p-1}{2}}\equiv 1/-1(mod p) a2p−1≡1/−1(modp)的关系。
现在证明：
- a a a是模 p p p的二次剩余的充要条件是 a p − 1 2 ≡ 1 ( m o d p ) a^{\frac{p-1}{2}}\equiv 1(mod p) a2<
最低0.47元/天 解锁文章
扫一扫
952
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
