(1) $n$が自然数のとき、$n^5 - n$は5の倍数であることを証明する。 (2) $n$が奇数のとき、$n^2 - 1$は8の倍数であることを証明する。 (3) $n$が奇数のとき、$n^5 - n$は120の倍数であることを証明する。

数論整数の性質倍数因数分解数学的帰納法
2025/6/18

1. 問題の内容

(1) nnが自然数のとき、n5nn^5 - nは5の倍数であることを証明する。
(2) nnが奇数のとき、n21n^2 - 1は8の倍数であることを証明する。
(3) nnが奇数のとき、n5nn^5 - nは120の倍数であることを証明する。

2. 解き方の手順

(1)
n5nn^5 - nを因数分解する。
n5n=n(n41)=n(n21)(n2+1)=n(n1)(n+1)(n2+1)n^5 - n = n(n^4 - 1) = n(n^2 - 1)(n^2 + 1) = n(n - 1)(n + 1)(n^2 + 1)
n(n1)(n+1)n(n - 1)(n + 1)は連続する3つの整数の積なので、6の倍数である。したがって、n5nn^5 - nは2の倍数かつ3の倍数である。
ここで、n2+1=(n24)+5=(n2)(n+2)+5n^2 + 1 = (n^2 - 4) + 5 = (n - 2)(n + 2) + 5より、
n5n=n(n1)(n+1)((n2)(n+2)+5)=n(n1)(n+1)(n2)(n+2)+5n(n1)(n+1)n^5 - n = n(n - 1)(n + 1)((n - 2)(n + 2) + 5) = n(n - 1)(n + 1)(n - 2)(n + 2) + 5n(n - 1)(n + 1)
n(n1)(n+1)(n2)(n+2)n(n - 1)(n + 1)(n - 2)(n + 2)は連続する5つの整数の積なので、5の倍数である。
5n(n1)(n+1)5n(n - 1)(n + 1)は5の倍数である。
したがって、n5nn^5 - nは5の倍数である。
(2)
nnが奇数のとき、n=2k+1n = 2k + 1 (kkは整数)と表せる。
n21=(2k+1)21=4k2+4k+11=4k2+4k=4k(k+1)n^2 - 1 = (2k + 1)^2 - 1 = 4k^2 + 4k + 1 - 1 = 4k^2 + 4k = 4k(k + 1)
k(k+1)k(k + 1)は連続する2つの整数の積なので、偶数である。したがって、k(k+1)=2mk(k + 1) = 2m (mmは整数)と表せる。
n21=4(2m)=8mn^2 - 1 = 4(2m) = 8m
したがって、n21n^2 - 1は8の倍数である。
(3)
nnが奇数のとき、n=2k+1n = 2k + 1 (kkは整数)と表せる。
(1)より、n5n=n(n1)(n+1)(n2+1)n^5 - n = n(n - 1)(n + 1)(n^2 + 1)であり、n5nn^5 - nは5の倍数である。
また、nnが奇数なので、n1n - 1n+1n + 1は偶数である。したがって、(n1)(n+1)(n - 1)(n + 1)は4の倍数である。よって、n(n1)(n+1)n(n - 1)(n + 1)は2の倍数である。
n1n - 1n+1n + 1は連続する偶数なので、どちらかは4の倍数である。したがって、(n1)(n+1)(n - 1)(n + 1)は8の倍数である。
n2+1=(2k+1)2+1=4k2+4k+1+1=4k2+4k+2=2(2k2+2k+1)n^2 + 1 = (2k + 1)^2 + 1 = 4k^2 + 4k + 1 + 1 = 4k^2 + 4k + 2 = 2(2k^2 + 2k + 1)より、n2+1n^2 + 1は2の倍数である。
したがって、n(n1)(n+1)(n2+1)n(n - 1)(n + 1)(n^2 + 1)は16の倍数である。
また、n1n - 1, nn, n+1n + 1 のいずれか一つは3の倍数である。nnは奇数なので、n1n - 1またはn+1n + 1が3の倍数である。
したがって、n5nn^5 - nは3の倍数である。
n5nn^5 - nは3の倍数、5の倍数、8の倍数であるため、3 * 5 * 8 = 120の倍数である。

3. 最終的な答え

(1) n5nn^5 - nは5の倍数である。(証明終わり)
(2) n21n^2 - 1は8の倍数である。(証明終わり)
(3) n5nn^5 - nは120の倍数である。(証明終わり)

「数論」の関連問題

$\sqrt{14-a}$ の値が整数となるような自然数 $a$ の値をすべて求める問題です。

平方根整数自然数
2025/6/18

$n$ を自然数とするとき、$n$, $n+2$, $n+4$ が全て素数であるのは、$n=3$ の場合だけであることを示せ。

素数整数の性質合同式
2025/6/18

$n$ を自然数とするとき、$n$, $n+2$, $n+4$ がすべて素数であるのは $n=3$ の場合だけであることを示す。ただし、すべての自然数は $3k-2$, $3k-1$, $3k$ ($...

素数整数の性質合同式場合分け
2025/6/18

$n$ が2以上の整数のとき、$n^3 - n$ が6で割り切れることを示す問題です。

整数の性質割り算因数分解倍数
2025/6/18

$m$を自然数とするとき、$m^2$を5で割ったときの余りが0, 1, 4のいずれかであることを示す問題です。

剰余整数の性質合同式
2025/6/18

(13) ($\frac{1}{5}$)$^{10}$ を小数で表したとき、小数第何位に初めて0でない数字が現れるかを求める問題です。ただし、$\log_{10}2 = 0.3010$ とします。

対数常用対数小数桁数
2025/6/18

$p$ を $n-1$ を 4 で割ると 3 余る素数とし、$\mathbb{F}_p^{\times} = \mathbb{F}_p \setminus \{0\}$ とする。以下の手順で定理 7....

素数有限体平方数BIBデザイン直交配列
2025/6/18

30の階乗(30!)を素因数分解したものが与えられています。 $30! = 2^a \cdot 3^b \cdot 5^c \cdots 23^i \cdot 29^j$ このとき、以下の2つの問いに...

素因数分解階乗ルジャンドルの定理末尾の0
2025/6/18

自然数 $n$ について、次の不等式が成り立つことを数学的帰納法で証明する。 (1) $2^n > n^2$ ($n \geq 5$) (2) $\frac{1}{2^2} + \frac{1}{3^...

数学的帰納法不等式自然数証明
2025/6/18

$\sqrt{29 - n}$ が整数となるような自然数 $n$ の値をすべて求める問題です。

平方根整数自然数平方数
2025/6/18