logo

オイラーの基準 📂整数論

オイラーの基準

定理 1

素数について p2p \ne 2 ap12(ap)(modp) a^{{p-1} \over {2}} \equiv \left( {a \over p} \right) \pmod{p}

説明

これによると、aa が二次剰余か非二次剰余かを見たい場合は、ただ計算すればいい。もちろん累乗はそう簡単な作業ではないが、全数を計算するよりはマシだろう。証明自体はそれほど難しくはないが、補助定理が多く用いられるため、ある程度の勉強が必要だ。

証明

aa がQRの場合とNRの場合に分けて考えよう。

Case 1. aaがQRの場合

aaがQRであるため、あるbbに対して a=b2a = b^2 が成り立ち、次のようになる。 ap12b2p12bp1(modp) a^{p-1 \over 2} \equiv b^2{p-1 \over 2} \equiv b^{p-1} \pmod{p}

フェルマーの小定理: ap11(modp)a^{p-1} \equiv 1 \pmod{p}

フェルマーの小定理により bp11(modp)b^{p-1} \equiv 1 \pmod{p} となるので ap12(ap)1(modp) a^{p-1 \over 2} \equiv \left( {a \over p} \right) \equiv 1 \pmod{p}


Case 2. aaがNRの場合

合同方程式 xp110(modp)x^{p-1} - 1 \equiv 0 \pmod{p} から始める。

合同方程式の代数学の基本定理: f(x)=a0xd+a1xd1++ad1x+adf(x)=a_{ 0 }x^{ d }+a_{ 1 }x^{ d-1 }+ \cdots +a_{ d-1 }x+a_{ d } に対して方程式 f(x)0(modp)f(x)\equiv 0 \pmod{p} は、多くても dd 個の合同でない解を持つ

代数学の基本定理により、以下の合同方程式は p1p-1 個の合同でない解を持つ。

0xp11(xp12+1)(xp121)(modp) 0 \equiv x^{p-1} - 1 \equiv (x^{p-1 \over 2} +1) (x^{p-1 \over 2} -1) \pmod{p}

QRとNRの個数: 22 より大きい素数 pp について、QRとNRは正確に (p1)2\displaystyle {(p-1) \over 2} 個存在する

一方で、素数 pp についてQRとNRは正確に p12\displaystyle {p-1 \over 2} 個ずつ存在し、Case 1で見たように、p12\displaystyle {p-1 \over 2} 個のQRは(xp121)0(modp)\displaystyle (x^{p-1 \over 2} -1) \equiv 0 \pmod{p} の解である。つまり、残りの p12\displaystyle {p-1 \over 2} NRは (xp12+1)0(modp)(x^{p-1 \over 2} +1) \equiv 0 \pmod{p} の解でなければならない。したがって、次のようになる。 ap12(ap)1(modp) a^{p-1 \over 2} \equiv \left( {a \over p} \right) \equiv -1 \pmod{p}


Case 1, 2を統合すると、次のように得られる。 ap12(ap)(modp) a^{p-1 \over 2} \equiv \left( {a \over p} \right) \pmod{p}


  1. Silverman. (2012). A Friendly Introduction to Number Theory (4th Edition): p150. ↩︎