1. 서론 1.1. 수학적 귀납법의 정의 수학적 귀납법은 수학적인 명제나 성질이 자연수에 대해서 참인 경우, 그 성질이 모든 자연수에 대해서도 참이라는 것을 보이는 증명 방법이다. 이 방법은 세 단계로 이루어져 있는데, 첫째, '기초 단계'에서는 성질이 자연수 1에 대해서 참인지를 보인다. 둘째, '귀납적 가정 단계'에서는 어떤 특정 자연수 k에 대해서 성질이 참이라고 가정한다. 셋째, '귀납적 추론 단계'에서는 성질이 자연수 k+1에 대해서도 참임을 보인다. 이러한 세 단계를 통해 성질이 모든 자연수에 대해서 참임을 증명하게 되...