-1是模p平方剩余吗? 2呢
通过前一章的讨论,我们清楚了对于任何一个素数, [1,p−1] [ 1 , p − 1 ] 有一半是二次剩余,以及哪些数字是二次剩余,哪些不是。
现在我们考虑对于一个数 a a ,看看对于哪些,这个数是 QR Q R
先考虑这样一个问题,对于哪些素数 p p ,同余式有解。或者说,对哪些素数, (−1p)=1 ( − 1 p ) = 1
同样,通过列出小的数据,可以看出:
若 p p 与1模4同余,则似乎是 p p 的;若 p p 与3模4同余,则似乎是二次非剩余。
用来证明这个猜想的工具称为“费马小定理的平方根”,
即 A=ap−12 mod p A = a p − 1 2 m o d p 值为多少?
显然 A2≡1 mod p A 2 ≡ 1 m o d p
因此 p p 整除
从而 p p 要么整除要么整除 (A+1) ( A + 1 )
因此 A A 要么和模 p p 同余,要么和
一个结论是,对于一个 p p ,若是二次剩余,则 A≡1 (mod p) A ≡ 1 ( m o d p ) ; 若 a a 不是二次剩余,则
即下面的欧拉准则
欧拉准则: 设
p
p
为素数,则
证明 当 a a 是时,则 a≡g2k (mod p) a ≡ g 2 k ( m o d p ) ,则 ap−12≡(gp−1)k≡1 (mod p) a p − 1 2 ≡ ( g p − 1 ) k ≡ 1 ( m o d p )
当 a a 是时,则 a≡g2k+1 (mod p) a ≡ g 2 k + 1 ( m o d p ) ,则 ap−12≡gp−12 (mod p) a p − 1 2 ≡ g p − 1 2 ( m o d p )
由前面讨论知道, ap−12 a p − 1 2 要么和 1 1 模同余,要么和 −1 − 1 。这里由于 g g 是原根,则和模 p p 同余的最小次幂只能是。
所以这里 ap−12≡−1 (mod p) a p − 1 2 ≡ − 1 ( m o d p )
证毕。
有了欧拉准则,就可以轻松的判断 −1 − 1 是不是 p p 的二次剩余了。
定理 二次互反律—part one
设为素数,若 p p 与1模4同余,则是 p p 的;若 p p 与3模4同余,则是 NR N R 。
用勒让德符号表示如下:
证明 带入欧拉准则即证。
使用二次互反律part one 可以证明一个问题:存在无穷多个素数与1模4同余。具体过程见书本。
二次互反律成功回答了标题的第一个问题。辣么对于2呢?
同样,我们做一些小数据,对于 2 2 是的 p p 和是的 p p 这两类,看模某个数,有没有规律了……
当然,是有规律的……
如果直接使用欧拉准则,即,似乎不能看出结果是1还是-1。
高斯提出了一个方法,可以简单地知道 2p−12 mod p 2 p − 1 2 m o d p 的值是-1还是1,和二次互反律part one一样简单:
p
p
是一个素数,令,从偶数
2,4,6,...,p−1
2
,
4
,
6
,
.
.
.
,
p
−
1
开始,将它们相乘,并从每个数中提出2因子,可得
然后再对 2,4,6,...,p−1 2 , 4 , 6 , . . . , p − 1 进行模 p p 化简,使其全部落在之间,乘起来。
比较这两个乘积,可得
负号的个数是指对 2,4,6,...,p−1 2 , 4 , 6 , . . . , p − 1 进行模 p p 化简后落在之间的个数。消去 P! P ! ,得
于是当 负数的个数为偶数时, 2 2 是的二次剩余。
而这里负数的个数和 p p 相关,具体如下:
定理 二次互反律—part two
证明 用上面的高斯trick,可以感觉出负号的个数与 p p <script type="math/tex" id="MathJax-Element-149">p</script>的关系。