初等数论(严蔚敏版) 2.3 二次互反律.pdf

第三节 二次互反律 引理 p -1 设(n,p) 1,对于整数k(1 k  ), 2 以r表示nk对模p的最小非负剩余, k p n m 设r,r ,,r中大于 的有m个,则( ) (-1) . 1 2 k 2 p p 明:在r,r ,,r 中,假设大于 的是a ,a ,,a , 1 2 p-1 2 1 2 m 2 p 小于 的是b,b ,,b, 1 2 t 2 p -1 p -1 p-1 p -1 2 则mt  ,  (nk) (n1)(n2)(n ) n ( )!. 2 p-1 2 2 1k 2 m t 又 (nk) a b (modp),   i j 1kp-1 i1 j 1 2 p p   a  p,0 p a  ,i i 2 2 则对于1 i m,1 j  t,有b  p a ,j i p -1 (这说明p a与b 恰好是1与 之间的全部整数.)i j 2 p -1 否则有整数k ,k ,1 k ,k  ,有a  nk ,b  nk , 1 2 1 2 2 i 1 j 2 0 a b  n(k k )(modp),则p |n(k k ), i j 1 2 1 2 p -1 (n,p) 1,p |k k 与1 k ,k  矛盾, 1 2 1 2 2 p-1 p -1 m m t