문제 은행 · 기초 수학 · 대수 · 수열

수학적 귀납법

먼저 혼자 풀어 보고, 풀이로 확인한 다음, 아래 「한 번 더」 문제로 이어서 연습하세요.

Sundstrom, Mathematical Reasoning · 4.1절 · 3a번영어 원문

Use mathematical induction to prove each of the following:

For each natural number nn, 2+5+8+⋯+(3n−1)=n(3n+1)22 + 5 + 8 + \cdots + \left( {3n - 1} \right) = \dfrac{{n\left( {3n + 1} \right)}}{2}.

정답·풀이 보기 (영어 원문)

For each n∈Nn \in \mathbb{N}, let P(n)P( n ) be, 2+5+8+⋯+(3n−1)=n(3n+1)22 + 5 + 8 + \cdots + (3n - 1) = \dfrac{{n( {3n + 1} )}}{2}. When we use n=1n = 1, the summation on the left side of the equation is 2, and the right side is 1(3⋅1+1)2=2\dfrac{1(3 \cdot 1 + 1)}{2} = 2. Therefore, P(1)P( 1 ) is true. For the inductive step, let k∈Nk \in \mathbb{N} and assume that P(k)P \left( k \right) is true. Then,

2+5+8+⋯+(3k−1)=k(3k+1)22 + 5 + 8 + \cdots + \left( {3k - 1} \right) = \frac{{k \left( {3k + 1} \right)}}{2}

. We now add 3(k+1)−13 \left( k + 1 \right) - 1 to both sides of this equation. This gives

2+5+8+⋯+(3k−1)+3(k+1)−1=k(3k+1)2+(3(k+1)−1)=k(3k+1)2+(3k+2)\begin{aligned}2 + 5 + 8 + \cdots + (3k - 1) & \\ + 3 \left( {k + 1} \right)-1 & = \frac{{k \left( {3k + 1} \right)}}{2} + \left( 3 \left( k + 1 \right) - 1 \right) \\ & = \frac{{k \left( {3k + 1} \right)}}{2} + \left( {3k + 2} \right)\end{aligned}

If we now combine the terms on the right side of the equation into a single fraction, we obtain

2+5+⋯+(3k−1)+3(k+1)−1=k(3k+1)+6k+42=3k2+7k+42=(k+1)(3k+4)2=(k+1)(3(k+1)+1)2\begin{aligned}2 + 5 + \cdots + \left( {3k - 1} \right) + 3 \left( {k + 1} \right)-1 & = \frac{k \left( 3k + 1 \right) + 6k+4}{2} \\ & = \frac{ 3k^2 + 7k + 4}{2} \\ & = \frac{ \left( k + 1 \right) \left( 3k + 4 \right)}{2} \\ & = \frac{ \left( k + 1 \right) \left( 3 \left( k + 1 \right) + 1 \right)}{2}\end{aligned}

This proves that if P(k)P\left( k \right) is true, then P(k+1)P\left( {k + 1} \right) is true.

한 번 더 — 비슷한 문제Sundstrom, Mathematical Reasoning · 4.1절 · 2b번영어 원문

Explain the following.

Is the empty set inductive?

다 풀었으면 정답 확인

The empty set is inductive (why?).

이 문제로 이어서 풀기
# 수학적 귀납법증명·논술자동 분류

「수학적 귀납법」 문제 목록으로