함께 배우는 수업 · 수학

수열의 귀납적 정의와 수학적 귀납법

이웃한 항들 사이의 관계식인 점화식(등차·등비·개차·일차변환형)의 해법과, 무한히 많은 모든 자연수 n에 대해 명제가 참임을 도미노 원리로 완벽히 입증하는 수학적 귀납법을 정복합니다.

이 수업에서 해 볼 일

기저 사례와 귀납 단계를 구별해 증명의 구조를 점검한다

먼저 알면 좋은 것: 등차수열과 등비수열의 일반항 · 시그마(Σ)의 성질과 계산 · 부등식의 성질(A > B > C ⟹ A > C)

오늘의 목표

가입 없이 시작할 수 있어요. 설명을 읽고, 함께 연습한 뒤, 처음 보는 문제에서 직접 확인합니다.

판단 과정과 비교 사례

수학적 귀납법은 시작값의 성립과 k에서 k+1로 이어지는 논증을 결합한다. 작은 값 몇 개의 확인만으로 모든 자연수의 성립을 대신할 수 없다.귀납 가정은 n=k에서 성립한다고 잠시 두는 것이다. k+1의 식을 가정한 부분과 새 항으로 나누어 가정을 사용할 자리를 찾는다.점화식은 바로 앞 항에서 다음 항을 만드는 규칙이다. 첫째항이 주어지면 필요한 횟수만큼 반복하며 항 번호와 연산 횟수를 혼동하지 않는다.

1. 개념 정의와 직관적 원리: 수열의 귀납적 정의(점화식)의 4대 기본형

수열

\{a_n\}

을 일반항 공식으로 바로 주는 대신, 첫째항 $a_1$ 의 값과 이웃하는 항들( $a_n$ 과 $a_{n+1}$ ) 사이의 관계식(점화식, Recurrence Relation)으로 정의하는 것을 수열의 귀납적 정의라고 합니다. 점화식의 모양을 보고 어떤 수열인지 1초 만에 번역할 수 있어야 합니다: 1. $a_{n+1} - a_n = d$ (또는 $2a_{n+1} = a_n + a_{n+2}$ ): 이웃한 항의 차가 일정

\implies

공차가

d

인 등차수열! 2. $\frac{a_{n+1}}{a_n} = r$ (또는 $a_{n+1}^2 = a_n a_{n+2}$ ): 이웃한 항의 비가 일정

\implies

공비가

r

인 등비수열! 3. $a_{n+1} = a_n + f(n)$ (차를 더하는 꼴):

n = 1, 2, \dots, n-1

을 대입하여 변끼리 모두 더하면 좌우가 연쇄 소거됩니다:

a_n = a_1 + \sum_{k=1}^{n-1} f(k) \quad (n \ge 2)

4. $a_{n+1} = f(n) \cdot a_n$ (비를 곱하는 꼴):

n = 1, 2, \dots, n-1

을 대입하여 변끼리 모두 곱하면 약분되어 소거됩니다:

a_n = a_1 \times f(1) \times f(2) \times \cdots \times f(n-1)

🎯 요즘 수능 수열 킬러 문항의 트렌드: 점화식이 구간별로 나뉘어 주어진 경우 일반항 공식을 구하는 것이 아니라, a₁부터 a₅, a₆까지 직접 숫자를 대입해 나열하거나(순방향), 반대로 a_k에서 거꾸로 가지치기하며 역추적(역방향)하여 규칙성과 주기성을 찾는 것입니다!

2. 핵심 공식 유도 및 성질: 수학적 귀납법(Mathematical Induction)의 도미노 증명 원리

자연수

n

에 대한 명제

P(n)

이 모든 자연수 $n$ ( $1, 2, 3, \dots$ )에 대하여 참임을 증명하려 할 때, 무한히 많은 자연수를 일일이 다 대입해 볼 수는 없습니다. 이때 사용하는 가장 엄밀한 연역적 증명법이 수학적 귀납법이며, 이는 끝없이 줄 세워진 도미노 블록 쓰러뜨리기와 완벽히 같은 원리입니다: 1. 제1단계 (기저 단계, Base Case — 첫 번째 도미노 쓰러뜨리기):

n = 1

(또는 초기 자연수

n = n_0

)일 때 명제 $P(1)$ 이 성립함을 좌변과 우변에 직접 대입하여 확인합니다. 2. 제2단계 (귀납 단계, Inductive Step — $k$ 번째가 쓰러지면 $k+1$ 번째도 쓰러짐을 증명): 임의의 자연수

n = k

일 때 명제 $P(k)$ 가 성립한다고 가정(귀납 가정)합니다. 이 가정 식을 반드시 사용하여 $n = k + 1$ 일 때도 명제 $P(k+1)$ 이 성립함을 대수적으로 유도합니다. 위 두 단계가 증명되면, 1단계에 의해

P(1)

이 참이고

\to

2단계에 의해

P(2)

가 참

\to

P(3)

이 참

\to \cdots

도미노처럼 연쇄 작용이 일어나 모든 자연수 $n$ 에 대하여 $P(n)$ 이 참임이 완벽히 보장됩니다!

예제로 살펴보기

점화식 a_1 = 2, a_{n+1} = a_n + 2n (n ≥ 1) 으로 정의된 수열 {a_n}에 대하여 제10항 a_10의 값을 구하시오.

1) a_{n+1} - a_n = 2n 꼴이므로 n = 1부터 n = 9까지 대입하여 변끼리 모두 더합니다(또는 공식 a_n = a_1 + Σ_{k=1}^{n-1} f(k) 사용): - n = 1: a_2 - a_1 = 2 × 1 - n = 2: a_3 - a_2 = 2 × 2 - ... - n = 9: a_10 - a_9 = 2 × 9 2) 위 9개의 식을 변끼리 모두 더하면 좌변이 연쇄 소거되어: a_10 - a_1 = 2 × (1 + 2 + 3 + ... + 9) = 2 × (9 × 10 / 2) = 90 3) a_1 = 2 이므로 a_10 = 2 + 90 = 92 입니다.

확인: 점화식 a_{n+1} - a_n = d 는 등차수열, a_{n+1}/a_n = r 은 등비수열을 나타내는 귀납적 정의이다.

3. 심화 응용 및 실전 빈출 함정 분석: 등식·부등식 귀납법 빈칸 추론 공략법

수능과 내신에서는 수학적 귀납법 증명 과정의 빈칸 (가), (나), (다)를 채우는 문제가 출제됩니다. 등식 증명과 부등식 증명의 메커니즘 차이를 정확히 알아야 100% 맞힐 수 있습니다! 1) 등식의 수학적 귀납법 ( $A(k) = B(k)$ 증명): -

n = k

일 때의 가정 식

A(k) = B(k)

의 양변에 똑같이 ' $n = k+1$ 일 때 좌변에 새로 추가된 항'을 더하거나 곱합니다. - 그런 다음 우변을 통분·인수분해하여 정리한 결과가 원래 우변 식 $B(n)$ 의 $n$ 자리에 $(k + 1)$ 을 대입한 모양 $B(k+1)$ 과 똑같아지면 증명이 끝납니다! (따라서 마지막 줄 빈칸은 앞뒤 계산을 안 봐도 무조건 우변에

n = k+1

을 대입한 식입니다!) 2) 부등식의 수학적 귀납법 ( $A(k) > B(k)$ 증명 — 최빈출 함정!): 부등식에서는 양변에 같은 식을 더한 뒤 우변을 정리해도 목표 식

B(k+1)

과 바로 같아지지 않습니다! 이때는 삼단논법( $A(k+1) > M(k) > B(k+1)$ )을 사용합니다: -

n = k

가정 식의 양변에 추가 항을 더하여 얻은 중간 우변 식을 $M(k)$ 라 합니다. - 우리가 최종적으로 보이고 싶은 목표 우변 식을 $B(k+1)$ 이라 합니다. - 중간 식에서 목표 식을 뺀 차 $M(k) - B(k+1) > 0$ (즉 $M(k) > B(k+1)$ )임을 보임으로써 결론적으로

A(k+1) > B(k+1)

을 완성합니다!✏️ 귀납법 빈칸 추론 10초 치트키: ① '양변에 (가)를 더하면'의 (가)는 n=k일 때 좌변과 n=k+1일 때 좌변을 비교해 새로 추가된 마지막 항(보통 k+1번째 항)입니다! ② 증명 맨 마지막 줄의 목표 빈칸 (다)는 증명하려는 원래 명제의 우변 식에 n 대신 (k+1)을 그대로 집어넣은 식입니다!

참고 근거와 확인 범위

MIT · Mathematics for Computer Science · Induction ↗
수학적 귀납법의 기본 단계와 귀납 단계: 교재 5장

설명·예제·문제 구성 및 오류 수정 책임: 프리런. 위 자료는 표시한 주제를 확인하거나 더 읽기 위한 근거이며, 외부 기관의 공식 수업이나 감수본을 뜻하지 않습니다.

참고 자료 연결 점검: 2026-11-02. 제작 방식·검수 범위와 수정 기록에서 확인 범위를 볼 수 있습니다. 오류는 상단의 의견 보내기 또는 contact@freelearn.io로 알려 주세요.

이 단원의 개념서 읽기 →