すべての自然数 $n$ について、$3^{3n} - 2^n$ が25の倍数であることを数学的帰納法を用いて示す。

数論数学的帰納法整数の性質倍数
2025/6/1

1. 問題の内容

すべての自然数 nn について、33n2n3^{3n} - 2^n が25の倍数であることを数学的帰納法を用いて示す。

2. 解き方の手順

(1) n=1n=1 のとき、33×121=272=253^{3\times1} - 2^1 = 27 - 2 = 25 となり、25の倍数であるから成り立つ。
(2) n=kn=k (kkは自然数) のとき、33k2k3^{3k} - 2^k が25の倍数であると仮定する。すなわち、ある整数 mm を用いて、33k2k=25m3^{3k} - 2^k = 25m と表せると仮定する。
(3) n=k+1n=k+1 のとき、33(k+1)2k+13^{3(k+1)} - 2^{k+1} が25の倍数となることを示す。
33(k+1)2k+1=33k+32k+1=33×33k2×2k=27×33k2×2k3^{3(k+1)} - 2^{k+1} = 3^{3k+3} - 2^{k+1} = 3^3 \times 3^{3k} - 2 \times 2^k = 27 \times 3^{3k} - 2 \times 2^k
帰納法の仮定より、33k=25m+2k3^{3k} = 25m + 2^k なので、これを代入する。
33(k+1)2k+1=27(25m+2k)2×2k=27×25m+27×2k2×2k=27×25m+25×2k=25(27m+2k)3^{3(k+1)} - 2^{k+1} = 27(25m + 2^k) - 2 \times 2^k = 27 \times 25m + 27 \times 2^k - 2 \times 2^k = 27 \times 25m + 25 \times 2^k = 25(27m + 2^k)
27m+2k27m + 2^k は整数なので、33(k+1)2k+13^{3(k+1)} - 2^{k+1} は25の倍数である。
したがって、n=k+1n=k+1 のときも成り立つ。
(1)(2)(3)より、すべての自然数 nn について、33n2n3^{3n} - 2^n は25の倍数である。

3. 最終的な答え

すべての自然数 nn について、33n2n3^{3n} - 2^n は25の倍数である。

「数論」の関連問題

$m$, $n$, $k$ は自然数とする。命題「積 $mnk$ が偶数ならば、$m$, $n$, $k$ の少なくとも1つは偶数である」の逆、対偶、裏をそれぞれ述べ、それらの真偽を調べよ。

命題対偶偶数奇数自然数真偽
2025/8/1

自然数 $a_1, a_2$ に対して、漸化式 $a_{k+2} = |a_{k+1} - a_k|$ ($k = 1, 2, ...$) によって数列 $\{a_k\}$ を定める。この数列において...

漸化式数列絶対値最大公約数
2025/8/1

$\sqrt{7}$ が無理数であることを証明します。ただし、$n$ を自然数とするとき、$n^2$ が 7 の倍数ならば、$n$ は 7 の倍数であることを用いてよいものとします。

無理数背理法平方根有理数素数
2025/8/1

$\sqrt{7}$ が無理数であることを用いて、$\sqrt{5} + \sqrt{7}$ が無理数であることを証明する問題です。

無理数背理法平方根有理数
2025/8/1

整数 $a$, $b$ について、積 $ab$ が 3 の倍数ならば、$a$ または $b$ は 3 の倍数であることを、対偶を考えることによって証明する。

整数の性質倍数対偶証明
2025/8/1

自然数Cを7で割ると余りが1になる。自然数C+Dは7で割り切れる。自然数Dを7で割ったときの余りを求めよ。

剰余整数の性質割り算
2025/8/1

4桁の自然数があり、その千の位の数と一の位の数を入れ替えてできる数を元の数から引いた差は、何の倍数になるかを求め、その最大の倍数を答える。

倍数整数の性質桁の入れ替え4桁の自然数
2025/8/1

自然数 $x$ と $y$ があり、$x$ は 7 の倍数、$y$ は 19 の倍数で、$xy = 3724$ を満たす。$x$ と $y$ が 1 以外の公約数を持たないとき、$x$ と $y$ の...

整数の性質素因数分解公約数倍数互いに素
2025/8/1

$n$ は整数であるとする。$n^2$ が $3$ の倍数ならば、$n$ は $3$ の倍数であることを証明する問題です。

整数の性質倍数対偶証明
2025/8/1

(1) $\overline{A} \cap \overline{B}$ (2) $A \cap B$ (3) $A$

集合整数の性質包除原理倍数
2025/8/1