初等数论(严蔚敏版) 12.4 雅克比符号.pdfVIP

第四节 Jacobi 符号 • 从上两节的计算过程中,可以看出,勒让德符 号的缺点在于计算其值时,要求符号下方是 奇质数,在需要运用二次互反律时,还必须先 判断符号上方是不是质数,假如是合数还要 把其化为标准形式,而这些又都没有一般的 方法,为此我们引入如下的符号. 定义 给定正奇数m 1,m p p p ,其中p (1 i k)是奇素数, 1 2 k i a a a a 对于任意的整数a,定义( ) ( )( )( ), m p p p 1 2 k a a 其中右端的( )(1 i k)是Legendre符号,称( )是Jacobi符号. pi m 如m 45 335,则 2 5 1 2 2 2 2 2 ( ) ( )( )( ) ( ) (-1) 8  1, 45 3 3 5 5 3151 28 28 28 28 3  5 2 ( ) ( )( )( ) ( ) (-1) 2 2 ( ) ( ) 1. 45 3 3 5 5 3 3 注意 (1)当m是奇素数时,Jacobi符号就是Legendre符号. 2 a (2)当m是奇素数时,若x  a(modm)有解,则( ) 1. m a 2 但当m不是奇素数时,若( ) 1,则 程x  a(modm)不一定有解. m 5 2 如( ) 1,但 程x  5(mod9)无解; 9 这就是说,Jacobi符号不能用于判断对应的同余 程是否有解, 这是它与Legendre符号的重要区别. 2 (3)若m p p p , 程x  a(modm)有解,则对每个p , 1 2 k i 2 a a a a 程x  a(modp )有解,( ) ( )( )( ) 111 1,i m p p p 1 2 k 2