수학>심화 4>33. 수열의 귀납적 정의와 수학적 귀납법
개념 정리

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

단원 개요
이웃한 항들 사이의 관계식인 점화식(등차·등비·개차·일차변환형)의 해법과, 무한히 많은 모든 자연수 n에 대해 명제가 참임을 도미노 원리로 완벽히 입증하는 수학적 귀납법을 정복합니다.
선수 개념
필수 키워드:첫째항 a1a_1의 값으로 정의하는 것을an+1−an=da_{n+1} - a_n = d등차수열등비수열an+1=an+f(n)a_{n+1} = a_n + f(n)더하면곱하면수학적 귀납법도미노 블록 쓰러뜨리기
1

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

수열 {an}\{a_n\}을 일반항 공식으로 바로 주는 대신, 첫째항 a1a_1의 값과 이웃하는 항들(ana_n과 an+1a_{n+1}) 사이의 관계식(점화식, Recurrence Relation)으로 정의하는 것을 수열의 귀납적 정의라고 합니다.

점화식의 모양을 보고 어떤 수열인지 1초 만에 번역할 수 있어야 합니다:

1
an+1−an=da_{n+1} - a_n = d (또는 2an+1=an+an+22a_{n+1} = a_n + a_{n+2}): 이웃한 항의 차가 일정   ⟹  \implies 공차가 dd인 등차수열!
2
an+1an=r\frac{a_{n+1}}{a_n} = r (또는 an+12=anan+2a_{n+1}^2 = a_n a_{n+2}): 이웃한 항의 비가 일정   ⟹  \implies 공비가 rr인 등비수열!
3
an+1=an+f(n)a_{n+1} = a_n + f(n) (차를 더하는 꼴): n=1,2,…,n−1n = 1, 2, \dots, n-1을 대입하여 변끼리 모두 더하면 좌우가 연쇄 소거됩니다:
an=a1+∑k=1n−1f(k)(n≥2)a_n = a_1 + \sum_{k=1}^{n-1} f(k) \quad (n \ge 2)
4
an+1=f(n)⋅ana_{n+1} = f(n) \cdot a_n (비를 곱하는 꼴): n=1,2,…,n−1n = 1, 2, \dots, n-1을 대입하여 변끼리 모두 곱하면 약분되어 소거됩니다:
an=a1×f(1)×f(2)×⋯×f(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)의 도미노 증명 원리

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

1
제1단계 (기저 단계, Base Case — 첫 번째 도미노 쓰러뜨리기):

n=1n = 1 (또는 초기 자연수 n=n0n = n_0)일 때 명제 P(1)P(1)이 성립함을 좌변과 우변에 직접 대입하여 확인합니다.

2
제2단계 (귀납 단계, Inductive Step — kk번째가 쓰러지면 k+1k+1번째도 쓰러짐을 증명):

임의의 자연수 n=kn = k일 때 명제 P(k)P(k)가 성립한다고 가정(귀납 가정)합니다. 이 가정 식을 반드시 사용하여 n=k+1n = k + 1일 때도 명제 P(k+1)P(k+1)이 성립함을 대수적으로 유도합니다.

위 두 단계가 증명되면, 1단계에 의해 P(1)P(1)이 참이고 →\to 2단계에 의해 P(2)P(2)가 참 →\to P(3)P(3)이 참 →⋯\to \cdots 도미노처럼 연쇄 작용이 일어나 모든 자연수 nn에 대하여 P(n)P(n)이 참임이 완벽히 보장됩니다!

풀이

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 입니다.

3

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

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

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

부등식에서는 양변에 같은 식을 더한 뒤 우변을 정리해도 목표 식 B(k+1)B(k+1)과 바로 같아지지 않습니다! 이때는 삼단논법(A(k+1)>M(k)>B(k+1)A(k+1) > M(k) > B(k+1))을 사용합니다:

•
n=kn = k 가정 식의 양변에 추가 항을 더하여 얻은 중간 우변 식을 M(k)M(k)라 합니다.
•
우리가 최종적으로 보이고 싶은 목표 우변 식을 B(k+1)B(k+1)이라 합니다.
•
중간 식에서 목표 식을 뺀 차 M(k)−B(k+1)>0M(k) - B(k+1) > 0 (즉 M(k)>B(k+1)M(k) > B(k+1))임을 보임으로써 결론적으로 A(k+1)>B(k+1)A(k+1) > B(k+1)을 완성합니다!
학습 도움말
✏️ 귀납법 빈칸 추론 10초 치트키: ① '양변에 (가)를 더하면'의 (가)는 n=k일 때 좌변과 n=k+1일 때 좌변을 비교해 새로 추가된 마지막 항(보통 k+1번째 항)입니다! ② 증명 맨 마지막 줄의 목표 빈칸 (다)는 증명하려는 원래 명제의 우변 식에 n 대신 (k+1)을 그대로 집어넣은 식입니다!

핵심 요약

  • ✓
    점화식 a_{n+1} - a_n = d 는 등차수열, a_{n+1}/a_n = r 은 등비수열을 나타내는 귀납적 정의이다.
  • ✓
    a_{n+1} = a_n + f(n) 꼴은 n=1부터 n-1까지 대입해 변끼리 더하여 a_n = a_1 + Σ_{k=1}^{n-1} f(k) 로 푼다.
  • ✓
    수학적 귀납법은 ① n=1일 때 성립 확인, ② n=k일 때 성립 가정 후 n=k+1일 때 성립 유도의 2단계로 이루어진다.
  • ✓
    부등식의 귀납법 증명에서는 양변에 항을 더한 중간 식 M(k)가 목표 우변 B(k+1)보다 큼(M(k) - B(k+1) > 0)을 보여 삼단논법으로 증명한다.

설명 다음에는 직접 풀어 보세요

함께 풀기와 자기 설명을 거쳐 새 문제에 도전해요. 막힌 부분은 보충하고, 다른 날 다시 기억하는지 확인할 수 있어요.

이 단원의 수업 시작하기 →
5문항 연습 세트

33. 수열의 귀납적 정의와 수학적 귀납법 단원 연습 문제

개념을 읽은 뒤 연습 문제로 이해한 내용을 확인해 보세요. 한 세트는 5문항이며, 답안을 제출하면 정답과 풀이를 볼 수 있습니다.

한 세트 5문항 단계별 상세 해설 시험지 PDF 인쇄 지원

참고 근거와 확인 범위

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

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