自然数 $n$ に対して、$n$ 以下の自然数のうち $n$ と互いに素であるものの個数を $\phi(n)$、正の約数の個数を $d(n)$ とする。 (1) $\phi(n)$ と $d(n)$ が等しくなる $n$ を全て求めよ。 (2) $\phi(n)$ と $d(n)$ が共に平方数となる $n$ が無限に存在することを示せ。

数論Euler's totient functiondivisor function整数の性質素数平方数
2025/4/29

1. 問題の内容

自然数 nn に対して、nn 以下の自然数のうち nn と互いに素であるものの個数を ϕ(n)\phi(n)、正の約数の個数を d(n)d(n) とする。
(1) ϕ(n)\phi(n)d(n)d(n) が等しくなる nn を全て求めよ。
(2) ϕ(n)\phi(n)d(n)d(n) が共に平方数となる nn が無限に存在することを示せ。

2. 解き方の手順

(1) ϕ(n)=d(n)\phi(n) = d(n) となる nn を求める。
n=1n = 1 のとき、ϕ(1)=1\phi(1) = 1d(1)=1d(1) = 1 なので、ϕ(1)=d(1)\phi(1) = d(1) が成り立つ。
n=2n = 2 のとき、ϕ(2)=1\phi(2) = 1d(2)=2d(2) = 2 なので、ϕ(2)d(2)\phi(2) \ne d(2)
n=3n = 3 のとき、ϕ(3)=2\phi(3) = 2d(3)=2d(3) = 2 なので、ϕ(3)=d(3)\phi(3) = d(3) が成り立つ。
n=4n = 4 のとき、ϕ(4)=2\phi(4) = 2d(4)=3d(4) = 3 なので、ϕ(4)d(4)\phi(4) \ne d(4)
n=5n = 5 のとき、ϕ(5)=4\phi(5) = 4d(5)=2d(5) = 2 なので、ϕ(5)d(5)\phi(5) \ne d(5)
n=6n = 6 のとき、ϕ(6)=2\phi(6) = 2d(6)=4d(6) = 4 なので、ϕ(6)d(6)\phi(6) \ne d(6)
n=8n = 8 のとき、ϕ(8)=4\phi(8) = 4d(8)=4d(8) = 4 なので、ϕ(8)=d(8)\phi(8) = d(8) が成り立つ。
n=pn=p (素数)のとき、ϕ(p)=p1\phi(p) = p-1, d(p)=2d(p) = 2 であるから p1=2p-1 = 2 より p=3p=3
n=p2n=p^2pp は素数)のとき、ϕ(p2)=p2p\phi(p^2) = p^2 - p, d(p2)=3d(p^2) = 3 であるから、p2p=3p^2 - p = 3 を満たす素数は存在しない。
n=pqn=pqp,qp, q は異なる素数)のとき、ϕ(pq)=(p1)(q1)\phi(pq) = (p-1)(q-1), d(pq)=4d(pq) = 4 であるから、(p1)(q1)=4(p-1)(q-1) = 4 を満たす素数の組 (p,q)(p, q) を探す。
p1=1p-1 = 1 ならば p=2p=2, q1=4q-1 = 4 ならば q=5q=5 であり、このとき n=10n=10, ϕ(10)=4\phi(10) = 4, d(10)=4d(10) = 4 となる。
p1=2p-1 = 2 ならば p=3p=3, q1=2q-1 = 2 ならば q=3q=3 であり、p,qp, q は異なる素数であることに反する。
n=12n=12 のとき、ϕ(12)=4\phi(12) = 4, d(12)=6d(12) = 6 なので、ϕ(12)d(12)\phi(12) \ne d(12)
n=1,3,8,10n=1, 3, 8, 10
(2) ϕ(n)\phi(n)d(n)d(n) が共に平方数となる nn が無限に存在することを示す。
n=22kn = 2^{2k} (kは自然数)とすると、
d(n)=2k+1d(n) = 2k + 1
ϕ(n)=22k22k1=22k1\phi(n) = 2^{2k} - 2^{2k-1} = 2^{2k-1}
2k+12k+1 が平方数になるような kk を考える.
2k+1=m22k+1 = m^2 (mは奇数)とすると、
2k=m21=(m1)(m+1)2k = m^2-1 = (m-1)(m+1)
k=(m1)(m+1)/2k = (m-1)(m+1)/2
kk は自然数であるから, mm は奇数であればよい.
k=4,12,24,40,...k = 4, 12, 24, 40, ...
n=28,224,248,280,...n = 2^8, 2^{24}, 2^{48}, 2^{80}, ...
d(n)=9,25,49,81,...d(n) = 9, 25, 49, 81, ...
ϕ(n)=27,223,247,279,...\phi(n) = 2^7, 2^{23}, 2^{47}, 2^{79}, ...
ϕ(n)=npn(11p)\phi(n) = n\prod_{p|n}(1 - \frac{1}{p})
n=2k3ln = 2^k 3^lのとき, k,lk, lが偶数であればよい。
n=22k32ln = 2^{2k}3^{2l}
ϕ(n)=22k132l12=22k32l1\phi(n) = 2^{2k-1} 3^{2l-1} * 2 = 2^{2k}3^{2l-1}
d(n)=(2k+1)(2l+1)d(n) = (2k+1)(2l+1)
n=3kn = 3^k のとき,
d(n)=k+1d(n) = k+1
ϕ(n)=3k3k1=23k1\phi(n) = 3^k - 3^{k-1} = 2*3^{k-1}
n=2kn=2^kとする. ϕ(n)=2k1\phi(n) = 2^{k-1}であり、これが平方数になるには、k1k-1が偶数である必要があるので、kkは奇数。
d(n)=k+1d(n)=k+1 が平方数になるには、k+1=m2k+1 = m^2とおくと、k=m21k=m^2-1
mmは偶数とする. kkは奇数だから不適。

3. 最終的な答え

(1) n=1,3,8,10n = 1, 3, 8, 10
(2) ϕ(n)\phi(n)d(n)d(n) が共に平方数となる nn が無限に存在する。

「数論」の関連問題

自然数 $n$ と $540$ の最小公倍数が $2700$ であるような自然数 $n$ の個数を求める。

最小公倍数素因数分解整数の性質
2025/4/30

自然数 $n$ と $200$ の最小公倍数が $4400$ であるような自然数 $n$ の個数を求める。

最小公倍数素因数分解整数の性質
2025/4/30

問題は以下の3つの命題の対偶を述べ、対偶を証明するというものです。 (1) $a^2$ が 2 の倍数ならば、$a$ も 2 の倍数である。 (2) $a^2 + b^2$ が 3 で割り切れるならば...

命題対偶整数の性質合同式倍数割り算
2025/4/29

自然数 $n$ に対して、$n$ 以下の自然数のうち $n$ と互いに素であるものの個数を $\phi(n)$、正の約数の個数を $d(n)$ とする。 (1) $\phi(n) = d(n)$ とな...

Eulerのφ関数約数関数整数の性質素数平方数
2025/4/29

整数$a, b$があり、$a$を8で割ると余りが4、$b$を8で割ると余りが5であるとき、次の数を8で割ったときの余りを求めます。 (1) $a+b$ (2) $a-b$ (3) $5a+4b$ (4...

合同算術剰余整数の性質
2025/4/29

以下の3つの命題を証明する問題です。 (1) $a, b$ が3の倍数ならば、$a + 2b$ も3の倍数である。 (2) $a, a-b$ が7の倍数ならば、$b$ も7の倍数である。 (3) $a...

整数の性質倍数証明
2025/4/29

以下の条件を満たす2つの自然数の組 $(a, b)$ をすべて求めます。ただし、$a < b$とします。 (1) 和が320、最大公約数が16 (2) 積が720、最大公約数が6 (...

最大公約数最小公倍数約数倍数整数の性質
2025/4/29

与えられた等式 $1 + 3 + 5 + \dots + (2n - 1) = n^2$ の数学的帰納法による証明の最初のステップ($n=1$のとき)における左辺と右辺の値を求める問題です。

数学的帰納法等式整数の和
2025/4/29

21から30までの自然数の中で、素数をすべて答える問題です。

素数約数整数の性質
2025/4/29

方程式 $35x - 29y = 3$ の全ての整数解を求める。

不定方程式整数解ユークリッドの互除法
2025/4/29