(1) $p$ を素数とするとき、$3^p$ を $p$ で割った余りを求めよ。 (2) 100以下の自然数のうち、100と互いに素な自然数の個数を求めよ。 (3) $0 \cdot {}_{10}C_0 + 1 \cdot {}_{10}C_1 + \dots + 10 \cdot {}_{10}C_{10}$ の値を求めよ。

数論素数合同式互いに素オイラー関数二項定理組み合わせ
2025/3/28

1. 問題の内容

(1) pp を素数とするとき、3p3^ppp で割った余りを求めよ。
(2) 100以下の自然数のうち、100と互いに素な自然数の個数を求めよ。
(3) 010C0+110C1++1010C100 \cdot {}_{10}C_0 + 1 \cdot {}_{10}C_1 + \dots + 10 \cdot {}_{10}C_{10} の値を求めよ。

2. 解き方の手順

(1) フェルマーの小定理を利用する。pp が素数で、aapp の倍数でないとき、ap11(modp)a^{p-1} \equiv 1 \pmod{p} が成り立つ。
よって、3p11(modp)3^{p-1} \equiv 1 \pmod{p} が成り立つ。したがって、3p3(modp)3^p \equiv 3 \pmod{p}
したがって、求める余りは 33 である。
(2) 100と互いに素な自然数の個数を求める。
100=2252100 = 2^2 \cdot 5^2 であるから、100以下の自然数の中で2の倍数または5の倍数であるものの個数を求め、全体から引く。
100以下の2の倍数は 100/2=50100/2 = 50 個。
100以下の5の倍数は 100/5=20100/5 = 20 個。
100以下の10の倍数は 100/10=10100/10 = 10 個。
2の倍数または5の倍数の個数は 50+2010=6050 + 20 - 10 = 60 個。
したがって、100と互いに素な自然数の個数は 10060=40100 - 60 = 40 個。
別の解法として、オイラー関数を利用できる。ϕ(100)=ϕ(2252)=ϕ(22)ϕ(52)=(2221)(5251)=(42)(255)=220=40\phi(100) = \phi(2^2 \cdot 5^2) = \phi(2^2) \cdot \phi(5^2) = (2^2 - 2^1)(5^2 - 5^1) = (4-2)(25-5) = 2 \cdot 20 = 40
(3) 二項定理を応用する。二項定理より、
(1+x)n=k=0nnCkxk(1+x)^n = \sum_{k=0}^n {}_nC_k x^k
両辺を xx で微分すると
n(1+x)n1=k=1nnCkkxk1n(1+x)^{n-1} = \sum_{k=1}^n {}_nC_k k x^{k-1}
x=1x=1 を代入すると
n(1+1)n1=k=1nnCkkn(1+1)^{n-1} = \sum_{k=1}^n {}_nC_k k
n2n1=k=1nknCkn 2^{n-1} = \sum_{k=1}^n k \cdot {}_nC_k
問題の式は、この式において n=10n=10 の場合である。
したがって、102101=1029=10512=512010 \cdot 2^{10-1} = 10 \cdot 2^9 = 10 \cdot 512 = 5120

3. 最終的な答え

(1) 3
(2) 40
(3) 5120

「数論」の関連問題

$123^{2018}$ を10進法で表したときの一の位の数字と、$123^{2018}$ を5進法で表したときの一の位の数字を求める問題です。

合同算術剰余冪乗位取り記数法
2025/7/24

複数の問題があります。 * 問題1: 与えられた5つの文のうち、正しいものをすべて選択します。 * 問題2: 60と42の正の公約数の個数を求めます。 * 問題3: 60と42の正および負...

約数公約数ユークリッドの互除法整数の性質
2025/7/24

(1) 1000から9999までの4桁の自然数のうち、ちょうど2種類の数字から成り立っているものの個数を求めよ。 (2) $n$ 桁の自然数のうち、ちょうど2種類の数字から成り立っているものの個数を求...

組み合わせ桁数場合の数自然数
2025/7/24

5で割ると2余る整数Aと、5で割ると3余る整数Bがあるとき、A+2Bを5で割ったときの余りが3になることを説明する。

合同算術剰余整数の性質
2025/7/24

与えられた文章は$\sqrt{2}$が無理数であることの背理法による証明である。この証明を参考に以下の3つの問いに答える。 (1) $\sqrt{3}$が無理数であることを証明する。 (2) $\sq...

無理数背理法素数有理数
2025/7/24

連立合同方程式 $2x \equiv 3 \pmod{5}$ $4x \equiv 5 \pmod{7}$ が与えられている。 (1) $x \equiv 4 \pmod{5}$ が $2x \equ...

合同式連立合同方程式中国剰余定理
2025/7/24

与えられた数式群が示す規則性を見つけ、分配法則を用いてそのカラクリを説明する。

数列規則性分配法則一般化
2025/7/24

与えられた数式群の規則性を見つける問題です。数式は以下の通りです。 $1 \times 9 + 1 \times 2 = 11$ $12 \times 18 + 2 \times 3 = 222$ $...

規則性数列整数の性質数式
2025/7/24

$m, n$ を整数とする。命題「$2^3 + 1$ が奇数ならば、$n$ は偶数である」を証明する。

命題整数対偶偶数奇数証明
2025/7/23

## 問題の回答

一次不定方程式整数の性質互いに素極限
2025/7/23