Legendreの平方剰余記号

Legendreの平方剰余記号 \large\left(\frac{a}{p}\right) とは 1^2 (mod p), 2^2 (mod p), 3^2 (mod p), ... のうちでaに等しいものがあれば*1+1, なければ-1という値をとるもの.

例: (2/7) = +1,なぜなら 3^2 = 9 ≡ 2 (mod 7) だから.
例2: (2/5) = -1,なぜなら 1^2 ≡ 1, 2^2 ≡ 4, 3^2 = 9 ≡ 4, 4^2 = 16 ≡ 1, 5^2 = 25 ≡ 0, 残りは繰り返し*2なので2が決して出てこないから.
本棚隅のハーディ-ライトにはやっぱり色々書いてあったんだけど,さすがに普段縁ないからなぁ... また読み進めることあるんだろうか?

*1:aがpを法とする平方剰余 (quadratic residue modulo p) である.

*2:実はp/2まで調べれば十分.