>>926
pを2以外の素数すなわち奇素数とする。
x²≡a modpが解をもつ時、aをpの平方剰余、解を持たない時、aをpの平方非剰余という。
aがpの倍数でない時、
(a/p)=+1、(a/p)=-1
Legendreの記号という。
=(-1)^(Inda)
a≡b⇒(a/p)=(b/p)
(abc…/p)=(a/p)(b/p)(c/p)…