강한 귀납법

n=30n = 30의 소인수분해 트리를 그려 보면 강한 귀납법이 왜 필요한지 보입니다 — 분기는 n−1=29n-1 = 29가 아니라 1515와 22처럼 훨씬 작은 수들로 떨어집니다. nn을 밀어 트리가 다시 그려지는 동안, P(2),…,P(n−1)P(2), \dots, P(n-1) 전체를 가정하는 귀납 단계를 따라가 보세요. 약한 귀납의 P(n−1)P(n-1)만으로는 인자들에 닿을 수 없습니다.

P(2),…,P(n−1)⇒P(n)P(2), \dots, P(n-1) \Rightarrow P(n)
30=2×3×530 = 2 \times 3 \times 5

예제

강한 귀납법으로 증명하세요: 2 이상의 모든 정수는 소수들의 곱이다. nn이 소수인 경우와 합성수인 경우(n=a⋅bn = a \cdot b, 1<a,b<n1 < a, b < n)를 나누고, 약한 귀납 단계(“P(n−1)P(n-1)을 가정하고 P(n)P(n)을 증명”)가 정확히 어디에서 막히는지 짚으세요 (nn의 인자 a,ba, b는 보통 n−1n-1 근처에 있지 않으므로 P(n−1)P(n-1)이 그들에 대해 아무 말도 하지 못합니다).

P(n): n is a product of primes,n≥2P(n):\ n\ \text{is a product of primes},\qquad n \ge 2
assume P(2),…,P(n−1);prove P(n)\text{assume } P(2), \dots, P(n-1);\quad \text{prove } P(n)
n=30=2×3×5n = 30 = 2 \times 3 \times 5: 합성수, 첫 분기 a=2a = 2, b=15b = 15 — n−1=29n-1 = 29와 무관한 위치.
증명 보기
  1. 강한 귀납 가정을 세웁니다: 어떤 n≥2n \ge 2에 대해, 2≤k<n2 \le k < n인 모든 kk에 대해 P(k)P(k)가 참이라 가정합니다 — 즉 kk는 소수들의 곱입니다. nn에 대해 P(n)P(n)을 증명합니다.
  2. 경우 1: nn이 소수. 그러면 nn은 그 자체로 “소수들의 곱”(인자가 하나인 곱)입니다. 이것이 밑에 해당하는 경우이며, 증명할 것이 없습니다.
  3. 경우 2: nn이 합성수. 그러면 n=a⋅bn = a \cdot b인 1<a,b<n1 < a, b < n이 존재합니다. a<na < n이므로 강한 귀납 가정 P(a)P(a)가 적용되어 a=p1⋯pra = p_1 \cdots p_r은 소수들의 곱이고, 마찬가지로 b=q1⋯qsb = q_1 \cdots q_s도 소수들의 곱입니다. 따라서 n=p1⋯pr⋅q1⋯qsn = p_1 \cdots p_r \cdot q_1 \cdots q_s — 소수들의 곱입니다. P(n)P(n)이 증명되었습니다.
  4. 약한 귀납이 막히는 지점: 약한 귀납은 P(n−1)P(n-1) 하나만 제공합니다. 그러나 n=30n = 30의 경우 필요한 것은 P(29)P(29)가 아니라 P(2)P(2)와 P(15)P(15)입니다 — 인자 a=2a = 2, b=15b = 15가 n−1=29n-1 = 29 근처에 전혀 있지 않기 때문입니다. P(n−1)P(n-1)은 aa와 bb에 대해 아무 것도 말해주지 못하므로, 약한 귀납 단계는 진행할 수 없습니다. 강한 가정이 “nn보다 작은 모든 수”를 커버하기 때문에 이 증명이 돌아갑니다.
    n=30=2×15:P(2),P(15) needed,P(29) uselessn = 30 = 2 \times 15:\quad P(2), P(15)\ \text{needed},\quad P(29)\ \text{useless}

강한 귀납법으로 증명하세요: 12 이상의 모든 정수는 4a+5b4a + 5b (a,b≥0a, b \ge 0 정수) 꼴로 쓸 수 있다. 밑 경우 네 개 12=3⋅412 = 3 \cdot 4, 13=2⋅4+513 = 2 \cdot 4 + 5, 14=4+2⋅514 = 4 + 2 \cdot 5, 15=3⋅515 = 3 \cdot 5를 확인하고, n≥16n \ge 16인 경우 가정을 n−4n-4에 적용한 뒤 4짜리 우표 하나를 더하세요. 밑 경우가 왜 정확히 네 개 연속이어야 하는지 설명하세요 (귀납 단계가 4만큼 뒤로 점프하기 때문입니다).

P(n): ∃a,b≥0 with n=4a+5b,n≥12P(n):\ \exists a, b \ge 0\ \text{with}\ n = 4a + 5b,\qquad n \ge 12
n≥16  ⇒  n−4≥12:n=(n−4)+4n \ge 16 \;\Rightarrow\; n - 4 \ge 12:\quad n = (n-4) + 4
n=30=5⋅4+2⋅5=20+10n = 30 = 5 \cdot 4 + 2 \cdot 5 = 20 + 10: a=5a = 5, b=2b = 2.
증명 보기
  1. 밑 경우: 12=3⋅4+0⋅512 = 3 \cdot 4 + 0 \cdot 5 (a=3a = 3, b=0b = 0), 13=2⋅4+1⋅513 = 2 \cdot 4 + 1 \cdot 5 (a=2a = 2, b=1b = 1), 14=1⋅4+2⋅514 = 1 \cdot 4 + 2 \cdot 5 (a=1a = 1, b=2b = 2), 15=0⋅4+3⋅515 = 0 \cdot 4 + 3 \cdot 5 (a=0a = 0, b=3b = 3) — 네 경우 모두 직접 확인됩니다.
  2. 귀납 단계: n≥16n \ge 16이라 하고, 12≤k<n12 \le k < n인 모든 kk에 대해 P(k)P(k)를 가정합니다 (강한 귀납). n−4≥12n - 4 \ge 12이므로 가정이 n−4n - 4에 적용되어 n−4=4a+5bn - 4 = 4a + 5b인 a,b≥0a, b \ge 0이 존재합니다. 양변에 4를 더하면 n=4(a+1)+5bn = 4(a+1) + 5b — P(n)P(n)이 증명되었습니다.
  3. 밑 경우가 네 개 연속이어야 하는 이유: 귀납 단계는 nn에서 n−4n-4로 4만큼 뒤로 점프합니다. 따라서 n≥16n \ge 16에 대한 증명이 12,13,14,1512, 13, 14, 15 중 하나에 “착지”하려면, 4로 나눈 나머지가 0,1,2,30, 1, 2, 3인 경우가 모두 밑에 있어야 합니다. 세 개만 있으면 한 나머지 류가 밑 없이 떠버립니다. 일반적으로 점프 폭이 mm이면 연속된 밑 경우 mm개가 필요합니다. 예: 30−4⋅4=1430 - 4 \cdot 4 = 14이므로, 30=(1430 = (14의 표현)+4⋅4=(4+2⋅5)+16=5⋅4+2⋅5) + 4 \cdot 4 = (4 + 2 \cdot 5) + 16 = 5 \cdot 4 + 2 \cdot 5.

강한 귀납법으로 증명하세요: 2 이상의 모든 정수 nn은 소인수를 가진다. nn이 소수이면 자기 자신이 소인수이고, 합성수이면 n=a⋅bn = a \cdot b (1<a<n1 < a < n)로 쓰고 aa에 가정을 적용하세요 — aa의 소인수 pp는 nn도 나눕니다.

P(n): ∃ prime p with p∣n,n≥2P(n):\ \exists\ \text{prime } p\ \text{with}\ p \mid n,\qquad n \ge 2
n=a⋅b, 1<a<n:p∣a  ⇒  p∣nn = a \cdot b,\ 1 < a < n:\quad p \mid a \;\Rightarrow\; p \mid n
n=36=22⋅32n = 36 = 2^2 \cdot 3^2: 소인수 2와 3. 트리에서 36=2×1836 = 2 \times 18 → 18=2×918 = 2 \times 9 → 9=3×39 = 3 \times 3.
증명 보기
  1. 강한 귀납 가정을 세웁니다: 어떤 n≥2n \ge 2에 대해, 2≤k<n2 \le k < n인 모든 kk가 소인수를 가진다고 가정합니다. P(n)P(n)을 증명합니다.
  2. 경우 1: nn이 소수. 그러면 nn 자신이 nn의 소인수입니다 (n∣nn \mid n).
  3. 경우 2: nn이 합성수. 그러면 n=a⋅bn = a \cdot b인 1<a,b<n1 < a, b < n이 존재합니다. a<na < n이므로 가정이 aa에 적용되어, 소수 pp와 p∣ap \mid a인 경우가 존재합니다. a∣na \mid n이므로 (n=a⋅bn = a \cdot b) 약수 관계의 추이성에 의해 p∣np \mid n입니다. 즉 pp는 nn의 소인수입니다.
    p∣a, a∣n  ⇒  p∣n(transitivity)p \mid a,\ a \mid n \;\Rightarrow\; p \mid n \quad (\text{transitivity})
  4. 주석: 이 정리는 문제 1(소인수분해)의 “한 걸음짜리” 버전입니다. n=36n = 36에서 가정은 a=2a = 2에 적용되어 p=2p = 2를 내놓고, 2∣22 \mid 2이고 2∣362 \mid 36이므로 끝입니다. 전체 소인수분해를 구하지 않아도, 소인수 하나의 존재는 같은 강한 귀납 구조로 따라옵니다.

1. 증명의 기초