初等数论闵嗣鹤、严士健)第三版课件5-2.pdfVIP

11 §5.2单质数的平方剩余与平方非剩余 本节讨论形如 2 (mod ), ( , ) 1, (1)x a p a p p  为单质数 的同余式的解。 2 定理１〔欧拉判别条件〕若 (a, p) = 1，则 （i） a是模p的二次剩余的充要条件是 1 2 1(mod ) (2) p a p   （ii）若a是模p的二次剩余，则方程(1)有两个解； 2 (mod ), ( , ) 1, (1)x a p a p p  为单质数 （iii）a是模p的二次非剩余的充要条件是 1 2 1(mod ) (3) p a p    3 a是模p的二次剩余的充要条件是 1 2 1(mod ) (2) p a p   2 (mod ), ( , ) 1, (1)x a p a p p  为单质数 1 2 1 2 p px a x a   证明：由 ( )q x  ，使得 1 2 2( ) ( ) ( 1) p x a xq x a x      1 1 22 ( ) ( ) p px a x a q x      1 1 1 2 2( ) ( 1) p p p px x x x a a x         若a是模p的二次剩余， 1 1 20 ( 1) ( 1) (mod ) p p px x x x a x p       则 1 2 1(mod ). p a p    1 2 1(mod ) p a p  反之，若 ， 1 2 2( ) ( ) ( 1) , p px x x a xq x a x      由 根据§4.4-TH5[P86]知，方程(1)有两个解。 4 a是模p的二次非剩余的充要条件是 1 2 1(mod ) (3) p a p    2 (mod ), ( , ) 1, (1)x a p a p p  为单质数 证明：由(a, p) = 1 1 1 1 2 21 1) 1) 0(mod ) p p pa a a p        （ （ 1 2 1(mod ) (3) p a p     , (2),(3) , ( )p i由于 是单质数 故 有且仅有一个成立 但由 知 a是平方非剩余的充分必要条件是 25 2 (mod11)x a例如：  11 1, 2, 3, 4, 5 .    取模 的一个简化系为 可以验证： 11 1 11 1 2 21 1(mod11); ( 2) 1(mod11);      11 1 11 1 2 2( 1) 1(mod11); 2 1(mod11);       而 11 1 11 1 11 1 2 2 23 1(mod11); 4 1(mod11);5 1(mod11).       11 1 11 1 2 2( 3) 1(mod11); ( 4) 1(mod11);         11 1 2( 5) 1(mod11).     ∴模11的平方剩余为1，-2，3，4，5； 平方非剩余为-1，2，-3，-4，-5. 6 2 (mod11)x a例如： 模11的平方剩余为1，-2，3，4，5. 2 2(mod11) 3,8(mod11);x x  方程 的解为： 2 1(mod11) 1,10(mod11);x x 方程 的解为： 2 3(mod11) 5,6(mod11);x x 方程 的解为： 2 4(mod11) 2,9(mod11);x x 方程 的解为： 2 5(mod11) 4,7(mod11).x x 方程 的解为： 7 定理2 模p的简化系中，二次剩余与二次非剩余的 个数都是 1; 2 p  且模p的每个二次剩余与且仅与数列 中的一个数同余。  7, 1, 2, 3 .p    例如：取 则其简化系为 模7的平方剩余为1，2，-3； 平方非剩余为 -1，-2，3. 2 2 21 1 (mod7);2 3 (mod7); 3 2 (mod7).   且有： 2 2 2 11 ,2 , , 2 p        8 定理2的证明： 由定理1知，平方剩余的个数等于同余式 1 2 1(mod ) p x p   的解数， 1 2 1 p px x x   由 ， 所以据§4.4-TH5[P86]知，平方剩余的个数等于 1 . 2 p  又模p的简化系中含有p-1个元素， 从而平方非剩余的个数等于 1 . 2 p  2 2 21 11 ,2 , ,( ) 2 2 p p 显然