初等数论严蔚敏版) 12.1 素数模的二次剩余.pdf

第五章二次同余式与平方剩余 第一节素数模的二次剩余 在这一章里,我们将比较深入地研究 二次同余方 .首先,我们讨论一种 最简单的二次同余方 ,其一般形式 2 为x  a(mod p), p为素数. 2 当p  2时, x  a(mod p)总有解, 且其解数为1. 其中当a 0(mod 2)时,解为x  0(mod 2); 当a 1(mod 2)时,解为x  1(mod 2). 下面我们只研究模为奇质数的情形, 2 此时, 若a 0(mod p), 方 x  a(mod p) 有解,且解数为1,即x  0(mod p),在此 无需研究,故我们只需要讨论形如 2 x  a(mod p), (a, p)  1的同余方 . 2 记素数p, ax bxc 0(mod p), (1) 如果(a, p)  p,则方 (1)成为一次同余方 , 只需考虑p  2,且(a,p)  1的情形. (4a,p)  1, 方 (1)等价于 2 2 4a x 4abx4ac 0(mod p), 2 2 (2axb)  b 4ac(mod p), 2 研究方 (1)归纳对方 x  a(mod p)的研究. 定义 给定整数p, 对于任意的整数a, (a, p)  1. 2 若方 x  a(mod p)有解, 则称a是模p的二次剩余,记作aQR(p). 否则称a是模p的二次非剩余,记作aQNR(p). • 在本节中,总假定p是奇素数. 定理1 若(a,p)  1,则 p-1 2 (1)a是模p的二次剩余的充要条件是a  1(mod p); (欧拉判别条件) 2 (2)若a是模p的二次剩余,则方 x  a(mod p)有两个解; p-1 2 (3)a是模p的二次非剩余的充要条件是a  1(mod p). 证明: (1), (2)由第四章第四节定理6 : 若p是素数, n| p 1, p | a,  p-1 n n 则x  a(mod p)有解的充要条件是a  1(mod p). 若有解, 则解数为n. 易得; p-1 (3)若(a, p)  1,则由Euler定理, a  1(mod p), p1 p1 2 2 (a 1)(a 1)  0(mod p), p1 2 p是素数,则a 1 0(mod p) p1 2 或a 1 0(mod p)中必有一个成立, p1