(1) $n(n+1)(2n+1)$ が $n$ の値によらず6の倍数であることを証明する。 (2) $n(n+1)(2n+1)(3n^2 + 3n - 1)$ が $n$ の値によらず30の倍数であることを証明する。

数論整数の性質倍数数学的帰納法
2025/5/26

1. 問題の内容

(1) n(n+1)(2n+1)n(n+1)(2n+1)nn の値によらず6の倍数であることを証明する。
(2) n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2 + 3n - 1)nn の値によらず30の倍数であることを証明する。

2. 解き方の手順

(1)
n(n+1)(2n+1)n(n+1)(2n+1) が6の倍数であることを示すためには、2の倍数かつ3の倍数であることを示せばよい。
* 2の倍数であること:
nn または n+1n+1 が偶数なので、n(n+1)n(n+1) は常に偶数。したがって、n(n+1)(2n+1)n(n+1)(2n+1) も偶数である。
* 3の倍数であること:
nn, n+1n+1, n+2n+2 のいずれかは3の倍数である。
- nn が3の倍数のとき、n(n+1)(2n+1)n(n+1)(2n+1) は3の倍数。
- n+1n+1 が3の倍数のとき、n(n+1)(2n+1)n(n+1)(2n+1) は3の倍数。
- 2n+12n+1 が3の倍数のとき、 2n+1=3k2n+1 = 3kkkは整数)とおける。
n(n+1)(2n+1)=n(n+1)3kn(n+1)(2n+1) = n(n+1)3kとなり、これは3の倍数。
また、n+2=n1+3n+2=n-1+3, n1=n+23n-1 = n+2-3よりn+2n+2が3の倍数ならn1n-1も3の倍数。
2n+1=2(n1)+3=2(n+23)+3=2(n+2)3=3k2n+1 = 2(n-1) + 3 = 2(n+2-3) + 3 = 2(n+2) - 3 = 3k,
2(n+2)=3k+3=3(k+1)2(n+2) = 3k+3 = 3(k+1).
n+2=32(k+1)n+2 = \frac{3}{2}(k+1). n+2n+2が3の倍数にならない。
したがって、n(n+1)(2n+1)n(n+1)(2n+1) は常に3の倍数である。
以上より、n(n+1)(2n+1)n(n+1)(2n+1) は2の倍数かつ3の倍数なので、6の倍数である。
(2)
n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2 + 3n - 1) が30の倍数であることを示すためには、2の倍数、3の倍数、5の倍数であることを示せばよい。
* 2の倍数であること:
nn または n+1n+1 が偶数なので、n(n+1)n(n+1) は常に偶数。したがって、n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2+3n-1) も偶数である。
* 3の倍数であること:
(1)と同様に、n(n+1)(2n+1)n(n+1)(2n+1) は3の倍数である。したがって、n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2+3n-1) も3の倍数である。
* 5の倍数であること:
nn を5で割った余りを rr とすると、rr は 0, 1, 2, 3, 4 のいずれかである。
- r=0r=0 のとき、nn は5の倍数なので、n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2+3n-1) は5の倍数である。
- r=1r=1 のとき、3n2+3n1=3(1)2+3(1)1=3+31=53n^2 + 3n - 1 = 3(1)^2 + 3(1) - 1 = 3+3-1 = 5 となり、5の倍数である。したがって、n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2+3n-1) は5の倍数である。
- r=2r=2 のとき、2n+1=2(2)+1=52n+1 = 2(2)+1 = 5となり、5の倍数である。したがって、n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2+3n-1) は5の倍数である。
- r=3r=3 のとき、2n+1=2(3)+1=72n+1 = 2(3)+1 = 7
3n2+3n1=3(3)2+3(3)1=27+91=353n^2+3n-1 = 3(3)^2+3(3)-1 = 27+9-1 = 35となるため、5の倍数である。
- r=4r=4 のとき、n+1=4+1=5n+1=4+1=5となるため、n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2+3n-1) は5の倍数である。
したがって、n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2 + 3n - 1) は常に5の倍数である。
以上より、n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2+3n-1) は2の倍数、3の倍数、5の倍数なので、30の倍数である。

3. 最終的な答え

(1) n(n+1)(2n+1)n(n+1)(2n+1) は6の倍数である。
(2) n(n+1)(2n+1)(3n2+3n1)n(n+1)(2n+1)(3n^2 + 3n - 1) は30の倍数である。

「数論」の関連問題

問題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