■2次合同式(その14)
[定理]−1は4n+1型素数の平方剰余であり,4n+3型素数の平方非剰余である.
(2/p)=+1・・・pが4n+1型素数のとき
=−1・・・pが4n+3型素数のとき
===================================
[第1補充則]
(−1/p)=(−1)^(p-1)/2
===================================