■2次合同式(その14)

[定理]−1は4n+1型素数の平方剰余であり,4n+3型素数の平方非剰余である.

(2/p)=+1・・・pが4n+1型素数のとき

     =−1・・・pが4n+3型素数のとき

===================================

[第1補充則]

(−1/p)=(−1)^(p-1)/2

===================================