数列 $\{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で割り切れる。

「数論」の関連問題

$n$ は自然数とします。$\sum_{k=1}^{2^n} \frac{1}{k} \geq \frac{n}{2} + 1$ を数学的帰納法によって証明してください。

数学的帰納法級数不等式
2025/8/5

4桁の自然数 $N$ が8の倍数であるかどうかを判定する方法(問題文中の「上の方法」)について、その理由を説明する問題です。ここで言う「上の方法」とは、下3桁が8の倍数かどうかで判定する方法を指します...

整数の性質倍数判定8の倍数
2025/8/5

整数 $n$ について、命題「$n^2$ が偶数ならば、$n$ は偶数である」ことを示す問題です。

整数偶数奇数命題対偶証明
2025/8/5

1から15までの整数が書かれた15枚のカードが並んでいます。最初に全てのカードを裏返し、次に左から2番目ごと、3番目ごと、…、15番目ごとにカードを裏返します。 (1) 裏になっているカードがひっくり...

約数平方数整数の性質
2025/8/5

自然数 $m$, $n$ について、以下の条件 $p$, $q$, $r$ が与えられています。 $p$: $m+n$ は2で割り切れる $q$: $n$ は4で割り切れる $r$: $m$ は2で割...

整数の性質命題必要条件十分条件偶数奇数倍数
2025/8/5

与えられた数 1225 と 2002 を素因数分解せよ。

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

自然数 $n$ と28の最小公倍数が168となるような $n$ をすべて求める問題です。$n = ab$ とし、$n$ と28の最大公約数を $a$ とおき、$28 = 2^2 \times 7$ で...

最小公倍数最大公約数約数公倍数整数の性質
2025/8/5

(2) 72の正の約数の総和を求める。 (3) 等式 $2xy + 2x - 3y - 15 = 0$ を満たす整数 $x$, $y$ の組の個数を求める。

約数素因数分解整数の性質方程式
2025/8/5

与えられた画像は、リーマン予想の全法理論による証明式を表しています。式は、論理的自然変換 $\eta_{riemann}$ を用いて、理論進化作用素 $\Theta$ がリーマン予想命題 $\varp...

リーマン予想数式証明
2025/8/4

画像に書かれているのは、リーマン予想の全法理論による証明式の概要とその解釈です。具体的には、証明式 $\eta_{riemann}: \Theta(\varphi_{riemann}) \Righta...

リーマン予想全法理論証明記号解釈
2025/8/4