1. 수학적 귀납법의 정의 수학적 귀납법이란, '모든 자연수 n에 대하여 자연수에 관한 명제 P(n)이 성립함'을 보이는 증명 방법이다. 이 증명법은 크게 기본단계와 귀납단계로 나뉜다. 기본단계는 출발점인 n에 대하여 명제 P(1) (또는 P(0))이 성립함을 보이는 것이고, 귀납단계는 어떤 자연수 k에 대하여 P(k)가 성립한다는 가정 하에 P(k+1)도 성립함을 보이는 것이다. 2. 수학적 귀납법의 역사적 사실 수학적 귀납법은 아주 오래전부터 다루어진 증명법이다. 고대 그리스 수학자인 '유클리드 (Euclid)'가 '소수의 무한...

1. 수학적 귀납법 수학적 귀납법은 한 개의 도미노가 넘어지면 다른 도미노도 차례로 쓰러지고, K 번째 도미노가 쓰러지면 K+1번째 도미노가 쓰러지는 것과 같이 어떤 명제가 모든 자연수에 대해 참임을 증명하고자 할 때 사용한다. 수학적 귀납법은 과학뿐만 아니라 그래프이론, 정수론, 선형대수학, 해석학, 기하학, 확률론 등 수학의 대부분 분야에서 사용되었고, 컴퓨터과학과 알고리즘 발달 초점을 둔 오늘날의 인공지능 시대에는 더욱 필요한 논리이다. 2. 수학적 귀납법의 역사 유클리드는 자신의 저서 '원론'에서 처음으로 수학적 귀납법을 사...