数列 $\{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_n4343 で割り切れることを示す。

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 \div 43 = 13 なので、a1a_14343 で割り切れる。
(2) n=kn = k のとき、ak=6k+2+72k+1a_k = 6^{k+2} + 7^{2k+1}4343 で割り切れると仮定する。
すなわち、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}4343 で割り切れることを示す。
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+1=643m+4372k+1=43(6m+72k+1)a_{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} = 6 \cdot 43m + 43 \cdot 7^{2k+1} = 43 (6m + 7^{2k+1})
6m+72k+16m + 7^{2k+1} は整数であるから、ak+1a_{k+1}4343 で割り切れる。
したがって、数学的帰納法により、全ての自然数 nn に対して、an=6n+2+72n+1a_n = 6^{n+2} + 7^{2n+1}4343 で割り切れる。

3. 最終的な答え

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

「数論」の関連問題

集合$B$は、$n$が0以上の整数であるときに、$3n+1$の形で表される要素から構成されています。つまり、$B = \{3n+1 | n = 0, 1, 2, 3, ...\}$ です。この集合$B...

集合整数の性質数列
2025/6/3

この問題は、不定方程式 $13x - 17y = 1$ の整数解 $(x, y)$ について考察する問題です。 (1) 特殊解を求め、(2) 一般解を求め、(3) $x$ と $y$ がともに2桁の正...

不定方程式整数解互除法一般解
2025/6/3

4桁の自然数 $n$ の千の位、百の位、十の位、一の位の数字をそれぞれ $a, b, c, d$ とします。次の条件を満たす $n$ は全部で何個あるか。 (1) $a > b > c > d$ (2...

組み合わせ整数
2025/6/3

(1) 193 と 135 の最大公約数を求める。 (2) 不定方程式 $193x + 135y = 1$ の整数解のうち、$x$ が最小の自然数であるものを求め、一般解を求める。さらに、$x, y$...

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

$p$ を素数、$a$ を整数とするとき、以下の関係が成り立つことを証明します。また、4.については、不等号が等号になる場合とそうでない場合の例を挙げます。 1. $\mathrm{ord}_p(-...

素数ord最大公約数(gcd)最小公倍数(lcm)整数の性質
2025/6/3

$520x \equiv 1 \pmod{17}$ を満たす $x$ を求める問題です。

合同式逆元拡張ユークリッドの互除法
2025/6/3

任意の奇素数 $p$ に対して、トレース $a_p = 0$ をもつアーベル多様体 $A/\mathbb{Q}$ が存在するならば、それらをパラメータ化する族 $\{A_p\}$ を明示的に構成せよ。

数論アーベル多様体ハッセ・ヴェイユL関数楕円曲線虚数乗法モジュラー形式トレース
2025/6/2

任意の奇素数 $p$ に対して、以下の条件を満たすアーベル多様体 $A$ が存在するかを問う問題です。 * $A$ は $\mathbb{Q}$ 上定義されている。 * $A$ の次元...

数論幾何アーベル多様体楕円曲線有限体L関数自己準同型環虚数乗法
2025/6/2

命題「$x$が12と18の公約数 $\Rightarrow$ $x$は6の約数」の逆、裏、対偶をそれぞれ選択肢の中から選びます。

命題論理約数公約数対偶
2025/6/2

命題「$x$が素数 $\Rightarrow$ $x$は奇数」の逆、裏、対偶をそれぞれ選択肢の中から選ぶ問題です。

命題論理素数対偶
2025/6/2