直感でわかる!平方剰余とルジャンドル記号の仕組み
1. 平方剰余とは何か?
正の整数 \( m \) に対し、ある整数 \( x \) が存在して \[ x^2 \equiv a \pmod{m} \] を満たすとき、\( a \) は法 \( m \) における平方剰余 (quadratic residue)といいます。そうでなければ平方非剰余と呼びます。
例: 法 \( 7 \) の場合
- \( 0^2 \equiv 0 \)
- \( 1^2 \equiv 1 \)
- \( 2^2 \equiv 4 \)
- \( 3^2 \equiv 2 \)
- \( 4^2 \equiv 2 \)
- \( 5^2 \equiv 4 \)
- \( 6^2 \equiv 1 \)
このとき、平方剰余は \( 0,1,2,4 \)、平方非剰余は \( 3,5,6 \) となります。
2. 平方剰余の個数と構造
法が奇素数 \( p \) のとき、平方剰余の個数はちょうど \[ \frac{p + 1}{2} \] です。これは \(\pm x\) を同一視することでわかります(\( x^2 = (-x)^2 \))。
また、平方剰余の集合は対称性を持ちます。例えば法11では \( 1^2 = 1 \), \( 2^2 = 4 \), \( 3^2 = 9 \), \( 4^2 = 5 \), \( 5^2 = 3 \) など、平方剰余は 1, 3, 4, 5, 9。
3. ルジャンドル記号の定義
奇素数 \( p \) に対して、\( p \) と互いに素な整数 \( a \) に対し、 ルジャンドル記号 \( \left( \frac{a}{p} \right) \) は次のように定義されます:
- \( \left( \frac{a}{p} \right) = 1 \)(平方剰余)
- \( \left( \frac{a}{p} \right) = -1 \)(平方非剰余)
- \( \left( \frac{a}{p} \right) = 0 \)(\( p \mid a \) のとき)
これは数論の判定法や合同式の整理に役立ちます。
4. オイラーの判定法
オイラーの定理により、次が成り立ちます: \[ \left( \frac{a}{p} \right) \equiv a^{(p-1)/2} \pmod{p} \] この式を用いると平方剰余かどうかを簡単に判定できます。
例: \( a = 2, p = 7 \)
\( 2^3 = 8 \equiv 1 \pmod{7} \) よって \( \left( \frac{2}{7} \right) = 1 \)
5. 性質と演算規則
- 積に関する性質: \[ \left( \frac{ab}{p} \right) = \left( \frac{a}{p} \right)\left( \frac{b}{p} \right) \]
- 平方数は常に平方剰余: \[ \left( \frac{a^2}{p} \right) = 1 \]
これにより、複雑な計算も分解して簡単に行えるようになります。
6. 例題と応用
問題: \( \left( \frac{10}{13} \right) \) を計算せよ。
オイラーの判定法を使う: \[ 10^6 \bmod 13 \] \( 10^2 = 100 \equiv 9 \), \( 10^4 = 81 \), \( 10^6 = 9 \cdot 81 \equiv 729 \equiv 1 \pmod{13} \) よって答えは 1(平方剰余)。