n=30의 소인수분해 트리를 그려 보면 강한 귀납법이 왜 필요한지 보입니다 — 분기는 n−1=29가 아니라 15와 2처럼 훨씬 작은 수들로 떨어집니다. n을 밀어 트리가 다시 그려지는 동안, P(2),…,P(n−1) 전체를 가정하는 귀납 단계를 따라가 보세요. 약한 귀납의 P(n−1)만으로는 인자들에 닿을 수 없습니다.
P(2),…,P(n−1)⇒P(n)
30=2×3×5
예제
강한 귀납법으로 증명하세요: 2 이상의 모든 정수는 소수들의 곱이다. n이 소수인 경우와 합성수인 경우(n=a⋅b, 1<a,b<n)를 나누고, 약한 귀납 단계(“P(n−1)을 가정하고 P(n)을 증명”)가 정확히 어디에서 막히는지 짚으세요 (n의 인자 a,b는 보통 n−1 근처에 있지 않으므로 P(n−1)이 그들에 대해 아무 말도 하지 못합니다).
P(n):nis a product of primes,n≥2
assume P(2),…,P(n−1);prove P(n)
n=30=2×3×5: 합성수, 첫 분기 a=2, b=15 — n−1=29와 무관한 위치.증명 보기
강한 귀납 가정을 세웁니다: 어떤 n≥2에 대해, 2≤k<n인 모든 k에 대해 P(k)가 참이라 가정합니다 — 즉 k는 소수들의 곱입니다. n에 대해 P(n)을 증명합니다.
경우 1: n이 소수. 그러면 n은 그 자체로 “소수들의 곱”(인자가 하나인 곱)입니다. 이것이 밑에 해당하는 경우이며, 증명할 것이 없습니다.
경우 2: n이 합성수. 그러면 n=a⋅b인 1<a,b<n이 존재합니다. a<n이므로 강한 귀납 가정 P(a)가 적용되어 a=p1⋯pr은 소수들의 곱이고, 마찬가지로 b=q1⋯qs도 소수들의 곱입니다. 따라서 n=p1⋯pr⋅q1⋯qs — 소수들의 곱입니다. P(n)이 증명되었습니다.
약한 귀납이 막히는 지점: 약한 귀납은 P(n−1) 하나만 제공합니다. 그러나 n=30의 경우 필요한 것은 P(29)가 아니라 P(2)와 P(15)입니다 — 인자 a=2, b=15가 n−1=29 근처에 전혀 있지 않기 때문입니다. P(n−1)은 a와 b에 대해 아무 것도 말해주지 못하므로, 약한 귀납 단계는 진행할 수 없습니다. 강한 가정이 “n보다 작은 모든 수”를 커버하기 때문에 이 증명이 돌아갑니다.
n=30=2×15:P(2),P(15)needed,P(29)useless
강한 귀납법으로 증명하세요: 12 이상의 모든 정수는 4a+5b (a,b≥0 정수) 꼴로 쓸 수 있다. 밑 경우 네 개 12=3⋅4, 13=2⋅4+5, 14=4+2⋅5, 15=3⋅5를 확인하고, n≥16인 경우 가정을 n−4에 적용한 뒤 4짜리 우표 하나를 더하세요. 밑 경우가 왜 정확히 네 개 연속이어야 하는지 설명하세요 (귀납 단계가 4만큼 뒤로 점프하기 때문입니다).
P(n):∃a,b≥0withn=4a+5b,n≥12
n≥16⇒n−4≥12:n=(n−4)+4
n=30=5⋅4+2⋅5=20+10: a=5, b=2.증명 보기
밑 경우: 12=3⋅4+0⋅5 (a=3, b=0), 13=2⋅4+1⋅5 (a=2, b=1), 14=1⋅4+2⋅5 (a=1, b=2), 15=0⋅4+3⋅5 (a=0, b=3) — 네 경우 모두 직접 확인됩니다.
귀납 단계: n≥16이라 하고, 12≤k<n인 모든 k에 대해 P(k)를 가정합니다 (강한 귀납). n−4≥12이므로 가정이 n−4에 적용되어 n−4=4a+5b인 a,b≥0이 존재합니다. 양변에 4를 더하면 n=4(a+1)+5b — P(n)이 증명되었습니다.
밑 경우가 네 개 연속이어야 하는 이유: 귀납 단계는 n에서 n−4로 4만큼 뒤로 점프합니다. 따라서 n≥16에 대한 증명이 12,13,14,15 중 하나에 “착지”하려면, 4로 나눈 나머지가 0,1,2,3인 경우가 모두 밑에 있어야 합니다. 세 개만 있으면 한 나머지 류가 밑 없이 떠버립니다. 일반적으로 점프 폭이 m이면 연속된 밑 경우 m개가 필요합니다. 예: 30−4⋅4=14이므로, 30=(14의 표현)+4⋅4=(4+2⋅5)+16=5⋅4+2⋅5.
강한 귀납법으로 증명하세요: 2 이상의 모든 정수 n은 소인수를 가진다. n이 소수이면 자기 자신이 소인수이고, 합성수이면 n=a⋅b (1<a<n)로 쓰고 a에 가정을 적용하세요 — a의 소인수 p는 n도 나눕니다.