すべての自然数 $n$ に対して、$2^{2n+1} + 3(-1)^n$ が5の倍数であることを数学的帰納法を用いて証明する。

数論数学的帰納法整数の性質倍数
2025/7/16

1. 問題の内容

すべての自然数 nn に対して、22n+1+3(1)n2^{2n+1} + 3(-1)^n が5の倍数であることを数学的帰納法を用いて証明する。

2. 解き方の手順

(1) n=1n=1 のとき
22(1)+1+3(1)1=23+3(1)=83=52^{2(1)+1} + 3(-1)^1 = 2^3 + 3(-1) = 8 - 3 = 5
5は5の倍数なので、n=1n=1 のとき成り立つ。
(2) n=kn=k のとき、22k+1+3(1)k2^{2k+1} + 3(-1)^k が5の倍数であると仮定する。
つまり、22k+1+3(1)k=5m2^{2k+1} + 3(-1)^k = 5mmmは整数)と表せると仮定する。
(3) n=k+1n=k+1 のときを考える。
22(k+1)+1+3(1)k+1=22k+3+3(1)k+12^{2(k+1)+1} + 3(-1)^{k+1} = 2^{2k+3} + 3(-1)^{k+1}
=2222k+1+3(1)(1)k=422k+13(1)k= 2^2 \cdot 2^{2k+1} + 3(-1)(-1)^k = 4 \cdot 2^{2k+1} - 3(-1)^k
ここで、22k+1=5m3(1)k2^{2k+1} = 5m - 3(-1)^k (仮定より) なので、
422k+13(1)k=4(5m3(1)k)3(1)k=20m12(1)k3(1)k4 \cdot 2^{2k+1} - 3(-1)^k = 4(5m - 3(-1)^k) - 3(-1)^k = 20m - 12(-1)^k - 3(-1)^k
=20m15(1)k=5(4m3(1)k)= 20m - 15(-1)^k = 5(4m - 3(-1)^k)
4m3(1)k4m - 3(-1)^k は整数なので、5(4m3(1)k)5(4m - 3(-1)^k) は5の倍数である。
したがって、n=k+1n=k+1 のときも、22(k+1)+1+3(1)k+12^{2(k+1)+1} + 3(-1)^{k+1} は5の倍数である。
(1)(2)(3)より、すべての自然数nnに対して、22n+1+3(1)n2^{2n+1} + 3(-1)^nは5の倍数である。

3. 最終的な答え

すべての自然数nnに対して、22n+1+3(1)n2^{2n+1} + 3(-1)^nは5の倍数である。

「数論」の関連問題

問題は、3500の正の約数について、(1) 約数の個数を求め、(2) 約数の総和を求める、というものです。

約数素因数分解約数の個数約数の総和
2025/7/20

与えられた数 $-\sqrt{63}$ が有理数か無理数かを判定する問題です。

平方根無理数有理数数の分類
2025/7/20

整数 $n$ と実数 $\alpha$ が、$2-\sqrt{10-n} + \alpha$ が整数であり、$0 \le \alpha < 1$ を満たすとき、$n$ と $\alpha$ の値を求め...

整数の性質平方根代数
2025/7/19

$\sqrt{\frac{240-3n}{2}}$ の値が整数となるような自然数 $n$ のうちで、最も小さい値を求めます。

平方根整数の性質代数
2025/7/19

自然数 $N$ を5進法で表すと3桁の数 $abc_{(5)}$ となり、7進法で表すと3桁の数 $cab_{(7)}$ となる。このとき、自然数 $N$ と、整数 $a, b, c$ を求める問題で...

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

(1) 整数 $m$ に対して、$m^2$ を4で割った余りは0または1であることを示す。 (2) 自然数 $n, k$ が $25 \times 3^n = k^2 + 176$ を満たすとき、$n...

整数の性質合同式二次不定方程式
2025/7/18

問題は、整数 $x$ について、「$x$ が 6 の倍数ならば、$x$ は 3 の倍数である」という命題の真偽を判定するものです。

倍数整数の性質命題真偽判定
2025/7/18

$5^{100}$ を $7$ で割ったときの余りを求めます。

合同式剰余累乗
2025/7/18

20の倍数で、正の約数の個数が15個である自然数nをすべて求めよ。

約数倍数素因数分解整数の性質
2025/7/18

問題は以下の2つです。 (1) $5^{105}$ は何桁の整数であるか。また、その最高位の数字は何か。 (2) $(\frac{1}{5})^{105}$ は小数第何位に初めて0でない数が現れるか。...

対数桁数最高位の数字常用対数
2025/7/17