ｘ^2=b (modp)

を考える。

p=7,b=2に対してFp={1,2,3,4,5,6}として、

{1^2,2^2,3^2,4^2,5^2,6^2}={1,4,2,2,4,1} (mod7)

であるから、その解はx=3またはx=4である。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

p=7,b=1に対しては解は存在する。

p=7,b=2に対しては解は存在する。

p=7,b=4に対しては解は存在する。

一方、

p=7,b=3に対しては解は存在しない。

p=7,b=5に対しては解は存在しない。

p=7,b=6に対しては解は存在しない。

前者のｂをｐを法とする平方剰余、後者のｂを平方非剰余という。

０を数えなければ、(ｐ-1)/2個の平方剰余Ｒと(ｐ-1)/2個の平方非剰余Ｎが存在し、

Ｒ・Ｒ＝Ｒ、Ｒ・Ｎ＝Ｎ、Ｎ・Ｒ＝Ｎ、Ｎ・Ｎ＝Ｒ

となる。すなわち、Ｒを＋、Ｎを-に対応させることができる。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

Ｎ・Ｎ＝Ｒ

5・6＝30＝2　　(mod7)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝