ａがｐで割り切れないとする．ルジャンドル記号を用いて

　　ａがｐを法とする平方剰余であるとき，（ａ／ｐ）＝１

　　ａがｐを法とする平方非剰余であるとき，（ａ／ｐ）＝−１

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

【１】平方剰余と非剰余

　素数ｐを法とする剰余表を作るとき，１からｐ−１までの数を平方する必要はない．ｋ^2＝（ｐ−ｋ）^2　　（ｍｏｄ　ｐ）であるから，１から（ｐ−１）／２までの数を平方すれば十分である．

　たとえば，ｐ＝３１を法とする剰余は１から１５までの整数を平方して３１で割った余りは

　　１，４，９，１６，２５，５，１８，２，１９，７，２８，２０，１４，１０，８

となる．ｐ＝３１を法とする平方剰余は１５個　→　一般に（ｐ−１）／２個

　非剰余

　　３，６，１１，１２，１３，１５，１７，２１，２２，２３，２４，２６，２７，２９，３０

も１５個ある．　→　一般に（ｐ−１）／２個

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

　（ａｂ／ｐ）＝（ａ／ｐ）（ｂ／ｐ）

は

剰余×剰余＝剰余

剰余×非剰余＝非剰余

非剰余×剰余＝非剰余

非剰余×非剰余＝剰余

を意味する．　→２３・１２＝２８　　（ｍｏｄ　３１）

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