自然数 $n$ に対して、$7^n - 1$ が $6$ の倍数であることを数学的帰納法で証明する。

数論数学的帰納法整数の性質倍数証明
2025/7/6

1. 問題の内容

自然数 nn に対して、7n17^n - 166 の倍数であることを数学的帰納法で証明する。

2. 解き方の手順

数学的帰納法の手順に従って証明する。
(1) n=1n = 1 のとき:
711=71=67^1 - 1 = 7 - 1 = 6 となり、6666 の倍数であるから、n=1n = 1 のとき(A)は成り立つ。
(2) n=kn = k のとき(A)が成り立つと仮定する。すなわち、7k17^k - 166 の倍数であると仮定する。
7k1=6m7^k - 1 = 6m (m は整数)と表せる。
n=k+1n = k + 1 のとき、7k+117^{k+1} - 166 の倍数であることを示す。
7k+11=77k1=7(6m+1)1=42m+71=42m+6=6(7m+1)7^{k+1} - 1 = 7 \cdot 7^k - 1 = 7(6m + 1) - 1 = 42m + 7 - 1 = 42m + 6 = 6(7m + 1)
7m+17m + 1 は整数なので、6(7m+1)6(7m + 1)66 の倍数である。
したがって、n=k+1n = k + 1 のときも(A)は成り立つ。
(1), (2)より、すべての自然数 nn について、7n17^n - 166 の倍数である。

3. 最終的な答え

すべての自然数 nn について、7n17^n - 166 の倍数である。
(証明終わり)

「数論」の関連問題

集合Aを100から500までの整数のうち、7で割ると余りが5となる数の集合とする。このとき、Aの要素の個数を求めよ。

整数の性質剰余集合
2025/7/14

正の偶数の列を、第 $n$ 群に $(2n - 1)$ 個の数が入るように群に分ける問題です。

数列群分け偶数数の総和
2025/7/13

正の整数 $a, b, c$ が $a \le b \le c$ を満たし、かつ以下の等式を満たすような組 $(a, b, c)$ をすべて求める問題です。 $\frac{1}{a} + \frac{...

分数方程式整数解不等式
2025/7/13

画像には、$\sqrt{2}$ が無理数であることを前提として、$\sqrt{2}+1$ が無理数であることを説明する短い文章が書かれています。

無理数証明背理法数の性質
2025/7/13

$\sqrt{2} + 1$ が有理数であると仮定し、2つの自然数 $m, n$ を用いて $\sqrt{2} + 1 = \frac{n}{m}$ と表せるとする。ただし、$m, n$ は互いに素と...

無理数有理数背理法平方根
2025/7/13

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

合同算術剰余指数
2025/7/13

$N = 25200$ について、以下の問題を解く。 (1) $N$ を素因数分解する。 (2) $N$ の正の約数の個数、偶数の個数、3の倍数の個数、6の倍数の個数を求める。 (3) $N$ の正の...

素因数分解約数約数の個数約数の総和整数の性質
2025/7/13

$\sqrt{2}+\sqrt{3}$ が無理数であることを用いて、$\sqrt{6}$ が無理数であることを背理法を用いて証明する。

無理数背理法平方根証明
2025/7/12

問題は、$\mathbb{Z}/7\mathbb{Z}$ において、$\frac{1}{3}$ に対応する数と、それを用いて $4 \div 3$ を計算するものです。

合同算術剰余環逆元Z/nZ
2025/7/11

連続する2つの奇数の積に1を足すと、4の倍数になることを証明する。

整数の性質倍数証明代数
2025/7/11