Excel VBA 数学教室ではアフィリエイトプログラムを利用して商品を紹介しています。

オイラーの基準(判定条件)

ルジャンドル記号

平方剰余/平方非剰余であることを示すルジャンドル記号を次のように定めます。

【定義F3:ルジャンドル記号】p を奇素数、(a,p)=1 とするとき
(ap)=1 (a が平方剰余のとき)
(ap)=1 (a が平方非剰余のとき)

11 の平方剰余は 1,3,4,5,9 , 平方非剰余は 2,6,7,8,10 でしたから、
(111)=(311)=(411)=(511)=(911)=1(211)=(611)=(711)=(811)=(1011)=1
のように表すことができます。ほとんど自明のことですが、合同な数 ab について以下の定理が成り立ちます。

【定理F10】p を奇素数、(a,p)=1 とすると、
ab(modp)(ap)=(bp)

[証明] a が平方剰余であれば、b も平方剰余なので、
(ap)=(bp)=1
となります。また、a が平方非剰余であれば、b も平方非剰余なので、
(ap)=(bp)=1
となります。(証明終)

オイラーの基準(オイラーの判定条件)

定理 F6, F7 を再掲します:

【定理F6, F7】p は奇素数、p/a とする

a が平方剰余であるための必要十分条件は
ap121(modp)a が平方非剰余であるための必要十分条件は
ap121(modp)

であったので、以下の定理が成り立ちます。

【定理F9:オイラーの判定条件】
p を奇素数、(a,p)=(b,p)=1 とするとき、
(ap)ap12(modp)

この定理をオイラーの基準もしくはオイラーの判定条件 (Euler’s criterion)とよびます。

平方剰余の積

前回記事の定理 F8 を再掲します。

【定理F8】p を奇素数、(a,b)=1 とするとき、
(1) a,b がともに p の平方剰余であれば、ab は平方剰余
(2) a,b がともに p の平方非剰余であれば、ab は平方剰余
(3) a,b のうち一方が平方剰余、他方が平方非剰余であれば、ab は平方非剰余

この定理をルジャンドル記号を用いて書き直しておきます。

【定理F11】p を奇素数、(a,p)=(b,p)=1 とするとき、
(abp)=(ap)(bp)

[証明]
(1) a,b がともに平方剰余であるとき、すなわち
(ap)=1,(bp)=1
と表せるとき、定理 F8 より ab も平方剰余なので、
(abp)=1
となります。したがって、
(abp)=(ap)(bp)
が成り立っています。

(2) a,b がともに平方非剰余であるとき、すなわち
(ap)=1,(bp)=1
と表せるときは、定理 F8 より ab も平方剰余なので、
(abp)=1
となります。したがって
(abp)=(ap)(bp)
が成り立っています。

(3) a を平方剰余、b を平方非剰余とすると
(ap)=1,(bp)=1
と表せます。定理 F8 より ab は平方非剰余なので、
(abp)=1
となります。このときも
(abp)=(ap)(bp)
が成り立っています。a を平方非剰余、b を平方剰余としても同じです。以上 (1), (2), (3) より、定理 F11 が成り立つことが示されました。(証明終)

≫ ガウスの補題 ≫ 整数論入門講座

エクセルや数学に関するコメントをお寄せください