自然数 $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 が無限に存在する。

「数論」の関連問題

問題は、3500の正の約数について、(1) 約数の個数を求め、(2) 約数の総和を求める、というものです。

約数素因数分解約数の個数約数の総和
2025/7/20

与えられた数 $-\sqrt{63}$ が有理数か無理数かを判定する問題です。

平方根無理数有理数数の分類
2025/7/20

整数 $n$ と実数 $\alpha$ が、$2-\sqrt{10-n} + \alpha$ が整数であり、$0 \le \alpha < 1$ を満たすとき、$n$ と $\alpha$ の値を求め...

整数の性質平方根代数
2025/7/19

$\sqrt{\frac{240-3n}{2}}$ の値が整数となるような自然数 $n$ のうちで、最も小さい値を求めます。

平方根整数の性質代数
2025/7/19

自然数 $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