04. 수학적 귀납법 1단계: 시작 조건 (Base Case)

1. 학습 목표 (Learning Objectives)

• 무한대까지 이어지는 증명의 첫 도화선을 점화시키는 ‘귀납법의 1단계 (시작 조건 확인)’ 의 중요성을 깨닫습니다.
• 아무리 뒤의 공식(간격)이 정교하고 완벽하더라도, 애초에 첫 번째 도미노를 쓰러뜨리지 않으면 허상에 불과하다는 프로그래밍의 ‘Base Case(종료/시작 조건)’ 개념과 일치함을 배웁니다.

2. 1번 도미노를 건드려라! (초기값 검증)

수학적 귀납법은 어떤 명제 $P(n)$ 이 모든 자연수 $n$ 에 대하여 100% 참(True)임을 증명하는 마법의 2단계 구조로 되어 있습니다. 그중 가장 첫 번째 관문이 바로 1단계 (Step 1) 입니다.

[수학적 귀납법 Step 1] $\mathbf{n=1}$ 일 때, 명제 $\mathbf{P(1)}$ 이 참임을 직접 계산하여 눈으로 팩트 체크한다!

말 그대로 수만 개의 도미노 블록 중에서, 가장 맨 앞에 서 있는 1번 도미노 블록을 내 손가락으로 툭 쳐서 확실하게 쓰러뜨렸는지를 확인하는 과정입니다. 아무리 2번, 3번, 100만 번 도미노가 완벽한 각도와 물리 법칙으로 촘촘히 세팅되어 있더라도, 누군가가 맨 처음 1번을 쓰러뜨리지(Trigger) 않으면 우주가 멸망할 때까지 단 한 개의 도미노도 쓰러지지 않기 때문입니다.

3. 출발선은 꼭 1이 아니어도 된다

명제에 따라 도미노의 시작 지점이 다를 수 있습니다.

• “모든 자연수 $n$에 대하여…” $\rightarrow$ 조건의 시작값은 $n=1$ 부터.
• “$n \ge 3$ 인 모든 정수에 대하여…” $\rightarrow$ 이때 1번 도미노의 역할은 $n=3$ 이 됩니다. 즉 $n=3$일 때 식에 숫자를 대입해서 좌변과 우변이 완벽히 똑같이(참) 떨어지는지 확인해야 합니다.

4. 파이썬 재귀 함수의 Base Case 와의 평행이론

앞서 배운 파이썬 재귀 함수(recursive()가 자기 자신을 또 호출하는 것) 코드를 다시 떠올려 봅시다. 만약 여러분이 팩토리얼 계산기 안에 if n == 1: return 1 이라는 밑바닥 제동장치(Base Case)를 만들어 두지 않았다면 어떻게 될까요?

• 수학적 귀납법에서 $n=1$ 검증을 빼먹으면 $\rightarrow$ 도미노 연쇄 폭발이 아예 시작되지 않음. (공허한 메아리)
• 파이썬 재귀 함수에서 $n=1$ 반환 조건을 빼먹으면 $\rightarrow$ 무한 복제만 하다가 $n=0, -1, -2$ 로 음수 지하 세계로 뚫고 들어가며 컴퓨터 메모리가 터져버림 (Stack Overflow 폭발).

결국 수학자들이 고안한 ‘귀납법 1단계 검증’이나 현대 프로그래머들이 짜는 ‘재귀 함수의 Base Case(초기값 반환)’나 철학적 뼈대는 완전히 100% 동일한 “무한의 폭주를 통제하는 첫 단추” 입니다.

5. 학습 정리 (Summary)

1. 수학적 귀납법 제1법칙 ($n=1$ 증명): 무한히 이어지는 식의 연쇄 폭발을 일으키기 위해, 가장 첫 번째로 주어지는 조건 숫자(대개 $1$)를 식에 직관적으로 쑤셔 넣고 좌변과 우변이 완벽히 일치함을 직접 팩트 체크하는 단계입니다.
2. 시작의 중요성: 이 1단계 증명이 허술하거나 생략된다면, 뒤에 이어질 아무리 정교하고 아름다운 증명(2단계)도 현실성이 없는 허깨비 망상 공식에 불과하게 됩니다.