(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の倍数である。

「数論」の関連問題

与えられた3つの数について、それぞれの正の約数の個数と、その約数の総和を求める問題です。 (1) $5 \cdot 2^3$ (2) $108$ (3) $540$

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

整数 $n$ について、$n^2$ が 3 の倍数ならば、$n$ も 3 の倍数であることを証明する。

整数の性質倍数背理法証明
2025/6/7

与えられた情報から、群数列の第 $n$ 群の最初の項が $n^2 - n + 1$ であることが導出される過程を確認し、それが $n=1$ の場合にも成り立つことを確認する。

群数列数列数学的帰納法
2025/6/6

整数 $n$ について、$n^2$ が3の倍数ならば、$n$ も3の倍数であることを証明する。

整数の性質倍数証明背理法
2025/6/6

整数 $n$ について、$n^2$ が奇数ならば、$n$ が奇数であることを証明するために、その対偶である「$n$が偶数ならば、$n^2$は偶数である」を証明する穴埋め問題です。

整数対偶証明偶数奇数
2025/6/6

正の整数 $a, b, c$ に対して、$M = 3^a + 3^b + 3^c + 1$ とする。 (1) $a < b = c \le 10$ を満たす $a, b, c$ の組で、$M$ が立方...

整数の性質べき乗立方数方程式
2025/6/6

自然数の列がいくつかの群に分けられている。第 $n$ 群には $2^{n-1}$ 個の数が入る。 (1) $n \ge 2$ のとき、第 $n$ 群の最初の数を $n$ の式で表す。 (2) 第 $n...

数列等比数列等差数列自然数
2025/6/6

$a_1, a_2, a_3, a_4, a_5$は正の整数で、$a_1 < a_2 < a_3 < a_4 < a_5$とする。 2つの集合$A = \{a_1, a_2, a_3, a_4, a_...

集合整数の性質方程式場合分け
2025/6/6

与えられた数について、正の約数の個数と、その約数の総和を求める問題です。 (1) $5 \cdot 2^3$ (2) 108 (3) 540

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

与えられた3つの数について、正の約数の個数と、それらの約数の総和をそれぞれ求める問題です。 (1) $5 \cdot 2^3$ (2) $108$ (3) $540$

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