Skip to content

증명 도구 상자 · 노트

3 T3 귀납법과 재귀적 정의 ​

nn이 들어간 주장을 모든 자연수에서 증명할 때, 그리고 재귀식으로 정한 양이 하나로 정해짐을 보일 때 귀납법을 쓴다. 1회의 곱의 법칙, 포함배제의 귀납 증명, Pascal 재귀의 유일성이 이 절의 도구다.

3.1 정렬원리와 귀납법 ​

자연수 N={1,2,3,… }\NN=\{1,2,3,\dots\}의 다음 성질을 공리로 받아들인다.

정의 3.1 (정렬원리) N\NN의 공집합이 아닌 부분집합은 가장 작은 원소를 갖는다.

정리 3.2 (수학적 귀납법) 명제 P(n)P(n)에 대해 (i) P(1)P(1)이 참이고 (ii) 모든 n≥1n\ge1에서 P(n)⇒P(n+1)P(n)\Rightarrow P(n+1)이면, 모든 n∈Nn\in\NN에서 P(n)P(n)이 참이다.

증명 전략 거짓인 nn이 있다고 가정하고, 그 가운데 가장 작은 것을 잡아 모순을 끌어낸다.

  1. S={n∈N: P(n)이 거짓}S=\{n\in\NN:\ P(n)\text{이 거짓}\}이 공집합이 아니라고 가정한다.귀류 가정 [T2]

  2. SS의 가장 작은 원소 mm이 있다.정렬원리

  3. (i)로 1∉S1\notin S이므로 m≥2m\ge2이고, m−1∈Nm-1\in\NN이다.(i)

  4. m−1<mm-1<m이고 mm이 SS의 최소이므로 m−1∉Sm-1\notin S, 곧 P(m−1)P(m-1)이 참이다.2

  5. (ii)로 P(m)P(m)이 참이다. 이것은 m∈Sm\in S와 모순이다.(ii)

시작점은 1이 아니어도 된다. P(n0)P(n_0)과 n≥n0n\ge n_0에서의 P(n)⇒P(n+1)P(n)\Rightarrow P(n+1)을 보이면 n≥n0n\ge n_0인 모든 nn에서 성립한다. 귀납 단계에서 P(1),…,P(n)P(1),\dots,P(n)을 모두 가정해도 된다. 이것을 강한 귀납법이라 하고, 증명은 위와 같다(4에서 mm보다 작은 모든 수가 SS 밖에 있다).

예제 3.3 (Bernoulli 부등식) x≥−1x\ge-1이면 모든 n≥1n\ge1에서 (1+x)n≥1+nx(1+x)^n\ge1+nx이다.

전략 (1+x)n+1=(1+x)n(1+x)(1+x)^{n+1}=(1+x)^n(1+x)에 귀납 가정을 넣는다. 1+x≥01+x\ge0이어야 부등식에 곱할 수 있다.

  1. n=1n=1이면 양변이 1+x1+x로 같다.기저

  2. (1+x)n≥1+nx(1+x)^n\ge1+nx라 하자. 1+x≥01+x\ge0이므로 양변에 곱해도 부등호가 유지된다.

    (1+x)n+1≥(1+nx)(1+x)=1+(n+1)x+nx2≥1+(n+1)x\begin{align*} (1+x)^{n+1}&\ge(1+nx)(1+x) \tag*{\htmlClass{reason}{\text{귀납 가정, $x\ge-1$}}}\\ &=1+(n+1)x+nx^2 \\ &\ge1+(n+1)x \tag*{\htmlClass{reason}{\text{$nx^2\ge0$}}} \end{align*}

조건 x≥−1x\ge-1은 2의 첫 부등호에서만 쓰였고, 빼면 결론이 깨진다. x=−3x=-3, n=5n=5이면 왼쪽은 (−2)5=−32(-2)^5=-32, 오른쪽은 1−15=−141-15=-14이다.

예제 3.4 (하키 스틱 항등식) 0≤m≤n0\le m\le n이면 ∑k=mn(km)=(n+1m+1)\sum_{k=m}^n\tbinom km=\tbinom{n+1}{m+1}이다. mm을 고정하고 nn에 대한 귀납법을 쓴다. n=mn=m이면 양변이 1이다. nn에서 성립하면

∑k=mn+1(km)=(n+1m+1)+(n+1m)=(n+2m+1).\sum_{k=m}^{n+1}\binom km=\binom{n+1}{m+1}+\binom{n+1}{m}=\binom{n+2}{m+1} .
귀납 가정, Pascal 항등식

마지막 등호가 1회 정리 1.5의 Pascal 항등식이다. 이항계수의 항등식은 대부분 이처럼 Pascal 항등식 한 번으로 귀납 단계가 끝난다.

예제 3.5 (소인수의 존재 (강한 귀납)) n≥2n\ge2인 정수는 소수들의 곱이다. n=2n=2는 소수다. 2,…,n2,\dots,n이 모두 소수들의 곱이라 하고 n+1n+1을 보자. n+1n+1이 소수이면 끝이다. 아니면 n+1=abn+1=ab, 2≤a,b≤n2\le a,b\le n이고, 강한 귀납 가정으로 aa와 bb가 소수들의 곱이므로 n+1n+1도 그렇다. 바로 앞의 nn만 가정해서는 aa, bb에 대해 아무것도 말할 수 없으므로 강한 귀납법이 필요하다.

3.2 재귀적 정의와 유일성 ​

a1,a2a_1,a_2와 “ana_n을 an−1,an−2a_{n-1},a_{n-2}로 쓰는 식”을 주면 수열이 정해진다. 정해진다는 것은 두 가지다. 그런 수열이 있고, 두 개가 없다. 있다는 것은 식대로 계산해 나가면 되고, 하나뿐이라는 것은 두 해의 차가 0임을 귀납법으로 보인다. 1회 정리 5.13(Pascal의 재귀)의 유일성 단계가 이 구조이고, 거기서는 귀납의 기준이 a+ba+b였다.

예제 3.6 (연속한 1이 없는 이진 문자열) 길이 nn인 0·1 문자열 가운데 1이 연속해 나오지 않는 것의 수를 ana_n이라 하자. 마지막 글자가 0이면 앞의 n−1n-1글자는 아무 그런 문자열이고, 1이면 그 앞은 0이어야 하므로 앞의 n−2n-2글자가 아무 그런 문자열이다. 따라서

an=an−1+an−2 (n≥3),a1=2,a2=3.a_n=a_{n-1}+a_{n-2}\ (n\ge3),\qquad a_1=2,\quad a_2=3 .

Fibonacci 수 F1=F2=1F_1=F_2=1, Fn=Fn−1+Fn−2F_n=F_{n-1}+F_{n-2}에 대해 an=Fn+2a_n=F_{n+2}이다. n=1,2n=1,2에서 2=F32=F_3, 3=F43=F_4이고, 두 수열이 같은 재귀식을 따르므로 nn에 대한 강한 귀납법으로 모든 nn에서 같다. 작은 경우를 열거하면 a1,…,a8=2,3,5,8,13,21,34,55a_1,\allowbreak \dots,\allowbreak a_8=2,\allowbreak 3,\allowbreak 5,\allowbreak 8,\allowbreak 13,\allowbreak 21,\allowbreak 34,\allowbreak 55이다.

흔한 실수 (1) 기저를 빠뜨린다. “n2+nn^2+n은 홀수다”는 귀납 단계가 성립한다. n2+nn^2+n이 홀수이면 (n+1)2+(n+1)=(n2+n)+2(n+1)(n+1)^2+(n+1)=(n^2+n)+2(n+1)도 홀수다. 그러나 n=1n=1에서 22이므로 기저가 거짓이고, 실제로 n2+n=n(n+1)n^2+n=n(n+1)은 언제나 짝수다. (2) 귀납 단계가 작은 nn에서 깨진다. “말 nn마리는 모두 같은 색이다”의 잘못된 증명은 n+1n+1마리를 처음 nn마리와 마지막 nn마리로 나눠 각각 같은 색이라 하고, 두 묶음이 겹치므로 전체가 같은 색이라 한다. n=1n=1에서 n+1=2n+1=2이면 두 묶음 {1}\{1\}과 {2}\{2\}는 겹치지 않는다. 귀납 단계는 모든 n≥n0n\ge n_0에서 성립해야 한다.

연습문제

연습 3.1 (제곱의 합 ★) ∑k=1nk2=n(n+1)(2n+1)6\sum_{k=1}^nk^2=\tfrac{n(n+1)(2n+1)}6을 귀납법으로 보여라.

풀이

n=1n=1이면 양변이 1이다. nn에서 성립하면

n(n+1)(2n+1)6+(n+1)2=(n+1)(2n2+7n+6)6=(n+1)(n+2)(2n+3)6.\frac{n(n+1)(2n+1)}6+(n+1)^2=\frac{(n+1)\bigl(2n^2+7n+6\bigr)}6=\frac{(n+1)(n+2)(2n+3)}6 .

연습 3.2 (계승의 합 ★) ∑k=1nk⋅k!=(n+1)!−1\sum_{k=1}^nk\cdot k!=(n+1)!-1을 보여라.

풀이

n=1n=1이면 1=2!−11=2!-1이다. nn에서 성립하면 (n+1)!−1+(n+1)(n+1)!=(n+1)!(n+2)−1=(n+2)!−1(n+1)!-1+(n+1)(n+1)!=(n+1)!(n+2)-1=(n+2)!-1이다.

연습 3.3 (기저가 1이 아닌 귀납 ★) n≥5n\ge5이면 2n>n22^n>n^2임을 보여라. n=2,3,4n=2,3,4에서는 왜 성립하지 않는가?

풀이

n=5n=5이면 32>2532>25이다. n≥5n\ge5에서 2n>n22^n>n^2이면 2n+1>2n22^{n+1}>2n^2이고, 2n2≥(n+1)2  ⟺  (n−1)2≥22n^2\ge(n+1)^2\iff(n-1)^2\ge2는 n≥3n\ge3에서 참이다. n=2,3,4n=2,3,4에서는 4=44=4, 8<98<9, 16=1616=16으로 기저가 거짓이다. 귀납 단계는 n≥3n\ge3에서 성립하지만 처음으로 참인 기저가 n=5n=5이다.

연습 3.4 (유한 Boole 부등식 ★★) P(A∪B)≤P(A)+P(B)P(A\cup B)\le P(A)+P(B)만 써서 P(A1∪⋯∪An)≤∑i=1nP(Ai)P(A_1\cup\cdots\cup A_n)\le\sum_{i=1}^nP(A_i)를 귀납법으로 보여라.

풀이

n=1n=1은 등호다. nn에서 성립하고 B=A1∪⋯∪AnB=A_1\cup\cdots\cup A_n이면

P(B∪An+1)≤P(B)+P(An+1)≤∑i=1nP(Ai)+P(An+1).P(B\cup A_{n+1})\le P(B)+P(A_{n+1})\le\sum_{i=1}^nP(A_i)+P(A_{n+1}) .

연습 3.5 (Weierstrass의 곱 부등식 ★★) p1,…,pn∈[0,1]p_1,\dots,p_n\in[0,1]이면 ∏i=1n(1−pi)≥1−∑i=1npi\prod_{i=1}^n(1-p_i)\ge1-\sum_{i=1}^np_i임을 보여라. 독립인 사건 AiA_i가 P(Ai)=piP(A_i)=p_i일 때 이 부등식은 어떤 확률에 대한 무엇이 되는가?

풀이

n=1n=1은 등호다. nn에서 성립하고 s=∑i≤npis=\sum_{i\le n}p_i이면, 1−pn+1≥01-p_{n+1}\ge0을 귀납 가정에 곱해

∏i≤n+1(1−pi)≥(1−pn+1)(1−s)=1−s−pn+1+pn+1s≥1−∑i≤n+1pi.\prod_{i\le n+1}(1-p_i)\ge(1-p_{n+1})(1-s)=1-s-p_{n+1}+p_{n+1}s\ge1-\sum_{i\le n+1}p_i .

(1−s1-s가 음수여도 곱셈 단계는 맞다. 곱하는 수 1−pn+11-p_{n+1}이 음이 아니기 때문이다.) 확률로 읽으면 P(아무것도 일어나지 않는다)≥1−∑P(Ai)P(\text{아무것도 일어나지 않는다})\ge1-\sum P(A_i), 곧 P(적어도 하나)≤∑P(Ai)P(\text{적어도 하나})\le\sum P(A_i)이다. 독립인 사건에 대한 Boole 부등식이다.

연습 3.6 (우표 문제 (강한 귀납) ★★) 4원짜리와 5원짜리 우표로 12원 이상의 모든 금액을 만들 수 있음을 강한 귀납법으로 보여라. 만들 수 없는 금액을 모두 구하라.

풀이

기저: 12=4+4+412=4+4+4, 13=4+4+513=4+4+5, 14=4+5+514=4+5+5, 15=5+5+515=5+5+5. n≥16n\ge16이고 12,…,n−112,\dots,n-1을 모두 만들 수 있으면 n−4≥12n-4\ge12를 만들고 4원을 하나 더한다. 네 개의 기저가 필요한 것은 귀납 단계가 4만큼 뒤를 보기 때문이다. 만들 수 없는 금액은 1,2,3,6,7,111,2,3,6,7,11이다(작은 경우를 모두 확인).

연습 3.7 (Fibonacci 수 ★★) F1=F2=1F_1=F_2=1, Fn=Fn−1+Fn−2F_n=F_{n-1}+F_{n-2}에 대해 (a) ∑k=1nFk=Fn+2−1\sum_{k=1}^nF_k=F_{n+2}-1, (b) Fn<(7/4)nF_n<(7/4)^n을 보여라.

풀이

(a) n=1n=1이면 1=F3−11=F_3-1이다. ∑k≤n+1Fk=Fn+2−1+Fn+1=Fn+3−1\sum_{k\le n+1}F_k=F_{n+2}-1+F_{n+1}=F_{n+3}-1. (b) F1=1<74F_1=1<\tfrac74, F2=1<4916F_2=1<\tfrac{49}{16}이다. n≥3n\ge3이고 앞의 두 값에서 성립하면

Fn=Fn−1+Fn−2<(74)n−2(74+1)=(74)n−24416<(74)n−24916=(74)n.F_n=F_{n-1}+F_{n-2}<\Bigl(\frac74\Bigr)^{n-2}\Bigl(\frac74+1\Bigr)=\Bigl(\frac74\Bigr)^{n-2}\frac{44}{16}<\Bigl(\frac74\Bigr)^{n-2}\frac{49}{16}=\Bigl(\frac74\Bigr)^n .

연습 3.8 (잘못된 귀납 찾기 ★★) 다음 “증명”의 오류를 찾아라. 주장: 음이 아닌 모든 정수 nn에서 5n=05n=0이다. 증명: n=0n=0이면 맞다. 0,1,…,n0,1,\dots,n에서 맞다고 하자. n+1=a+bn+1=a+b인 a,b≤na,b\le n을 잡으면 5(n+1)=5a+5b=0+0=05(n+1)=5a+5b=0+0=0이다.

풀이

n=0n=0에서 n+1=1n+1=1로 갈 때 1=a+b1=a+b, a,b≤0a,b\le0인 음이 아닌 정수가 없다. 귀납 단계가 0⇒10\Rightarrow1에서 깨진다. 1=0+11=0+1로 쓰면 b=1b=1이 귀납 가정의 범위(≤n=0\le n=0) 밖이다. 이 논증은 n+1≥2n+1\ge2에서만 작동하므로 기저 n=1n=1이 필요한데, 5⋅1≠05\cdot1\ne0이다.

연습 3.9 (교란순열의 재귀 ★★★) 1,…,n1,\dots,n의 순열 가운데 어느 ii도 제자리에 있지 않은 것의 수를 DnD_n이라 하자. (a) Dn=(n−1)(Dn−1+Dn−2)D_n=(n-1)(D_{n-1}+D_{n-2}) (n≥3n\ge3), D1=0D_1=0, D2=1D_2=1임을 보여라. (b) Dn=n!∑k=0n(−1)kk!D_n=n!\sum_{k=0}^n\tfrac{(-1)^k}{k!}이 이 재귀와 처음 두 값을 만족함을 보이고, 유일성으로 공식을 증명하라. (1회의 Montmort 문제를 포함배제 없이 푼 것이다.)

풀이

(a) 교란순열 σ\sigma에서 σ(n)=j\sigma(n)=j라 하자(j≠nj\ne n, n−1n-1가지). σ(k)=n\sigma(k)=n인 kk를 본다. k=jk=j인 경우: σ\sigma는 nn과 jj를 맞바꾸고, 나머지 n−2n-2개 위에서 교란순열이다. Dn−2D_{n-2}가지다. k≠jk\ne j인 경우: {1,…,n−1}\{1,\dots,n-1\} 위의 τ\tau를 τ(k)=j\tau(k)=j, 나머지는 τ(i)=σ(i)\tau(i)=\sigma(i)로 정하면 τ\tau는 순열이고 τ(k)=j≠k\tau(k)=j\ne k이므로 교란순열이다. 거꾸로 교란순열 τ\tau와 jj가 주어지면 k=τ−1(j)≠jk=\tau^{-1}(j)\ne j로 σ\sigma를 되살릴 수 있으므로 일대일 대응이다. Dn−1D_{n-1}가지다. jj마다 Dn−1+Dn−2D_{n-1}+D_{n-2}가지이므로 Dn=(n−1)(Dn−1+Dn−2)D_n=(n-1)(D_{n-1}+D_{n-2})이다. D1=0D_1=0, D2=1D_2=1은 직접 센다. (b) En=n!∑k=0n(−1)k/k!E_n=n!\sum_{k=0}^n(-1)^k/k!이면 En=nEn−1+(−1)nE_n=nE_{n-1}+(-1)^n이다(마지막 항이 n!⋅(−1)n/n!n!\cdot(-1)^n/n!). E1=0E_1=0, E2=1E_2=1이다. (n−1)En−2=En−1−(−1)n−1(n-1)E_{n-2}=E_{n-1}-(-1)^{n-1}이므로

(n−1)(En−1+En−2)=(n−1)En−1+En−1+(−1)n=nEn−1+(−1)n=En.(n-1)(E_{n-1}+E_{n-2})=(n-1)E_{n-1}+E_{n-1}+(-1)^n=nE_{n-1}+(-1)^n=E_n .

DnD_n과 EnE_n은 같은 재귀와 같은 처음 두 값을 가지므로 강한 귀납법으로 모든 nn에서 같다. 처음 값들은 0,1,2,9,44,265,18540,1,2,9,44,265,1854이다. Dn/n!D_n/n!이 Montmort 문제에서 하나도 맞지 않을 확률이다.

이 회차에서 읽은 절 0개 · 회차 차례