■フェルマーの小定理とウィルソンの定理(その10)
[定理]+2は8n+3型素数および8n+5型素数の平方非剰余である.
(2/p)=+1・・・pが8n+3型素数および8n+5型素数のとき
=−1・・・pが8n+3型素数および8n+5型素数のとき
[第2補充則]
(2/p)=(−1)^(p^2-1)/8
===================================
x^2=+2 (modp)
[1]p=7→x=3,4
[2]p=17→x=6,11
[3]p=23→x=5,18
[4]p=31→x=8,23
[5]p=41→x=17,24
[6]p=47→x=7,40
[7]p=71→x=12,59
[8]p=73→x=32,41
[9]p=79→x=9,70
[10]p=89→x=25,64
[11]p=97→x=14,83
===================================
[定理]−2は8n+3型素数の平方剰余であり,8n+5型素数の平方非剰余である.
===================================
x^2=−2 (modp)
[1]p=3→x=1,2
[2]p=11→x=3,8
[3]p=17→x=7,10
[4]p=19→x=6,13
[5]p=41→x=11,30
[6]p=43→x=16,27
[7]p=59→x=23,36
[8]p=67→x=20,47
[9]p=73→x=12,61
[10]p=83→x=32,41
[11]p=89→x=40,49
[12]p=97→x=17,80
===================================