수학적 귀납에서
우리는 수학적 귀납의 뜻과 의미, 그리고 그 원칙과 논리적으로 등가인 최소 원소의 원칙에 대하여 보았다. 마지막으로 수학적 귀납을 적용하는데 조심하여야 할 것을 문제 형식으로 보았다. 예제 몇개를 문제 형식으로 담았지만, 여기서는 앞에서 나온 문제들의 해결과 다른 문제들을 보면서 수학적 귀납이 어떤 의미를 갖는지 더 구체적으로 보기로 한다.
부등식
인 모든 수 p에 대해 그리고 1보다 크거나 같은 자연수 n에 대해
뉴튼의 Binomial Form.
여기서
!
수열의 합
을 구하시오.
다음의 피보나치 수열이 주어졌다고 할 때, 이 수열에서 7롤 나누어지는 두 원소는 이웃할 수 없다.
111 은 3으로 나뉜다. 111111111(1이 아홉개)은 9로 나뉜다. (1이 27개)는 27로 나뉜다. 이 수학적 문장을 일반화해보자. (1이 개)는 으로 나뉜다. 참인가?
어떤 평면을 직선들이 분할한다. 직선을 두개 이상 그엇을 때, 두가지 색만을 써서 직선을 사이에 두고 마주하는 두 부분은 색이 같지 않도록 칠하는 것은 가능할까?
30원짜리 우표와 50원짜리 우표가 원하는 만큼 많이 있다고 하자. 그렇다면 80원 보다 같거나 우표를 붙여야 하는 곳이라면 어디나 편지를 붙일 수 있다?
(하노이 탑) 아래 그림과 같이 봉이 셋이 있고 크기가 다른 고리들이 있다고 하자. 한고리에서 다른 고리로 옮기려고 한다. 작은 고리 위에 큰 고리를 옮길수 없고 한번에 하나만 옮겨야 한다는 규칙이 있다. 그럴 때 고리의 수가 몇 개가 되든 한고리에 피라미드 모양으로 쌓인 고리를 다른 고리에 그대로 옮길 수 있다는 것을 보이시오.
고리가 네개 일 때 옮기는 animation :
사람들이 많이 오는 모임을 한다. 어떤 사람들은 악수를 하곤 한다. 악수가 홀수번일어났다면 악수한 사람은 짝수라는 것을 보이시오.
정사각형들을 붙여 놓았고 , 그것들은 작은 정사각형 단위로 표시가 되어 있다. 어떤 n에 대해서도 이를 정사각형 셋을 붙인 'ㄴ' 자 모양을 잘라낼 수 있다?
예) 일 때,
1과 1일 나란히 써있다고 하자. 그 사이에 이 둘의 합 2을 쓰면 1,2,1을 얻을 수 있다. 다시 이 수열 사이에 이웃하는 수들의 합을 쓰면 1, 3, 2, 3, 1을 얻는다. 위의 과정을 100번 하고 그 수들을 모두 더하면 얼마일까?
다음의 n 이 자연수라면 은 소수다.
n = 1 일 때 참. n=2 일 때도 참. n=3, 4, 5, 6, ....에 대해서 계속 참. 그렇다면 모든 자연수에 대해서도 ? 아니다. n 이 41일 때, 소수 아니다.
다음의 n 이 자연수라면, 은 6 으로 나뉜다.
n = 1 일 때 참. n=2 일 때도 참. n=3, 4, 5, 6, ....에 대해서 계속 참. 그렇다면 언제까지 이것을 검토해볼 수 있을까? 1 일때는 붐분명히 참이다. 이제 어떤 k 에서 위의 문장이 참일 때, k+1 에서도 참이 되는가 확인해보자. 그렇다. 왜?