테마
증명 도구 상자 · 노트
3 T3 귀납법과 재귀적 정의
이 들어간 주장을 모든 자연수에서 증명할 때, 그리고 재귀식으로 정한 양이 하나로 정해짐을 보일 때 귀납법을 쓴다. 1회의 곱의 법칙, 포함배제의 귀납 증명, Pascal 재귀의 유일성이 이 절의 도구다.
3.1 정렬원리와 귀납법
자연수 의 다음 성질을 공리로 받아들인다.
정의 3.1 (정렬원리) 의 공집합이 아닌 부분집합은 가장 작은 원소를 갖는다.
정리 3.2 (수학적 귀납법) 명제 에 대해 (i) 이 참이고 (ii) 모든 에서 이면, 모든 에서 이 참이다.
증명 전략 거짓인 이 있다고 가정하고, 그 가운데 가장 작은 것을 잡아 모순을 끌어낸다.
이 공집합이 아니라고 가정한다.귀류 가정 [T2]
의 가장 작은 원소 이 있다.정렬원리
(i)로 이므로 이고, 이다.(i)
이고 이 의 최소이므로 , 곧 이 참이다.2
(ii)로 이 참이다. 이것은 와 모순이다.(ii)
시작점은 1이 아니어도 된다. 과 에서의 을 보이면 인 모든 에서 성립한다. 귀납 단계에서 을 모두 가정해도 된다. 이것을 강한 귀납법이라 하고, 증명은 위와 같다(4에서 보다 작은 모든 수가 밖에 있다).
예제 3.3 (Bernoulli 부등식) 이면 모든 에서 이다.
전략 에 귀납 가정을 넣는다. 이어야 부등식에 곱할 수 있다.
이면 양변이 로 같다.기저
라 하자. 이므로 양변에 곱해도 부등호가 유지된다.
조건 은 2의 첫 부등호에서만 쓰였고, 빼면 결론이 깨진다. , 이면 왼쪽은 , 오른쪽은 이다.
예제 3.4 (하키 스틱 항등식) 이면 이다. 을 고정하고 에 대한 귀납법을 쓴다. 이면 양변이 1이다. 에서 성립하면
귀납 가정, Pascal 항등식
마지막 등호가 1회 정리 1.5의 Pascal 항등식이다. 이항계수의 항등식은 대부분 이처럼 Pascal 항등식 한 번으로 귀납 단계가 끝난다.
예제 3.5 (소인수의 존재 (강한 귀납)) 인 정수는 소수들의 곱이다. 는 소수다. 이 모두 소수들의 곱이라 하고 을 보자. 이 소수이면 끝이다. 아니면 , 이고, 강한 귀납 가정으로 와 가 소수들의 곱이므로 도 그렇다. 바로 앞의 만 가정해서는 , 에 대해 아무것도 말할 수 없으므로 강한 귀납법이 필요하다.
3.2 재귀적 정의와 유일성
와 “을 로 쓰는 식”을 주면 수열이 정해진다. 정해진다는 것은 두 가지다. 그런 수열이 있고, 두 개가 없다. 있다는 것은 식대로 계산해 나가면 되고, 하나뿐이라는 것은 두 해의 차가 0임을 귀납법으로 보인다. 1회 정리 5.13(Pascal의 재귀)의 유일성 단계가 이 구조이고, 거기서는 귀납의 기준이 였다.
예제 3.6 (연속한 1이 없는 이진 문자열) 길이 인 0·1 문자열 가운데 1이 연속해 나오지 않는 것의 수를 이라 하자. 마지막 글자가 0이면 앞의 글자는 아무 그런 문자열이고, 1이면 그 앞은 0이어야 하므로 앞의 글자가 아무 그런 문자열이다. 따라서
Fibonacci 수 , 에 대해 이다. 에서 , 이고, 두 수열이 같은 재귀식을 따르므로 에 대한 강한 귀납법으로 모든 에서 같다. 작은 경우를 열거하면 이다.
흔한 실수 (1) 기저를 빠뜨린다. “은 홀수다”는 귀납 단계가 성립한다. 이 홀수이면 도 홀수다. 그러나 에서 이므로 기저가 거짓이고, 실제로 은 언제나 짝수다. (2) 귀납 단계가 작은 에서 깨진다. “말 마리는 모두 같은 색이다”의 잘못된 증명은 마리를 처음 마리와 마지막 마리로 나눠 각각 같은 색이라 하고, 두 묶음이 겹치므로 전체가 같은 색이라 한다. 에서 이면 두 묶음 과 는 겹치지 않는다. 귀납 단계는 모든 에서 성립해야 한다.
연습문제
연습 3.1 (제곱의 합 ★) 을 귀납법으로 보여라.
풀이
이면 양변이 1이다. 에서 성립하면
연습 3.2 (계승의 합 ★) 을 보여라.
풀이
이면 이다. 에서 성립하면 이다.
연습 3.3 (기저가 1이 아닌 귀납 ★) 이면 임을 보여라. 에서는 왜 성립하지 않는가?
풀이
이면 이다. 에서 이면 이고, 는 에서 참이다. 에서는 , , 으로 기저가 거짓이다. 귀납 단계는 에서 성립하지만 처음으로 참인 기저가 이다.
연습 3.4 (유한 Boole 부등식 ★★) 만 써서 를 귀납법으로 보여라.
풀이
은 등호다. 에서 성립하고 이면
연습 3.5 (Weierstrass의 곱 부등식 ★★) 이면 임을 보여라. 독립인 사건 가 일 때 이 부등식은 어떤 확률에 대한 무엇이 되는가?
풀이
은 등호다. 에서 성립하고 이면, 을 귀납 가정에 곱해
(가 음수여도 곱셈 단계는 맞다. 곱하는 수 이 음이 아니기 때문이다.) 확률로 읽으면 , 곧 이다. 독립인 사건에 대한 Boole 부등식이다.
연습 3.6 (우표 문제 (강한 귀납) ★★) 4원짜리와 5원짜리 우표로 12원 이상의 모든 금액을 만들 수 있음을 강한 귀납법으로 보여라. 만들 수 없는 금액을 모두 구하라.
풀이
기저: , , , . 이고 을 모두 만들 수 있으면 를 만들고 4원을 하나 더한다. 네 개의 기저가 필요한 것은 귀납 단계가 4만큼 뒤를 보기 때문이다. 만들 수 없는 금액은 이다(작은 경우를 모두 확인).
연습 3.7 (Fibonacci 수 ★★) , 에 대해 (a) , (b) 을 보여라.
풀이
(a) 이면 이다. . (b) , 이다. 이고 앞의 두 값에서 성립하면
연습 3.8 (잘못된 귀납 찾기 ★★) 다음 “증명”의 오류를 찾아라. 주장: 음이 아닌 모든 정수 에서 이다. 증명: 이면 맞다. 에서 맞다고 하자. 인 을 잡으면 이다.
풀이
에서 로 갈 때 , 인 음이 아닌 정수가 없다. 귀납 단계가 에서 깨진다. 로 쓰면 이 귀납 가정의 범위() 밖이다. 이 논증은 에서만 작동하므로 기저 이 필요한데, 이다.
연습 3.9 (교란순열의 재귀 ★★★) 의 순열 가운데 어느 도 제자리에 있지 않은 것의 수를 이라 하자. (a) (), , 임을 보여라. (b) 이 이 재귀와 처음 두 값을 만족함을 보이고, 유일성으로 공식을 증명하라. (1회의 Montmort 문제를 포함배제 없이 푼 것이다.)
풀이
(a) 교란순열 에서 라 하자(, 가지). 인 를 본다. 인 경우: 는 과 를 맞바꾸고, 나머지 개 위에서 교란순열이다. 가지다. 인 경우: 위의 를 , 나머지는 로 정하면 는 순열이고 이므로 교란순열이다. 거꾸로 교란순열 와 가 주어지면 로 를 되살릴 수 있으므로 일대일 대응이다. 가지다. 마다 가지이므로 이다. , 은 직접 센다. (b) 이면 이다(마지막 항이 ). , 이다. 이므로
과 은 같은 재귀와 같은 처음 두 값을 가지므로 강한 귀납법으로 모든 에서 같다. 처음 값들은 이다. 이 Montmort 문제에서 하나도 맞지 않을 확률이다.