자연수와 귀납법

자연수는 페아노 공리에서 출발한다: P(1)P(1)과 P(k)⇒P(k+1)P(k) \Rightarrow P(k+1)이면 모든 자연수 nn에 대해 P(n)P(n)이 성립한다 — 덧셈과 곱셈도 귀납적으로 정의되며, 이 원리 하나로 무한히 많은 명제를 한 번에 증명한다.

P(1)∧(P(k)⇒P(k+1))⇒∀n∈N,  P(n)P(1) \land (P(k) \Rightarrow P(k+1)) \Rightarrow \forall n \in \mathbb{N},\; P(n)
∑k=1nk=n(n+1)2\sum_{k=1}^{n} k = \frac{n(n+1)}{2}
(1+x)n≥1+nx(x>−1)(1+x)^n \geq 1 + nx \quad (x > -1)
2n>n2^n > n

이 씬이 포함된 학습 경로

예제

P(n):∑k=1nk=n(n+1)2P(n): \sum_{k=1}^{n} k = \frac{n(n+1)}{2}이라 하자. 수학적 귀납법으로 모든 자연수 nn에 대해 이 식이 성립함을 증명하세요.

1+2+⋯+n=n(n+1)21 + 2 + \cdots + n = \frac{n(n+1)}{2}
n=6n = 6 — 도미노 6개, 즉 1+2+⋯+6=211+2+\cdots+6 = 21인 경우.
증명 보기
  1. 기저: n=1n = 1일 때 좌변은 11이고 우변은 1⋅22=1\frac{1\cdot 2}{2} = 1이므로 P(1)P(1)은 참입니다. 첫 도미노가 쓰러졌습니다.
  2. 귀납 단계: P(k)P(k)가 참이라 가정합니다, 즉 1+2+⋯+k=k(k+1)21+2+\cdots+k = \frac{k(k+1)}{2}입니다. 양변에 k+1k+1을 더하면 1+2+⋯+k+(k+1)=k(k+1)2+(k+1)=(k+1)(k+2)21+2+\cdots+k+(k+1) = \frac{k(k+1)}{2} + (k+1) = \frac{(k+1)(k+2)}{2}를 얻습니다. 이는 정확히 P(k+1)P(k+1)입니다. 따라서 P(k)⇒P(k+1)P(k) \Rightarrow P(k+1) — 쓰러진 도미노가 다음 도미노를 쓰러뜨립니다.
  3. 귀납 원리에 의해 P(n)P(n)은 모든 자연수 nn에 대해 참입니다. 따라서 ∑k=1nk=n(n+1)2\sum_{k=1}^{n} k = \frac{n(n+1)}{2} — 기저와 귀납 단계 두 가지 검사로 무한히 많은 식이 한 번에 증명되었습니다.

x>−1x > -1인 모든 실수 xx와 모든 자연수 nn에 대해 (1+x)n≥1+nx(1+x)^n \ge 1+nx임을 수학적 귀납법으로 증명하세요 (베르누이 부등식).

(1+x)n≥1+nx(x>−1)(1+x)^n \geq 1 + nx \quad (x > -1)
n=6n = 6 — x>−1x > -1인 모든 xx에 대해 (1+x)6≥1+6x(1+x)^6 \ge 1+6x.
증명 보기
  1. 기저: n=1n = 1일 때 (1+x)1=1+x=1+1⋅x(1+x)^1 = 1+x = 1+1\cdot x이므로 부등식은 등호로 성립합니다. x>−1x > -1 가정은 여기서는 아직 쓰이지 않았습니다.
  2. 귀납 단계: (1+x)k≥1+kx(1+x)^k \ge 1+kx라 가정합니다. x>−1x > -1이므로 1+x>01+x > 0이고, 부등식의 양변에 양수 1+x1+x를 곱해도 부등호 방향이 바뀌지 않습니다: (1+x)k+1≥(1+kx)(1+x)=1+(k+1)x+kx2(1+x)^{k+1} \ge (1+kx)(1+x) = 1 + (k+1)x + kx^2. 여기서 kx2≥0kx^2 \ge 0이므로 우변은 1+(k+1)x1+(k+1)x 이상입니다. 따라서 (1+x)k+1≥1+(k+1)x(1+x)^{k+1} \ge 1+(k+1)x — 즉 P(k)⇒P(k+1)P(k) \Rightarrow P(k+1)입니다.
  3. 귀납 원리에 의해 모든 자연수 nn에 대해 (1+x)n≥1+nx(1+x)^n \ge 1+nx가 성립합니다. 1+x>01+x > 0이라는 조건이 귀납 단계의 핵심이었습니다 — 부등식에 양수가 아닌 수를 곱하면 부등호가 뒤집히기 때문입니다.

모든 자연수 nn에 대해 2n>n2^n > n임을 수학적 귀납법으로 증명하세요.

2n>n(n∈N)2^n > n \quad (n \in \mathbb{N})
n=6n = 6 — 26=64>62^6 = 64 > 6처럼 지수함수가 선형을 앞지른다.
증명 보기
  1. 기저: n=1n = 1일 때 21=2>12^1 = 2 > 1이므로 P(1)P(1)은 참입니다.
  2. 귀납 단계: 2k>k2^k > k라 가정합니다. 양변에 22를 곱하면 2k+1=2⋅2k>2k2^{k+1} = 2\cdot 2^k > 2k를 얻습니다. 그런데 k≥1k \ge 1이므로 2k=k+k≥k+12k = k+k \ge k+1입니다. 따라서 2k+1>k+12^{k+1} > k+1 — 즉 P(k)⇒P(k+1)P(k) \Rightarrow P(k+1)입니다.
  3. 귀납 원리에 의해 모든 자연수 nn에 대해 2n>n2^n > n입니다. 지수적 증가는 결국 선형 증가를 압도합니다 — 이 증명은 그 압도의 최소 단위인 "22를 곱하면 11을 더하는 것보다 크다"는 관찰을 nn번 반복하는 것입니다.

1. 수의 체계