数列 $\{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=559a_1 = 6^{1+2} + 7^{2(1)+1} = 6^3 + 7^3 = 216 + 343 = 559
559=43×13559 = 43 \times 13 なので、a1a_1 は 43 で割り切れます。
(2) n=kn=k のとき、aka_k が 43 で割り切れると仮定します。すなわち、ak=6k+2+72k+1=43ma_k = 6^{k+2} + 7^{2k+1} = 43m (m は整数) と仮定します。
(3) n=k+1n=k+1 のとき、ak+1a_{k+1} が 43 で割り切れることを示します。
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}
ak+1=66k+2+7272k+1=66k+2+4972k+1a_{k+1} = 6 \cdot 6^{k+2} + 7^2 \cdot 7^{2k+1} = 6 \cdot 6^{k+2} + 49 \cdot 7^{2k+1}
ak+1=66k+2+4972k+1=66k+2+672k+1+4372k+1=6(6k+2+72k+1)+4372k+1a_{k+1} = 6 \cdot 6^{k+2} + 49 \cdot 7^{2k+1} = 6 \cdot 6^{k+2} + 6 \cdot 7^{2k+1} + 43 \cdot 7^{2k+1} = 6(6^{k+2} + 7^{2k+1}) + 43 \cdot 7^{2k+1}
ここで、帰納法の仮定より、6k+2+72k+1=ak=43m6^{k+2} + 7^{2k+1} = a_k = 43m なので、
ak+1=6(43m)+4372k+1=43(6m+72k+1)a_{k+1} = 6(43m) + 43 \cdot 7^{2k+1} = 43(6m + 7^{2k+1})
6m+72k+16m + 7^{2k+1} は整数なので、ak+1a_{k+1} は 43 で割り切れます。
したがって、数学的帰納法により、すべての自然数 nn に対して、ana_n は 43 で割り切れます。

3. 最終的な答え

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

「数論」の関連問題

(1) ユークリッドの互除法を用いて、8177と3315の最大公約数を求める問題。 (2) $589/899$ を既約分数で表す問題。 (3) $17x + 5y = 1$ の整数解を全て求める問題。...

最大公約数ユークリッドの互除法既約分数不定方程式整数解
2025/7/9

問題は以下の通りです。 (1) $a, b$ は整数で、$a$ を7で割ると1余り、$b$ を7で割ると4余るとき、$a^2 + b^2$ を7で割った余りを求めよ。 (2) 1, 3, 5のように連...

合同算術剰余整数の性質倍数
2025/7/9

整数 $n$ に対して、「$n^2$ が奇数ならば、$n$ は奇数である」という命題を証明する。

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

$5m + 19$ と $4m + 18$ の最大公約数が $7$ となるような $100$ 以下の自然数 $m$ の個数を求める問題です。

最大公約数互除法整数の性質
2025/7/8

ルジャンドル記号 $\left( \frac{29}{131} \right)$ の値を、与えられた手順に従って計算し、空欄①から⑤に当てはまる数を求める問題です。

ルジャンドル記号平方剰余の相互法則合同算術
2025/7/8

実数 $a$ が与えられたとき、「任意の自然数 $n$ に対し、常に $\frac{m}{n} \le a$ を満たす自然数 $m$ が存在する」という命題が、$a \ge 1$ であるための何条件で...

命題自然数必要十分条件不等式床関数
2025/7/8

与えられた2つの命題の真偽を判定する問題です。 * 命題1: $n$ が3の倍数ならば、$n^2$ も3の倍数である。 * 命題2: 自然数 $n$ が素数ならば、$n+1$ は素数ではない。

命題真偽素数倍数整数の性質
2025/7/8

$\sqrt{53-2n}$ が整数となるような自然数 $n$ の個数を求める問題です。

平方根整数の性質平方数
2025/7/8

$n$ は自然数とする。$\sqrt{\frac{3024}{n}}$ が自然数となるような $n$ をすべて求めよ。

平方根約数素因数分解整数の性質
2025/7/8

7進法で表すと $abc_{(7)}$ となり、5進法で表すと $bca_{(5)}$ となる数を10進法で表す。

進法整数方程式数の表現
2025/7/8