수열의 귀납적 정의와 수학적 귀납법
개념 정의와 직관적 원리: 수열의 귀납적 정의(점화식)의 4대 기본형
수열 을 일반항 공식으로 바로 주는 대신, 첫째항 의 값과 이웃하는 항들(과 ) 사이의 관계식(점화식, Recurrence Relation)으로 정의하는 것을 수열의 귀납적 정의라고 합니다.
점화식의 모양을 보고 어떤 수열인지 1초 만에 번역할 수 있어야 합니다:
핵심 공식 유도 및 성질: 수학적 귀납법(Mathematical Induction)의 도미노 증명 원리
자연수 에 대한 명제 이 모든 자연수 ()에 대하여 참임을 증명하려 할 때, 무한히 많은 자연수를 일일이 다 대입해 볼 수는 없습니다. 이때 사용하는 가장 엄밀한 연역적 증명법이 수학적 귀납법이며, 이는 끝없이 줄 세워진 도미노 블록 쓰러뜨리기와 완벽히 같은 원리입니다:
(또는 초기 자연수 )일 때 명제 이 성립함을 좌변과 우변에 직접 대입하여 확인합니다.
임의의 자연수 일 때 명제 가 성립한다고 가정(귀납 가정)합니다. 이 가정 식을 반드시 사용하여 일 때도 명제 이 성립함을 대수적으로 유도합니다.
위 두 단계가 증명되면, 1단계에 의해 이 참이고 2단계에 의해 가 참 이 참 도미노처럼 연쇄 작용이 일어나 모든 자연수 에 대하여 이 참임이 완벽히 보장됩니다!
1) a_{n+1} - a_n = 2n 꼴이므로 n = 1부터 n = 9까지 대입하여 변끼리 모두 더합니다(또는 공식 a_n = a_1 + Σ_{k=1}^{n-1} f(k) 사용):
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 입니다.
심화 응용 및 실전 빈출 함정 분석: 등식·부등식 귀납법 빈칸 추론 공략법
수능과 내신에서는 수학적 귀납법 증명 과정의 빈칸 (가), (나), (다)를 채우는 문제가 출제됩니다. 등식 증명과 부등식 증명의 메커니즘 차이를 정확히 알아야 100% 맞힐 수 있습니다!
부등식에서는 양변에 같은 식을 더한 뒤 우변을 정리해도 목표 식 과 바로 같아지지 않습니다! 이때는 삼단논법()을 사용합니다:
핵심 요약
- ✓점화식 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)을 보여 삼단논법으로 증명한다.