数列 $\{a_n\}$ の一般項が $a_n = 6^{n+2} + 7^{2n+1}$ で与えられているとき、すべての自然数 $n$ に対して、$a_n$ が43で割り切れることを証明する。

数論数学的帰納法整数の性質割り算合同式
2025/5/27

1. 問題の内容

数列 {an}\{a_n\} の一般項が an=6n+2+72n+1a_n = 6^{n+2} + 7^{2n+1} で与えられているとき、すべての自然数 nn に対して、ana_n が43で割り切れることを証明する。

2. 解き方の手順

数学的帰納法を用いて証明する。
(1) n=1n=1 のとき:
a1=61+2+72(1)+1=63+73=216+343=559=43×13a_1 = 6^{1+2} + 7^{2(1)+1} = 6^3 + 7^3 = 216 + 343 = 559 = 43 \times 13
したがって、n=1n=1 のとき、a1a_1 は43で割り切れる。
(2) n=kn=k のとき、ak=6k+2+72k+1a_k = 6^{k+2} + 7^{2k+1} が43で割り切れると仮定する。
すなわち、6k+2+72k+1=43m6^{k+2} + 7^{2k+1} = 43mmm は整数)とおく。
(3) n=k+1n=k+1 のとき、ak+1=6(k+1)+2+72(k+1)+1=6k+3+72k+3a_{k+1} = 6^{(k+1)+2} + 7^{2(k+1)+1} = 6^{k+3} + 7^{2k+3} が43で割り切れることを示す。
ak+1=6k+3+72k+3=66k+2+7272k+1=66k+2+4972k+1a_{k+1} = 6^{k+3} + 7^{2k+3} = 6 \cdot 6^{k+2} + 7^2 \cdot 7^{2k+1} = 6 \cdot 6^{k+2} + 49 \cdot 7^{2k+1}
ここで、6k+2=43m72k+16^{k+2} = 43m - 7^{2k+1} であるから、
ak+1=6(43m72k+1)+4972k+1=643m672k+1+4972k+1a_{k+1} = 6(43m - 7^{2k+1}) + 49 \cdot 7^{2k+1} = 6 \cdot 43m - 6 \cdot 7^{2k+1} + 49 \cdot 7^{2k+1}
ak+1=643m+4372k+1=43(6m+72k+1)a_{k+1} = 6 \cdot 43m + 43 \cdot 7^{2k+1} = 43 (6m + 7^{2k+1})
6m+72k+16m + 7^{2k+1} は整数であるから、ak+1a_{k+1} は43で割り切れる。
(1)(2)(3)より、すべての自然数 nn に対して、ana_n は43で割り切れる。

3. 最終的な答え

すべての自然数 nn に対して、an=6n+2+72n+1a_n = 6^{n+2} + 7^{2n+1} は43で割り切れる。

「数論」の関連問題

問題は以下の2つの部分から構成されます。 (1) 正の整数 $a$ に対して、$a^2$ を 3 で割った余りが 0 または 1 であることを示す。 (2) 正の整数 $a$, $b$, $c$ が ...

整数の性質合同算術剰余背理法
2025/5/31

$n$ を自然数とするとき、$2n-1$ と $2n+1$ が互いに素であることを示す問題です。

互いに素整数の性質背理法
2025/5/31

この問題は、偶数と偶数の和が偶数になることを証明する際の間違いを指摘するものです。与えられた説明では、2つの偶数を$2m$と$2m$と表現していますが、これが誤りである理由を説明する必要があります。

偶数証明整数加法
2025/5/31

(1) 整数 $a$ の平方 $a^2$ が3の倍数ならば、$a$ は3の倍数である。このことを用いて、$\sqrt{3}$ が無理数であることを証明する。 (2) 次の等式を満たす有理数 $a, b...

無理数背理法有理数連立方程式平方根
2025/5/31

自然数 $a, b$ について、命題「$a^2 + b^2$ が奇数ならば $ab$ は偶数である」が与えられている。 (1) 与えられた命題の裏を記述する。 (2) 与えられた命題の対偶を記述する。...

命題証明偶数奇数対偶
2025/5/31

2023は $7 \times 17 \times 17$ で表される。2023を割り切ることができる自然数の中で、2023の次に大きな自然数を求める。

約数素因数分解整数の性質
2025/5/31

自然数 $n, k$ があり、$k \le 100$ とする。条件 $p$ を「$n$ は $k$ の倍数である」、条件 $q$ を「$n$ は $15$ の倍数である」とする。命題「$q \Righ...

倍数約数命題論理
2025/5/31

4桁の整数$abc6$があり、$a$, $b$, $c$は1桁の整数である。この整数が3, 7, 11のいずれでも割り切れるとき、$a+b+c$が最大となるのはいくらか。

整数の性質割り算最小公倍数倍数判定桁の操作
2025/5/31

25の階乗($25!$)が$10^n$で割り切れるような最大の自然数$n$を求める問題です。

階乗素因数分解割り算整数の性質
2025/5/30

25の階乗 ($25!$) が $10^n$ で割り切れるような最大の自然数 $n$ を求める問題です。

階乗素因数分解約数
2025/5/30