|
|

楼主 |
发表于 2014-12-22 20:38
|
显示全部楼层
本帖最后由 scsongls 于 2014-12-22 12:44 编辑
② n=4k+1
当n=4k+1时,a^2≡b (mod n),先看一个例93,93的平方剩余如下(93=4×23+1,9<a≤46):
93
10^2≡7 , 11^2≡28 , 12^2≡51 , 13^2≡76
14^2≡10 , 15^2≡39 , 16^2≡70 , 17^2≡10
18^2≡45 , 19^2≡82 , 20^2≡28 , 21^2≡69
22^2≡19 , 23^2≡64 , 24^2≡18 , 25^2≡67
26^2≡25 , 27^2≡78 , 28^2≡40 , 29^2≡4
30^2≡63 , 31^2≡31 , 32^2≡1 , 33^2≡66
34^2≡40 , 35^2≡16 , 36^2≡87 , 37^2≡67
38^2≡49 , 39^2≡33 , 40^2≡19 , 41^2≡7
42^2≡90 , 43^2≡82 , 44^2≡76 , 45^2≡72
46^2≡70
根据以上中间数的介绍,前序与逆序相交之处为k,这里k=24
观察以上范围内平方剩余,特别是中间数k=24,与24相差±1的两个数23和25的平方剩余:
23^2≡64 mod 93
25^2≡67 mod 93
23与25的平方剩余相差为67-64=3,这是因为上式相减得:
67–64≡25^2–23^2( mod 93)
3≡(24+1)^2–(24–1)^2 ( mod 93)
3≡4*24 ( mod 93)
正好为4×24≡3 mod 93
再看与24相差±2的两个数22和26的平方剩余:
22^2≡19 mod 93
26^2≡25 mod 93
22与26平方剩余相差为25-19=6,且22的平方剩余19与24的平方剩余18相差1,26的平方剩余25与24的平方剩余18相差7(与中间数平方剩余相差1、7的证明见后),这是因为上式相减得:
25–19≡26^2–22^2( mod 93)
6≡(24+2)^2–(24–2)^2 ( mod 93)
6≡4*24*2 ( mod 93)
正好为(4×24)*2≡6 mod 93
.
.
.
以此类推,21与27的平方剩余相差9,20与28的平方剩余相差12……(证明见后)
再来证明22(k-1)与24(k+1)的平方剩余为什么相差1?
证明一:
设n=4k+1,则k+1为中间数
(k+1)^2≡b (mod n) ①
(k-1)^2≡c (mod n) ②
①-②:b-c≡(k+1)^2-(k-1)^2 (mod n)
b-c≡ 4k (mod n)
∵ 4k≡-1 (mod n)
∴ b-c≡ -1 (mod n)
c–b≡1 (mod n) 证毕
证明二:
同理可以证明k+1与k+3相差7。
设n=4k+1,k+1为中间数
(k+1)^2≡b (mod n) ③
(k+3)^2≡d (mod n) ④
④-③:d-b≡(k+3)^2-(k+1)^2 (mod n)
d-b≡ 4k+8 (mod n)
∵ 4k≡-1 (mod n)
∴ d-b≡ -1+8 (mod n)
d-b≡7 (mod n) 证毕
Ⅴ、观察24,22,20,18…的平方剩余差为1,9,17…(也可以通过证明一得到该数列),即平方剩余差是一个等差数列,公差为8。
a(m)=a(1)+(m-1)*8 a(1)=1 m>0
s5=1+9+17+…+1+8(m-1)
=m+4m(m-1)
=m(4m-3)
Ⅵ、观察24,26,28,30…的平方剩余差为7,15,23…(也可以通过证明二得到该数列),即平方剩余差是一个等差数列,公差为8。
a(m)=a(1)+(m-1)*8 a(1)=7 m>0
s6=7+15+23+…+7+8(m-1)
=7m+4m(m-1)
=m(4m+3)
Ⅶ、观察23,21,19,17…的平方剩余差为5,13,21…(也可以通过证明得到该数列),即平方剩余差是一个等差数列,公差为8。
a(m)=a(1)+(m-1)*8 a(1)=5 m>0
s7=5+13+21+…+5+8(m-1)
=5m+4m(m-1)
=m(4m+1)
Ⅷ、观察25,27,29,31…的平方剩余差为11,19,27…(也可以通过证明得到该数列),即平方剩余差是一个等差数列,公差为8。
a(m)=a(1)+(m-1)*8 a(1)=11 m>0
s8=11+19+27+…+11+8(m-1)
=11m+4m(m-1)
=m(4m+7)
根据以上,以中间数k+1为中心向中间数的两边共形成4个数列:
小于k+1方向数列Ⅴ、Ⅶ:
m(4m-3)、m(4m+1)
大于k+1方向数列Ⅵ 、Ⅷ:
m(4m+3)、m(4m+7)
Ⅴ、Ⅶ数列往小于k+1方向必然与a^2各有一个交点,且两个交点是相邻的。
Ⅵ 、Ⅷ往大于K+1方向必然与i(i+1)+(n-k/2)各有一个交点,且这两个交点也是相邻的,与Ⅴ、Ⅶ数列的两个交点正好是与K+1为中心的对称点。
如93,k=24,m=6
Ⅴ数列:18+6(4*6-3)=144=12^2
Ⅶ数列:64+5(4*5+1)=169=13^2
12、13与24相差12、11
Ⅵ 数列:18+6(4*6+3)=180=10*(10+1)+70
得46-10=36
Ⅷ数列:67+5(4*5+7)=202=11*(11+1)+70
得46-11=35
36、35与24相差12、11
现在证明Ⅴ数列往减方向与a^2的交点:
证明:设交点处为a,因为Ⅴ数列以k+1、k-1、k-3…的平方剩余减小的,每个值相隔2,所以m为:
m=(k+1-a)/2,(k+1)^2≡b (mod n)
Ⅴ数列可以变为以下:
b+4(((k+1)-a)/2)^2-3*((k+1)-a)/2 (mod n)
≡b+(k+1)^2-2(k+1)a+a^2-3*((k+1)-a)/2 (mod n)
≡2b-2(k+1)a+a^2-3(k+1)/2+3a/2 (mod n)
≡2(k+1)^2+a^2-a(4(k+1)-3)/2-3(k+1)/2 (mod n)
≡(k+1)(4(k+1)-3)/2+a^2 (mod n)
≡a^2 (mod n)
a的值为:
k+1为奇数且(k+2)/2为奇数时:a=(k+2)/2,否则(k+2)/2为偶数时:a=(k+2)/2+1
k+1为偶数且(k+1)/2为偶数时:a=(k+1)/2,否则(k+1)/2为奇数时:a=(k+1)/2
Ⅵ、Ⅶ、Ⅷ数列也可按此证明。 |
|