問題は以下の3つです。 * 問題1: $p = 11$ を法として、 $2, 3, ..., p-2 \pmod{p}$ を掛け合わせて $1 \pmod{p}$ となる二つの合同類の組に分ける。その結果を利用して、Wilsonの定理 $(p-1)! \equiv -1 \pmod{p}$ が成り立つことを確認する。 * 問題2: * (1) 21を2進展開する。 * (2) $7^{2^i}$ を $i = 1, 2, 3, 4$ について求める。 * (3) $7^{21} \pmod{43}$ を求める。 * (4) $7^{42} \pmod{43}$ を求める。 * 問題3: $p = 7, a = 3$ とする。 * (1) 各 $i = 1, 2, ..., p-1$ について、$a^i \pmod{p}$ を求める。 * (2) この場合に、Fermatの小定理の証明をたどり、$a^{p-1} \equiv 1 \pmod{p}$ となることを確認する。

数論合同式Wilsonの定理Fermatの小定理2進展開剰余
2025/7/14

1. 問題の内容

問題は以下の3つです。
* 問題1: p=11p = 11 を法として、 2,3,...,p2(modp)2, 3, ..., p-2 \pmod{p} を掛け合わせて 1(modp)1 \pmod{p} となる二つの合同類の組に分ける。その結果を利用して、Wilsonの定理 (p1)!1(modp)(p-1)! \equiv -1 \pmod{p} が成り立つことを確認する。
* 問題2:
* (1) 21を2進展開する。
* (2) 72i7^{2^i}i=1,2,3,4i = 1, 2, 3, 4 について求める。
* (3) 721(mod43)7^{21} \pmod{43} を求める。
* (4) 742(mod43)7^{42} \pmod{43} を求める。
* 問題3: p=7,a=3p = 7, a = 3 とする。
* (1) 各 i=1,2,...,p1i = 1, 2, ..., p-1 について、ai(modp)a^i \pmod{p} を求める。
* (2) この場合に、Fermatの小定理の証明をたどり、ap11(modp)a^{p-1} \equiv 1 \pmod{p} となることを確認する。

2. 解き方の手順

* 問題1:
* (1) p=11p = 11 なので、2,3,...,9(mod11)2, 3, ..., 9 \pmod{11} を考える。
2×61(mod11)2 \times 6 \equiv 1 \pmod{11}, 3×41(mod11)3 \times 4 \equiv 1 \pmod{11}, 5×91(mod11)5 \times 9 \equiv 1 \pmod{11}, 7×81(mod11)7 \times 8 \equiv 1 \pmod{11}
したがって、(2,6),(3,4),(5,9),(7,8)(2, 6), (3, 4), (5, 9), (7, 8) がペアとなる。
* (2) (p1)!=10!=1×2×3×4×5×6×7×8×9×10(mod11)(p-1)! = 10! = 1 \times 2 \times 3 \times 4 \times 5 \times 6 \times 7 \times 8 \times 9 \times 10 \pmod{11}
10!1×(2×6)×(3×4)×(5×9)×(7×8)×10(mod11)10! \equiv 1 \times (2 \times 6) \times (3 \times 4) \times (5 \times 9) \times (7 \times 8) \times 10 \pmod{11}
10!1×1×1×1×1×10(mod11)10! \equiv 1 \times 1 \times 1 \times 1 \times 1 \times 10 \pmod{11}
10!10(mod11)10! \equiv 10 \pmod{11}
10!1(mod11)10! \equiv -1 \pmod{11}
したがって、Wilsonの定理が成り立つ。
* 問題2:
* (1) 21=16+4+1=24+22+2021 = 16 + 4 + 1 = 2^4 + 2^2 + 2^0
よって、2進展開は 21=(10101)221 = (10101)_2
* (2)
721=72=497^{2^1} = 7^2 = 49
722=74=492=24017^{2^2} = 7^4 = 49^2 = 2401
723=78=24012=57648017^{2^3} = 7^8 = 2401^2 = 5764801
724=716=57648012=332329305696017^{2^4} = 7^{16} = 5764801^2 = 33232930569601
* (3) 721(mod43)7^{21} \pmod{43}
717(mod43)7^1 \equiv 7 \pmod{43}
72496(mod43)7^2 \equiv 49 \equiv 6 \pmod{43}
746236(mod43)7^4 \equiv 6^2 \equiv 36 \pmod{43}
7836212966(mod43)7^8 \equiv 36^2 \equiv 1296 \equiv 6 \pmod{43}
7166236(mod43)7^{16} \equiv 6^2 \equiv 36 \pmod{43}
721=716+4+1=716×74×71(mod43)7^{21} = 7^{16+4+1} = 7^{16} \times 7^4 \times 7^1 \pmod{43}
72136×36×7(mod43)7^{21} \equiv 36 \times 36 \times 7 \pmod{43}
7216×7(mod43)7^{21} \equiv 6 \times 7 \pmod{43}
721421(mod43)7^{21} \equiv 42 \equiv -1 \pmod{43}
* (4) 742(mod43)7^{42} \pmod{43}
742=(721)2(mod43)7^{42} = (7^{21})^2 \pmod{43}
742(1)21(mod43)7^{42} \equiv (-1)^2 \equiv 1 \pmod{43}
または、Fermatの小定理より 7421(mod43)7^{42} \equiv 1 \pmod{43}
* 問題3:
* (1) p=7,a=3p = 7, a = 3
313(mod7)3^1 \equiv 3 \pmod{7}
3292(mod7)3^2 \equiv 9 \equiv 2 \pmod{7}
333×26(mod7)3^3 \equiv 3 \times 2 \equiv 6 \pmod{7}
343×6184(mod7)3^4 \equiv 3 \times 6 \equiv 18 \equiv 4 \pmod{7}
353×4125(mod7)3^5 \equiv 3 \times 4 \equiv 12 \equiv 5 \pmod{7}
363×5151(mod7)3^6 \equiv 3 \times 5 \equiv 15 \equiv 1 \pmod{7}
* (2) Fermatの小定理より、ap11(modp)a^{p-1} \equiv 1 \pmod{p}
371=361(mod7)3^{7-1} = 3^6 \equiv 1 \pmod{7}
36=729=7×104+13^6 = 729 = 7 \times 104 + 1
361(mod7)3^6 \equiv 1 \pmod{7}

3. 最終的な答え

* 問題1:
* (1) (2,6),(3,4),(5,9),(7,8)(2, 6), (3, 4), (5, 9), (7, 8)
* (2) (p1)!1(modp)(p-1)! \equiv -1 \pmod{p} が成り立つ
* 問題2:
* (1) (10101)2(10101)_2
* (2) 721=497^{2^1} = 49, 722=24017^{2^2} = 2401, 723=57648017^{2^3} = 5764801, 724=332329305696017^{2^4} = 33232930569601
* (3) 7211(mod43)7^{21} \equiv -1 \pmod{43}
* (4) 7421(mod43)7^{42} \equiv 1 \pmod{43}
* 問題3:
* (1) 3,2,6,4,5,13, 2, 6, 4, 5, 1
* (2) 361(mod7)3^{6} \equiv 1 \pmod{7}

「数論」の関連問題

自然数 $N$ を5進法で表すと3桁の数 $abc_{(5)}$ となり、7進法で表すと3桁の数 $cab_{(7)}$ となる。このとき、自然数 $N$ と、整数 $a, b, c$ を求める問題で...

進法整数方程式数の表現
2025/7/18

(1) 整数 $m$ に対して、$m^2$ を4で割った余りは0または1であることを示す。 (2) 自然数 $n, k$ が $25 \times 3^n = k^2 + 176$ を満たすとき、$n...

整数の性質合同式二次不定方程式
2025/7/18

問題は、整数 $x$ について、「$x$ が 6 の倍数ならば、$x$ は 3 の倍数である」という命題の真偽を判定するものです。

倍数整数の性質命題真偽判定
2025/7/18

$5^{100}$ を $7$ で割ったときの余りを求めます。

合同式剰余累乗
2025/7/18

20の倍数で、正の約数の個数が15個である自然数nをすべて求めよ。

約数倍数素因数分解整数の性質
2025/7/18

問題は以下の2つです。 (1) $5^{105}$ は何桁の整数であるか。また、その最高位の数字は何か。 (2) $(\frac{1}{5})^{105}$ は小数第何位に初めて0でない数が現れるか。...

対数桁数最高位の数字常用対数
2025/7/17

整数 $a, b$ があり、$a$ を7で割ると1余り、$b$ を7で割ると2余るとき、以下の数を7で割った余りを求めよ。 (1) $a+b$ (2) $ab$ (3) $a^2-b^2$

合同式剰余整数の性質
2025/7/17

問題1は、4つの1次不定方程式の全ての整数解を求める問題です。 問題2は、3で割ると2余り、5で割ると4余る2桁の正の整数のうち、最大のものを求める問題です。

一次不定方程式合同式整数解最大公約数
2025/7/17

(5) 5で割ると3余り、8で割ると1余る自然数の中で最も小さいものを求める。 (6) 14で割ると3余り、21で割ると12余るような整数が存在しないことを示す。

合同式剰余不定方程式
2025/7/17

(5) 5で割ると3余り、8で割ると1余る自然数のうち、最も小さいものを求める。 (6) 14で割ると3余り、21で割ると12余るような整数が存在しないことを示す。

合同式中国剰余定理剰余最大公約数
2025/7/17