《初等数论(闵嗣鹤、严士健)》第三版课件5-3
合集下载
《初等数论(闵嗣鹤、严士健)》第三版习题解答
第一章 整数的可除性§1 整除的概念·带余除法 1．证明定理3定理3 若12n a a a ，，，都是m 得倍数，12n q q q ，，，是任意n 个整数，则1122n n q a q a q a +++是m 得倍数．证明：12,,n a a a 都是m 的倍数。
∴ 存在n 个整数12,,n p p p 使 1122,,,n n a p m a p m a p m ===又12,,,n q q q 是任意n 个整数1122n nq a q a q a ∴+++1122n n q p m q p m q p m =+++1122()n n p q q p q p m =+++即1122n n q a q a q a +++是m 的整数2．证明 3|(1)(21)n n n ++ 证明(1)(21)(1)(21)n n n n n n n ++=+++-(1)(2)(1)(1)n n n n n n =+++-+ 又(1)(2)n n n ++，(1)(2)n n n -+是连续的三个整数故3|(1)(2),3|(1)(1)n n n n n n ++-+3|(1)(2)(1)(1)n n n n n n ∴+++-+从而可知3|(1)(21)n n n ++3．若00ax by +是形如ax by +（x ，y 是任意整数，a ，b 是两不全为零的整数）的数中最小整数，则00()|()ax by ax by ++．证：,a b 不全为0∴在整数集合{}|,S ax by x y Z =+∈中存在正整数，因而有形如ax by +的最小整数00ax by +,x y Z ∀∈，由带余除法有0000(),0ax by ax by q r r ax by +=++≤<+则00()()r x x q a y y q b S =-+-∈，由00ax by +是S 中的最小整数知0r =00|ax by ax by ∴++00|ax by ax by ++ （,x y 为任意整数） 0000|,|ax by a ax by b ∴++ 00|(,).ax by a b ∴+ 又有(,)|a b a ，(,)|a b b00(,)|a b ax by ∴+ 故00(,)ax by a b +=4．若a ，b 是任意二整数，且0b ≠，证明：存在两个整数s ，t 使得||,||2b a bs t t =+≤成立，并且当b 是奇数时，s ，t 是唯一存在的．当b 是偶数时结果如何？ 证：作序列33,,,,0,,,,2222b b b b b b ---则a 必在此序列的某两项之间即存在一个整数q ，使122q q b a b +≤<成立 ()i 当q 为偶数时，若0.b >则令,22q qs t a bs a b ==-=-，则有 02222b q q qa bs t ab a b b t ≤-==-=-<∴<若0b < 则令,22q qs t a bs a b =-=-=+，则同样有2b t <()ii 当q 为奇数时，若0b >则令11,22q q s t a bs a b ++==-=-，则有若 0b <，则令11,22q q s t a bs a b ++=-=-=+，则同样有2b t ≤，综上所述，存在性得证．下证唯一性当b 为奇数时，设11a bs t bs t =+=+则11()t t b s s b -=-> 而111,22b bt t t t t t b ≤≤∴-≤+≤ 矛盾 故11,s s t t == 当b 为偶数时，,s t 不唯一，举例如下：此时2b为整数 11312(),,22222b b b b b b b t t ⋅=⋅+=⋅+-=≤§2 最大公因数与辗转相除法 1．证明推论4.1推论4.1 a ，b 的公因数与（a ，b ）的因数相同． 证：设d '是a ，b 的任一公因数，∴d '|a ，d '|b 由带余除法111222111111,,,,,0n n n n n n n n n n a bq r b r q r r r q r r r q r r r r b---++-=+=+=+==≤<<<<∴(,)n a b r =∴d '|1a bq -1r =， d '|122b r q r -=，┄, d '|21(,)n n n n r r q r a b --=+=,即d '是(,)a b 的因数。
《初等数论(闵嗣鹤、严士健)》第三版习题解答
若 b 0 ，则令 s
得证． 下证唯一性 当 b 为奇数时，设 a bs t bs1 t1 则 t t1 b( s1 s ) b 而t
b b , t1 t t1 t t1 b 矛盾 故 s s1 , t t1 2 2
b 为整数 2
ax0 by0
x, y Z ，由带余除法有 ax by (ax0 by0 )q r , 0 r ax0 by0
则 r ( x x0 q )a ( y y0 q )b S ，由 ax0 by0 是 S 中的最小整数知 r 0
ax0 by0 | ax by ax0 by0 | ax by
a, b Z , b 0, s, t Z , 使 a bs t ,| t |
b 。 ， 2
s1 , t1 ，使 b s1t t1 ,| t1 | sn , tn , tn 2 tn 1sn tn ; sn 1 , tn 1 , tn 1 tn sn 1 tn 1 ;
5 / 78
《初等数论》 （闵嗣鹤、严士健编著） （第三版）习题解答
是一个整数系数多项式且 a0 ，an 都不是零，则（1）的根只能是以 a0 的因数作分子以 an 为 分母的既约分数，并由此推出 2 不是有理数． 证：设（1）的任一有理根为
p ， ( p, q ) 1, q 1 。则 q
a bs t ,
| t |
|b| 2
成立，并且当 b 是奇数时，s，t 是唯一存在的．当 b 是偶数时结果如何？ 证：作序列 ,
3b b b 3b , b , , 0, , b , , 则 a 必在此序列的某两项之间 2 2 2 2
初等数论(闵嗣鹤版课件
因而a个余数r0, r1, , ra1仅可能取a 1个值， 因此其中必有两个相等。
设为ri，rk，不妨设0 i k a，因而有 a(qk qi ) 2k 2i 2i (2ki 1)
因而a个余数r0, r1, , ra1仅可能取a 1个值， 因此其中必有两个相等。
• 我国近代：在解析数论、丢番图方程，一致分布 等方面有过重要贡献，出现了华罗庚、闵嗣鹤等 一流的数论专家，其中华罗庚在三角和估值、堆 砌素数论方面的研究享有盛名。
• 特别是在“篩法”、歌德巴赫猜想方面的研究， 已取得世界领先的优异成绩。陈景潤在1966年证 明歌德巴赫猜想方面证明了”1+2”(一个大偶数可 以表示为一个素数和一个不超过两个素数的乘积 之和)
m|aq
3、带余数除法
带余数除法的第二种表示 定理4 若a,b是两个整数，其中b 0，则存在着两个整数 q及r，使得 a bq r， 0 r b 成立，而且q及r是唯一的。
证明分析：作整数序列 ，-3 b ,-2 b ,- b ,0,b ,2 b ,3 b ,
则a必满足q b a<(q+1) b , 其中q Z , 令a q b r可得到a b q r,分b 0和 b 0来讨论q, 进一步证明q, r的唯一性。
(i)若在r1, , r5中数0，1，2都出现，不妨设
r1 0, r2 1, r3 2，
此时
a1 a2 a3 3(q1 q2 q3 ) 3
可以被3整除。
(ii)若在r1, , r5中数0，1，2至少有一个不出现，
这样至少有3个ri要取相同的值，不妨设
r1 r2 r3 r(r 0,1或2），
近代初等数论的发展得益於费马、欧拉、拉格朗日、 勒让德和高斯等人的工作。1801年，德国数学家高斯集 中前人的大成，写了一本书叫做《算术探究》，开始了 现代数论的新纪元。高斯还提出：“数学是科学之王， 数论是数学之王”。
设为ri，rk，不妨设0 i k a，因而有 a(qk qi ) 2k 2i 2i (2ki 1)
因而a个余数r0, r1, , ra1仅可能取a 1个值， 因此其中必有两个相等。
• 我国近代：在解析数论、丢番图方程，一致分布 等方面有过重要贡献，出现了华罗庚、闵嗣鹤等 一流的数论专家，其中华罗庚在三角和估值、堆 砌素数论方面的研究享有盛名。
• 特别是在“篩法”、歌德巴赫猜想方面的研究， 已取得世界领先的优异成绩。陈景潤在1966年证 明歌德巴赫猜想方面证明了”1+2”(一个大偶数可 以表示为一个素数和一个不超过两个素数的乘积 之和)
m|aq
3、带余数除法
带余数除法的第二种表示 定理4 若a,b是两个整数，其中b 0，则存在着两个整数 q及r，使得 a bq r， 0 r b 成立，而且q及r是唯一的。
证明分析：作整数序列 ，-3 b ,-2 b ,- b ,0,b ,2 b ,3 b ,
则a必满足q b a<(q+1) b , 其中q Z , 令a q b r可得到a b q r,分b 0和 b 0来讨论q, 进一步证明q, r的唯一性。
(i)若在r1, , r5中数0，1，2都出现，不妨设
r1 0, r2 1, r3 2，
此时
a1 a2 a3 3(q1 q2 q3 ) 3
可以被3整除。
(ii)若在r1, , r5中数0，1，2至少有一个不出现，
这样至少有3个ri要取相同的值，不妨设
r1 r2 r3 r(r 0,1或2），
近代初等数论的发展得益於费马、欧拉、拉格朗日、 勒让德和高斯等人的工作。1801年，德国数学家高斯集 中前人的大成，写了一本书叫做《算术探究》，开始了 现代数论的新纪元。高斯还提出：“数学是科学之王， 数论是数学之王”。
初等数论(闵嗣鹤版课件
二 数论的发展
自古以来，数学家对于整数性质的研究一直十分重 视，初等数论的大部份内容早在古希腊欧几里德的《几 何原本》（公元前3世纪）中就已出现。欧几里得证明了 素数有无穷多个，他还给出求两个自然数的最大公约数 的方法，即所谓欧几里得算法。我国古代在数论方面亦 有杰出之贡献，现在一般数论书中的“中国剩余定理”， 正是我国古代《孙子算经》中的下卷第26题，我国称之 为孙子定理。
4、最完美的数——完全数问题
完美数又称为完全数,最初是由毕达哥拉斯的 信徒发现的,他们注意到,数6有一个特性,它等于 它自己的因子(不包括它自身)的和， 如： 6=1+2+3.
下一个具有同样性质的数是28, 28=1+2+4+7+14. 接着是496和8128.他们称这类数为完美数.
欧几里德在大约公元前350-300年间证明了:
设为ri，rk，不妨设0 i k a，因而有 a(qk qi ) 2k 2i 2i (2ki 1)
则有 a 2ki 1，取d k i a 1，则d就满足要求。
例4
例6
第二节 最大公因数与辗转相除法
1、定义 设a1 , a2, , an是n(n 2)个整数，若整数d是 它们之中每一个的因数，那么d就叫作a1, a2, , an的一个 公因数。所有公因数中最大的一个叫最大公因数，记作 （a1, a2 , , an），若（a1, a2, , an）=1，则说a1, a2, , an互质 或互素。
方程 xn yn zn (n 3) 无非0整数解
经过8年的努力，英国数学家 安德鲁·怀尔斯 终 于在1995年完成了该定理的证明。
3、孪生素数问题
存在无穷多个素数 p, 使得 p+2 也是素数。
《初等数论(闵嗣鹤、严士健)》第三版课件1-3
7 8
故 c b ,因而c b .
推论2.2 设a1 , a2 , , an及b1 , b2 , , bm 是任意两组整数 , 若ai b j
i 1,2, n, j 1, 2, , m , 则a1a2 an与b1b2 bm互质.
a1a2 an , b1b2 bm a1a2 an , b2b3 bm a1a2 an , bm 1
P0 1, P1 q1 8, P2 q2 P1 P0 1 8 1 9, P3 q3 P2 P1 1 9 8 17, P4 q4 P3 P2 3 17 9 60, P5 q5 P4 P3 1 60 17 77, P6 q6 P5 P4 1 77 60 137, P7 q7 P6 P5 4 137 77 625.
1
k
rk 1 1 rk 1 qk 1rk
k
其中 P0 1, P1 q1 , Pk qk Pk 1 Pk 2 , k =2, n
Qk 1a Pk 1b qk 1 Qk a Pk b qk 1Qk Qk 1 a qk 1 Pk Pk 1 b
ab 其中t 满足k b1t .反过来,当t为任一整数时， t a, b
为a , b的一个公倍数 , 故上式可以表示a , b的一切公倍数. 令t 1即得最小的正数 , 故
a, b
ab a, b 2 4 10 80 40 2,4,10 2
10
§1.3
整除的进一步性质及最小公倍数
由上节, 设a , b是任意两个正整数, 则由辗转相除法得到:
故 c b ,因而c b .
推论2.2 设a1 , a2 , , an及b1 , b2 , , bm 是任意两组整数 , 若ai b j
i 1,2, n, j 1, 2, , m , 则a1a2 an与b1b2 bm互质.
a1a2 an , b1b2 bm a1a2 an , b2b3 bm a1a2 an , bm 1
P0 1, P1 q1 8, P2 q2 P1 P0 1 8 1 9, P3 q3 P2 P1 1 9 8 17, P4 q4 P3 P2 3 17 9 60, P5 q5 P4 P3 1 60 17 77, P6 q6 P5 P4 1 77 60 137, P7 q7 P6 P5 4 137 77 625.
1
k
rk 1 1 rk 1 qk 1rk
k
其中 P0 1, P1 q1 , Pk qk Pk 1 Pk 2 , k =2, n
Qk 1a Pk 1b qk 1 Qk a Pk b qk 1Qk Qk 1 a qk 1 Pk Pk 1 b
ab 其中t 满足k b1t .反过来,当t为任一整数时， t a, b
为a , b的一个公倍数 , 故上式可以表示a , b的一切公倍数. 令t 1即得最小的正数 , 故
a, b
ab a, b 2 4 10 80 40 2,4,10 2
10
§1.3
整除的进一步性质及最小公倍数
由上节, 设a , b是任意两个正整数, 则由辗转相除法得到:
《初等数论(闵嗣鹤、严士健)》第三版课件3-1
特别地，由于 10 1(mod11)，所以
11 anan1 a0 11 1 ai ——奇偶位差法
i i 0 n
i 0
eg1. 求 7 7 的个位数.
7
一般地，求a b 对模m的同余的步骤如下： ① 求出整数k，使ak 1 (mod m)； ② 求出正整数r，r < k，使得bc r (mod k)； ③ a b a r (mod m ) 练习：若a Z , 证明 10|a 1985 a 1949 . 提示： a 5 a (mod10)
⑦ a b(mod m ), a a1d , b b1d , ( d , m ) 1
a1 b1 (mod m ).
证：a b(mod m ) m a b m (a1 b1 )d
m (a1 b1 ) a1 b1 (mod m ).
注意：若没有(d , m ) 1的条件，不能成立！ 反例： 取m 4, a 6, b 10, d 2, 有6 10(mod 4), 但 3 5(mod 4)不能成立.
——各位上的数字之和能被3（9）整除 10 1mod(3) 10i 1mod(3)
a an 10n a1 10 a0 an a1 a0 mod(3)
从而 3 a 3 ai .
i 0 n
例1 检查5874192、435693
11
7
r
77
——减小幂指数
由71 1(mod 4), 7 2 1(mod 4), 76 1(mod 4),
7 7 1 3(mod 4)， r3
所以7 7 7 3 7 2 7 ( 1) ( 3) 3(mod10).
《初等数论(闵嗣鹤、严士健)》第三版课件1-5
例5 求[1
练习：
1 1.证明 : 对任意x R, 有 x x 2 x 2 2.设m , n是整数 , n 1, 证明 :
m | m1 n , 当n m 1 n m 1,当n | m 1 n 3.证明 : x , y R, 有
17
18
9解 : i 2 i 3 i 5 i 6 i 10 i
i 1 i 1 i 1 i 1 i 1 i 1
500
500 2
500 3
500 5
500 6
500 500 500 500 500 500 500 8解 : 500 7 11 57 5 11 7 11 5 7 11 312 5
(3)[ n x ] n [ x ], n Z ; (4)[ x ] [ y ] [ x y ], x y x y;
例如： [2.3] 2,[ 2.3] 3,[2] 2,[ ] 3,[ ] 4；
2.3 0.3,2.3 0.7,2 0, 0.1415 ,
证明(7):a b时显然.设m是任一不大于a而为b的倍数的
正整数, 则
0 m bm1 a , 0 m1
a a 注：若记 a b q (余r )，则 b[ ] q , b = r . b b
a . b a 故满足上条件的m的个数等于m1的个数 ,因而等于 . b 证明(8)由[ x ] x y [ y ] 1, 得[ x ] [ y ] 1, [ x ] [ y ];
《初等数论(闵嗣鹤、严士健)》第三版课件3-4
1) Q2 (22 1)，
n
其中Q1与Q2是整数， 即 2 Fn 2(mod Fn ).
8
2
eg5 设n是正整数，记Fn = 22 1, 则 2 Fn 2(mod Fn ).
补充说明
n
三、在分数与小数互化中的应用
我们已经知道，F5是合数，因此例5表明， Fermat定理的逆定理不成立。 Fermat定理 设p是素数， 则对a Z , 有
s 证明： 10 a1a2 a s 0. b1 b2 bt
eg 6 化小数为分数. 0.13
2 13 1 12 90 90 15 13 0 13 990 990 1213 12 1201 9900 9900
a1a2 a s
b1b2 bt b b bt 1 2 . t 10 1 99 9
。
15
0.0 23
这就证明了不循环位数码个数不能再少了。
4
定理6 混循环小数 0.a1 a s b1 b2 bt 可以化为分数
a1 a s b1b2 bt a1 a s , 其中，分母中含有t个9, s个0. 99 900 0
a b
a a q (*) b b
而且ak, , a1不能都等于0，也不能都等于9。
由(*)式得(10k 1) a q ak ak 1 a1 ， b 1 1 a 1 ak ak 1 a1 ( k 2 k ) ak ak 1 a1 k 10 10 b 10 1
令n 4q r ,0 r 3, 则1n 2n 3n 4n
证： 记P = x1x2x(m)，则(P, m) = 1.
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2
19
( x 2 1)2 2 x 2 2 x 2 2 1 p p p p p 从而p 1 mod 8 , 故p 1 mod 8 .
20
5
20.反证法, 假设只有有限个,设为p1 , p2 , , pk .
p 1 2
1, p 1(mod 4); 1, p 1(mod 4).
p a1 (mod 4); 解同余式组 p a2 (mod11). 得p 11a1 12a2 (mod 44). 11 从而有 ( ) 1 p 1, 5, 7, 9, 19(mod 44). 18 p
例2 设n是整数 ,
证明 : n2 1的任何奇因数都是 4m 1的形式.
证明 :由于奇数都可表示成奇素数之积, 而且任意多个 形如4m 1的整数之积也具有4m 1的形式.我们只需 证明 : 若素数p是n2 1的因数 , 则p具有4m 1的形式. 若p | n2 1, 则n2 1(mod p ),即 - 1是p的平方剩余,
4
1
a a (3) a a1 (mod p ) ( ) ( 1 ) p p a a1 (mod p )
(4) (
a1a2 an a a a ) ( 1 )( 2 ) ( n ) p p p p
p同时整除a，a1；或者p同时不整除a，a1 .
若a为p的平方剩余，则有 a
(5) ( ab a ) ( ), p b. p p
3
2
p 1 2
p 1 a (1) ( ) a 2 (mod p ) p
0， p a ； a ( ) 1， a是p的平方剩余； p 1， a是p的平方非剩余.
p 1 2
若 p|a , 显然成立；
若a是p的平方剩余，则a 1;
p 1 2
p 1 a a an ( 1 2 ) ( a1a2 an ) 2 证： p
1(mod p ).
a1 (
p 1 2
a2
p 1 2
an
p 1 2
a a1 (mod p ) a1 a pq
a a1 a2 )( ) ( n )(mod p ) p p p
练习：
1解 : 365 5 73, 方程等价于
1.判断x 2 1 mod 365 是否有解 , 若有求出解数 . 2.证明:x 4 1的奇素数p 1 mod 8 , 进而推出有无
x 2 1 mod 5 1 1 ,( ) ( ) 1, 原方程4个解 . 2 73 x 1 mod 73 5 2证明 : 设p是x 4 1的奇素数,即 从而p 1 mod 4 , 另一方面
q1, q2,, qk是互不相同的素数；
因为227 3(mod 8), 所以(
2 ) 1； 227
227 1 51 2 5 227 )( )( 1) 2 2 ( ) 1； 5 227 5 137 ) 1， 原方程无解. 从而 ( 227
(
16
4
例3 证明：形如8k 7（kZ）的素数有无穷多个。 解 用反证法，假设只有有限个素数p1, p2, , pt . 记 N = (p1p2pt)2 2， 显然 2 N . 则 (p1p2pt)2 2 (mod q)， 设q是N的一个奇素因数， 因此，由定理1有q 1或7(mod 8)。 若N的所有奇素因数都具有8k 1的形式， 则N也是8k 1的形式， 但是，由于任何奇数的平方对模8与1同余， 所以应有 N 1 2 1 (mod 8)。 这个矛盾说明，N至少有一个形如8k 7的奇素因数q。
q (3)若有某个qi = 2，用定理1推论判定 ( i ) 之值； p p q (4) 若qi 2，利用定理2将 ( i ) 的计算转化为计算 ( ); qi p qi ( ); (5) 重复以上步骤，直至求出每个 p k qi q (6) 计算 ( ) ( ) . p p i 1
15
p 1 q 1 2 2 p 1 q 1 2 2
3 11 13 解： ( 429 ) ( 3 11 13 ) ( 563 )( 563 )( 563 ) 563 563 ( 1) (
31 563 1 2 2
( 1)12 1.
( 563 )( 1)
所以， a1
p 1 2
(a pq )
p 1 2
a
p 1 2
1(mod p ).
又(
a1a2 an a a a )和( 1 )( 2 ) ( n ) 的取值只有0，±1， p p p p
即 a1也为p的平方剩余.
5
且p>2，故得证。
6
(5) (
ab 2 a ) ( ), p b p p
例1 已知563是素数，方程x2 429 (mod 563)是否有解。
5 2 3 5 3 例如： ( ) ( ) 1; ( ) 1. ( ) ( ) 1. 3 3 5 3 5 ( 1) 11 4 7 11 7 再如： ( ) ( ) 1; ( ) 1. ( ) ( ) 1. 7 7 11 7 11 ( 1)
定理1
下面的结论成立：
2
ab 2 a b2 证明： ( ) ( )( ) p p p
p 1 a ( )(b 2 ) 2 p
p 1 2 1 ， 当p 1(mod 8)， 2 (1) ( 1) 8 ；即 p 1， 当p 3(mod 8). p
3
111 5631 2 2
( 563 )(1)
11
131 5631 2 2
( 563 )
13
2 2 )( )( 4 ) (1)(1) 1 。 3 11 13
( 1)53 1.
13
方程有解。
14
n 一般地，若p是素数，计算 ( ) 可按以下步骤进行： p (1) 求出n0 n (mod p)，1 n0 p；
9 10
取p 11, a 7.
5 nk 7k [ ] [ ] 0 1 1 2 3 7 p k 1 k 1 11 7不是11的平方剩余. l
即y 2 1(mod 7). p-1 7-1 -1 -1 ( ) (-1) 2 , ( ) (-1) 2 1, p 7 故y 2 1(mod 7)无解 , 则原方程也无解 . (2) 5 x 2 7 x 11 5 x 2 30 x 35(mod 23),
故 x2 1
穷多个素数p 1 mod 8 . 3.证明 : 有无穷多个素数p 1 mod 4 . 4.证明 : n4 n2 1的素因数p 1 mod12 .
x
2
2
x 4 1 mod p
2
x4 1 x2 1 2 x2 2 x 2 mod p , p,2 x 1.
由以上推论知, p 4m 1.
(5, 23) 1, 故原方程等价于 x 2 6 x 7 ( x 3)2 16 0(mod 23),
令y x 3, 则原方程化为y 2 16(mod 23). 易知y 2 16(mod 23)有解 , 从而原方程有解 .
p 1 2
若a是p的平方非剩余，则a
p 1 2
1.
1 1 (2) ( ) 1, ( ) ( 1) (1)的特例. p p 注 : (2)式说明1永远是平方剩余;(3)式说明当p 4m 1时,
1是平方剩余,当p 4m 3(或4m 1)时, 1是平方非剩余.
(2) 将n0写成n0 = Q2q1q2qk的形式，其中QZ，
例2 判断方程x2 137 (mod 227)是否有解。
2 3 2 5 ( 1 ) ( 2 ) ( 5 ) 137 90 ) 解： ( )( )( 227 227 227 227 227 227 (
227 1 1 ) ( 1) 2 1; 227
5 nk 5k [ ] [ ] 0 0 1 1 2 4 p k 1 i 1 11 5是11的平方剩余; l
例1 判断下列同余方程是否有解.
(1) x 2 3 x 5 0(mod 7); (2)5 x 2 7 x 11 0(mod 23). 解 : (1) x 2 3 x 5 x 2 10 x 5 ( x 5)2 52 5(mod 7), 令y x 5, 则原方程化为y 2 20(mod 7),
17
例4 求以11为其二次剩余的所有奇素数p.
p 1 11 p ( ) ( ) ( 1) 2 , 解： 11 p 1, p 1, 2, 3,4,5(mod11); p 直接计算得 ( ) 11 1, p 1,2, 3, 4, 5(mod11).
( 1)
7 2 1
8
2
nk [ p ] a p1 (2) 若a为奇数， (a, p) 1, 则 (1)k 1 ，其中l . 2 p
l
由定理1的(1)式立刻得出 推论 当p 8m 1时, 2是平方剩余,当p 8m 3时,2是
平方非剩余.
例如：取p 11, a 5.
所以有 ( 1 ) 1， ( 2 ) 1， ( 3 ) 1， ( 4 ) 1， ( 5 ) 0. 5 5 5 5 5
2
1
二、基本性质
a (1) ( ) a (mod p ); p p 1 1 1 (2) ( ) 1, ( ) ( 1) 2 ; p p a a (3) a a1 (mod p ) ( ) ( 1 ); p p a1a2 an a a1 a2 (4) ( ) ( )( ) ( n ); p p p p