(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の倍数である。(証明終わり)

「数論」の関連問題

問題4(1): 2桁の自然数について、その数の一の位の数の4倍を足すと5の倍数になることを説明せよ。

整数の性質倍数桁数
2025/7/27

7で割ると2余り、9で割ると7余る自然数 $n$ を、63で割ったときの余りを求めよ。

合同式剰余中国剰余定理
2025/7/27

次の2つの不定方程式の整数解を全て求める問題です。 (1) $11x + 8y = 1$ (2) $56x - 23y = 2$

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

7の2022乗の1の位の数を求める問題です。つまり、$7^{2022}$ の一の位を求める問題です。

整数の性質累乗周期性mod
2025/7/27

与えられた線形方程式 $25x - 61y = 12$ を解くことを求められています。ただし、整数解を求めることを想定します。

ディオファントス方程式整数解拡張ユークリッドの互除法
2025/7/27

$n$ は自然数とする。$n+1$ は 6 の倍数であり、$n+4$ は 9 の倍数であるとき、$n+13$ は 18 の倍数であることを証明する。

整数の性質倍数合同式証明
2025/7/27

正の整数 $n$ が与えられたとき、$n$, 175, 250 の最大公約数が 25 であり、最小公倍数が 3500 であるような $n$ をすべて求める問題です。

最大公約数最小公倍数素因数分解
2025/7/27

整数 $n$ について、以下の3つの命題を証明する。 (1) $n^2 + 3n$ は偶数である。 (2) $n^3 + 3n^2 + 2n$ は6の倍数である。 (3) $n$ が奇数ならば、$n^...

整数の性質倍数因数分解偶数奇数
2025/7/27

$m$, $n$, $k$ は自然数とする。命題「積 $mnk$ は偶数ならば、$m$, $n$, $k$ の少なくとも1つは偶数である」が真であることを証明する。

命題対偶整数の性質偶数奇数証明
2025/7/27

整数 $n$ について、「$n^3 + 1$ が奇数ならば、$n$ は偶数である」という命題を、対偶を用いて証明する。

命題証明対偶整数の性質偶数奇数代数
2025/7/27