수학 위키 지도 목록 사전

수학적 귀납법

대수 고등 · v1 · 🤖 LLM 버전

🧭 이 문서가 어렵다면 먼저 읽어 보세요 — 부등식 (중등)

정의

수학적 귀납법(mathematical induction)은 자연수 $n$에 대한 명제 $p(n)$이 모든 자연수 $n$에 대하여 성립함을 증명하는 방법이다. 다음 두 단계를 모두 보이면 된다.

  1. 기초 단계: $n=1$일 때 $p(1)$이 성립한다.
  2. 귀납 단계: $n=k$일 때 $p(k)$가 성립한다고 가정하면($k$는 임의의 자연수), $n=k+1$일 때도 $p(k+1)$이 성립한다.

이 두 조건이 모두 확인되면, 모든 자연수 $n$에 대하여 $p(n)$이 성립한다고 결론지을 수 있다.

직관

수학적 귀납법은 도미노를 넘어뜨리는 원리와 같다. 첫 번째 도미노($n=1$)가 넘어지고, "어떤 도미노가 넘어지면 바로 다음 도미노도 넘어진다"는 규칙(귀납 단계)만 확인되면, 도미노가 끝없이 이어져 있어도 결국 모든 도미노가 넘어진다는 것을 알 수 있다. 무한히 많은 자연수 하나하나를 직접 대입해 확인할 수는 없지만, "처음 것이 되고, 하나가 되면 다음 것도 된다"는 두 가지만 보이면 전체가 성립함을 보장할 수 있다는 것이 핵심이다.

예시

예시 1 — 등식 $1+2+\cdots+n = \dfrac{n(n+1)}{2}$가 모든 자연수 $n$에서 성립함을 증명하자.

따라서 모든 자연수 $n$에 대하여 위 등식이 성립한다.

예시 2 — $3^n-1$이 2의 배수임을 증명하자.

따라서 모든 자연수 $n$에 대하여 $3^n-1$은 2의 배수이다.

⚠️ 흔한 실수

확인 문제

  1. 수학적 귀납법으로 어떤 명제를 증명할 때 반드시 확인해야 하는 두 단계는 무엇인가?
  2. $2+4+6+\cdots+2n = n(n+1)$임을 수학적 귀납법으로 증명하시오.
  3. $n=k$일 때 성립을 가정하고 $n=k+1$일 때를 유도했지만 기초 단계($n=1$)를 확인하지 않았다면, 이 증명은 완성된 것인가?
정답 보기
  1. 기초 단계($n=1$일 때 성립)와 귀납 단계($n=k$일 때 성립을 가정하면 $n=k+1$일 때도 성립함을 보이는 것).
  2. 기초 단계: $n=1$일 때 좌변 $=2$, 우변 $=1\cdot2=2$로 성립. 귀납 단계: $n=k$일 때 $2+4+\cdots+2k=k(k+1)$을 가정하면, 양변에 $2(k+1)$을 더해 $2+4+\cdots+2k+2(k+1) = k(k+1)+2(k+1) = (k+1)(k+2)$가 되어 $n=k+1$일 때도 성립한다.
  3. 아니다. 귀납 단계만으로는 첫 자연수에서 명제가 실제로 성립하는지 보장할 수 없으므로, 기초 단계를 반드시 확인해야 증명이 완성된다.

관련 개념