{{위키데이터 속성 추적}}
[[파일:Domen-indukto.png|섬네일]]
'''수학적 귀납법'''(數學的歸納法, {{llang|en|mathematical induction}})은 모든 [[자연수]]가 어떤 주어진 성질을 만족시킨다는 명제를 증명하는 방법의 하나이다. 가장 작은 자연수(문맥에 따라 0일 수도 1일 수도 있다)가 그 성질을 만족시킴을 증명한 뒤, 만약 어떤 자연수가 만족시키면 바로 다음 자연수 역시 만족시킴을 증명하기만 하면, 모든 자연수에 대한 증명이 끝난다. 이는 임의의 [[정초 관계]]를 갖춘 집합 위의 [[초한 귀납법]]으로 확장할 수 있다. 수학적 귀납법은 이름과는 달리 [[귀납적 논증]]이 아닌 [[연역적 논증]]에 속한다. 수학적 귀납법은 자연수의 [[페아노 공리계]]의 [[공리]]이며, [[메타논리학]]적 [[추론 규칙]]이기도 하다.

== 정의 ==
자연수의 ([[2차 논리]]) 이론인 [[페아노 공리계]]에서는 다음과 같은 [[공리]]가 등장한다. 임의의 1항 술어 <math>P(-)</math>가 다음 두 조건을 만족시킨다고 하자.
* <math>P(0)</math>이 성립한다.
* 임의의 <math>n\in\mathbb N</math>에 대하여, 만약 <math>P(n)</math>이 성립한다면, <math>P(n+1)</math> 역시 성립한다.
그렇다면, 임의의 <math>n\in\mathbb N</math>에 대하여, <math>P(n)</math>이 성립한다. 이 공리를 '''수학적 귀납법'''이라고 한다. 이를 기호로 표기하면 다음과 같다.
:<math>\forall P(-)((P(0)\land\forall n(P(n)\implies P(n+1)))\implies\forall n P(n))</math>
수학적 귀납법을 구체적으로 서술하면 다음과 같다. 임의의 자연수 부분 집합 <math>S\subseteq\mathbb N</math>이 다음 두 조건을 만족시킨다고 하자.
* <math>0\in S</math>
* 임의의 <math>n\in\mathbb N</math>에 대하여, <math>n\in S</math>라면, <math>n+1\in S</math>
그렇다면, <math>S=\mathbb N</math>이다. (즉, 임의의 <math>n\in\mathbb N</math>에 대하여, <math>n\in S</math>이다.) 이를 기호로 표기하면 다음과 같다.
:<math>\forall S\subseteq\mathbb N(0\in S\supseteq S+1\implies S=\mathbb N)</math>

== 변형 ==
수학적 귀납법의 여러 가지 변형 또는 일반화가 존재하며, 이들은 수학적 귀납법을 사용하여 증명된다.

=== 시작점 ===
[[정수]] <math>m\in\mathbb Z</math>가 주어졌을 때, 임의의 정수 부분 집합 <math>S\subseteq\mathbb Z</math>가 다음 두 조건을 만족시킨다고 하자.
* <math>m\in S</math>
* 임의의 <math>n\in\mathbb Z</math>에 대하여, 만약 <math>n\in S</math>라면, <math>n+1\in S</math>
그렇다면, <math>\{n\in\mathbb Z\colon n\ge m\}\subseteq S</math>이다. 즉, 임의의 <math>n\in\mathbb Z</math> (<math>n\ge m</math>)에 대하여, <math>n\in S</math>이다. 수학적 귀납법은 여기서 <math>m=0,1</math>인 특수한 경우이다.
{{증명}}
임의의 <math>n\in\mathbb N</math>에 대하여 <math>m+n\in S</math>임을 증명하기만 하면 된다. 이는 수학적 귀납법으로 다음과 같이 증명된다.
;0에 대하여 성립
:<math>m+0=m\in S</math>
;<math>n</math>에 대하여 성립한다는 가정 아래, <math>n+1</math>에 대하여 성립
:가정에 따라 <math>m+n\in S</math>이므로, <math>m+(n+1)=(m+n)+1\in S</math>이다. 즉, <math>n+1</math>에 대하여 성립한다.
수학적 귀납법에 따라, 임의의 <math>n\in\mathbb N</math>에 대하여, <math>m+n\in S</math>이다. 임의의 <math>n'\in\mathbb Z</math> (<math>n'\ge m</math>)에 대하여, <math>n'=m+n</math>인 <math>n\in\mathbb N</math>이 존재하므로, <math>n'=m+n\in S</math>이다.
{{증명 끝}}

=== 역진 귀납법 ===
자연수 <math>m\in\mathbb N</math>이 주어졌을 때, 임의의 자연수 부분 집합 <math>S\subseteq\mathbb N</math>이 다음 두 조건을 만족시킨다고 하자.
* <math>m\in S</math>
* 임의의 <math>n\in\mathbb N</math>에 대하여, 만약 <math>n+1\in S</math>라면, <math>n\in S</math>
그렇다면, <math>\{n\in\mathbb N\colon n\le m\}\subseteq S</math>이다. 즉, 임의의 <math>n\in\mathbb N</math> (<math>n\le m</math>)에 대하여, <math>n\in S</math>이다.
{{증명}}
임의의 <math>n\in\mathbb N</math>에 대하여 <math>n>m</math>이거나 <math>m-n\in S</math>임을 증명하기만 하면 된다. 이는 수학적 귀납법으로 다음과 같이 증명된다.
;0에 대하여 성립
:<math>m-0=m\in S</math>
;<math>n</math>에 대하여 성립한다는 가정 아래, <math>n+1</math>에 대하여 성립
:만약 <math>n\ge m</math>이라면, <math>n+1>m</math>이므로 성립한다. 만약 <math>n<m</math>이라면, <math>m-(n+1)=(m-n)-1\in S</math>이므로 성립한다.
{{증명 끝}}

=== 초한 귀납법 ===
{{본문|초한 귀납법}}
임의의 자연수 부분 집합 <math>S\subseteq\mathbb N</math>이 다음 조건을 만족시킨다고 하자.
* 임의의 <math>n\in\mathbb N</math>에 대하여, 만약 <math>\{k\in\mathbb N\colon k<n\}\subseteq S</math>라면, <math>n\in S</math>이다.
(특히, <math>n=0</math>일 경우 이는 <math>0\in S</math>를 뜻한다.) 그렇다면, <math>S=\mathbb N</math>이다. 즉, 임의의 <math>n\in\mathbb N</math>에 대하여, <math>n\in S</math>이다. 이를 자연수 집합 위의 [[초한 귀납법]]이라고 하며, '''제2/강한/완전 수학적 귀납법'''이라고도 한다.
{{증명}}
임의의 <math>n\in\mathbb N</math>에 대하여 <math>\{k\in\mathbb N\colon k<n\}\subseteq S</math>임을 증명하기만 하면 된다. 이는 수학적 귀납법으로 다음과 같이 증명된다.
;0에 대하여 성립
:<math>\{k\in\mathbb N\colon k<0\}=\varnothing\subseteq S</math>
;<math>n</math>에 대하여 성립한다는 가정 아래, <math>n+1</math>에 대하여 성립
:<math>n</math>에 대하여 성립하므로, <math>S</math>가 만족시키는 조건에 따라, <math>n\in S</math>이다. 따라서, <math>\{k\in\mathbb N\colon k<n+1\}=\{k\in\mathbb N\colon k<n\}\cup\{n\}\subseteq S</math>이다. 즉, <math>n+1</math>에 대하여 성립한다.
{{증명 끝}}
보다 일반적으로, [[정초 관계]] <math>\sim_R</math>를 갖춘 [[집합]] <math>X</math>의 부분 집합 <math>S\subseteq X</math>가 다음 조건을 만족시킨다고 하자.
* 임의의 <math>x\in X</math>에 대하여, 만약 <math>\{y\in X\colon y\sim_Rx\}\subseteq S</math>라면, <math>x\in S</math>이다.
그렇다면, <math>S=X</math>이다. 즉, 임의의 <math>x\in X</math>에 대하여, <math>x\in S</math>이다.

=== 기타 ===
그 밖에도 수학적 귀납법과 비슷한 증명법이 많이 존재한다. 예를 들어, 임의의 자연수 부분 집합 <math>S\subseteq\mathbb N</math>이 다음 두 조건을 만족시킨다고 하자.
* <math>0,1\in S</math>
* 임의의 <math>n\in\mathbb N</math>에 대하여, 만약 <math>n\in S</math>라면, <math>n+2\in S</math>
또는, 다음 두 조건을 만족시킨다고 하자.
* <math>0\in S</math>
* 임의의 <math>n\in\mathbb N</math>에 대하여, 만약 <math>n\in S</math>라면, <math>2n,2n+1\in S</math>
그렇다면, <math>S=\mathbb N</math>이다. 즉, 임의의 <math>n\in\mathbb N</math>에 대하여, <math>n\in S</math>이다.

== 성질 ==
=== 수학적 귀납법보다 약한 명제 ===
[[페아노 공리계]]에서 수학적 귀납법을 제외하여 얻는 이론 아래, 다음 두 명제가 서로 동치이다.
* [[자연수의 정렬성]]
* [[초한 귀납법]]
* [[무한 강하법]]
수학적 귀납법은 이 세 명제를 함의하지만, 이 세 명제는 수학적 귀납법을 함의하지 않는다. 예를 들어, 다음과 같은 대상들로 이루어진 [[구조 (논리학)|구조]]는 자연수의 정렬성 및 초한 귀납법 및 무한 강하법을 만족시키지만, 수학적 귀납법을 만족시키지 않으므로 페아노 공리계의 [[구조 (논리학)|모형]]이 아니다.
* 집합 <math>\{0,0.5,1,1.5,\dots\}</math>
* 상수 <math>0</math>
* [[단항 연산]] <math>(-)+1</math>

=== 수학적 귀납법과 동치인 명제 ===
페아노 공리계에서 수학적 귀납법을 제외하여 얻는 이론 아래, 다음 두 명제가 서로 동치이다.
* 수학적 귀납법
* 다음 두 명제의 [[논리곱]]
** 자연수의 정렬성 (또는 초한 귀납법 또는 무한 강하법)
** <math>\mathbb N\setminus\{0\}\subseteq\mathbb N+1</math>. 즉, 모든 0이 아닌 자연수는 어떤 자연수 더하기 1이다.
{{증명}}
;수학적 귀납법 ⟹ 자연수의 정렬성 + 모든 0이 아닌 자연수는 어떤 자연수 더하기 1
:이는 [[자연수]]의 성질이다.
;수학적 귀납법 ⟸ 자연수의 정렬성 + 모든 0이 아닌 자연수는 어떤 자연수 더하기 1
:[[귀류법]]을 사용하여, 어떤 진부분 집합 <math>S\subsetneq\mathbb N</math>이 수학적 귀납법의 전제 조건을 만족시킨다고 하자. 그렇다면 <math>\mathbb N\setminus S\ne\varnothing</math>이므로, 최소 원소 <math>m\in\mathbb N\setminus S</math>가 존재한다. 이때 <math>0\in S</math>이므로 <math>m\ne 0</math>이다. 페아노 공리계의 공리와 모든 0이 아닌 자연수는 어떤 자연수 더하기 1임에 따라, <math>m-1\in\mathbb N</math>을 유일하게 정의할 수 있으며, <math>m-1<m</math>이므로 <math>m-1\in S</math>이다. <math>S</math>가 만족시키는 조건에 따라 <math>m=(m-1)+1\in S</math>인데, 이는 모순이다.
{{증명 끝}}

== 예 ==
모든 자연수가 어떤 성질을 만족시킨다는 명제에 대한 수학적 귀납법을 통한 증명은 다음과 같은 두 단계로 구성된다.
# 처음 오는 자연수(0 또는 1)에 대한 증명
# <math>n</math>이 만족시킨다는 가정 아래, <math>n+1</math>에 대한 증명
자연수와 관련된 수많은 [[항등식]] · [[부등식]] · [[기하학]] 정리 따위를 이러한 단계들을 거쳐 증명할 수 있다.

=== 홀수의 합 공식 ===
[[홀수]]의 합 공식
:<math>1+3+5+\cdots+(2n-1)=n^2</math>
이 임의의 자연수 <math>n</math>에 대하여 성립한다는 사실을 다음과 같이 증명할 수 있다.
;1에 대하여 성립
:1에 대한 공식 <math>1=1^2</math>은 자명하게 성립한다.
;<math>n</math>에 대하여 성립한다는 가정 아래, <math>n+1</math>에 대하여 성립
:<math>n</math>에 대하여 성립하므로, 다음이 성립한다.
::<math>1+3+5+\cdots+(2n-1)=n^2</math>
:양변에 <math>2n+1</math>를 더하면, 다음과 같다.
::<math>1+3+5+\cdots+(2n-1)+(2(n+1)-1)=n^2+2n+1=(n+1)^2</math>
:이에 따라, <math>n+1</math>에 대하여 성립한다.
수학적 귀납법에 따라, 임의의 <math>n\in\mathbb N</math>에 대하여, 홀수의 합 공식이 성립한다.

=== 빨간 눈 퍼즐 ===
{{본문|공유 지식}}
어떤 섬의 사람들에게 다음과 같은 조건이 주어졌다고 하자.
* 각 섬사람은 빨간 눈을 갖거나, 파란 눈을 갖는다.
* 각 섬사람은 자신을 제외한 이들의 눈 색을 안다.
* 각 섬사람은 거울을 볼 수 없으며, 다른 이들에게 자신의 눈 색을 물을 수 없다.
* 자신이 빨간 눈임을 알게 된 섬사람은 그날 밤 섬을 떠나야 한다.
* 어느 날 아침에 이방인이 찾아와 섬사람들 중에 빨간 눈이 있다는 말을 흘렸다.
* 다음과 같은 지식들은 섬사람들 사이에서 [[공유 지식]]이다. (즉, 사실이며, 모두가 알며, 모두가 앎을 모두가 알며, ...)
** 모든 구성원의 사고력은 충분히 뛰어나다.
** 이방인은 정직하다.
그렇다면, 빨간 눈을 가진 섬사람의 수가 <math>n</math>이라면, 모든 빨간 눈은 이방인이 찾아온 날부터 세어 <math>n</math>번째 날 밤에 섬을 떠나게 되며, 이를 수학적 귀납법을 통해 증명할 수 있다. 이방인은 (<math>n>1</math>이라면) 모두가 알고 있는 뻔한 사실을 말했을 뿐이지만, 평소와는 다른 특별한 결과를 가져왔다.

== 역사 ==
최초로 수학적 귀납법이 사용된 예는 [[유클리드]]의 소수의 무한성에 대한 증명이나 [[바스카라 2세]]의 "순환 방법"(cyclic method) 등에서 찾을 수 있다.".<ref name="Induction Bussey">Cajori (1918), p. 197<blockquote>The process of reasoning called "Mathematicla Induction" has had several independent origins. It has been traced back to the Swiss Jakob (James) Bernoulli, the Frenchman B. Pascal and P. Fermat, and the Italian F. Maurolycus. [...] By reading a little between the lines one can find traces of mathematical induction still earlier, in the writings of the Hindus and the Greeks, as, for instance, in the "cyclic method" of Bhaskara, and in Euclid's proof that the number of primes is infinite.</blockquote></ref><ref>[참고](EUCLID’S THEOREM ON THE INFINITUDE OFPRIMES: A HISTORICAL SURVEY OF ITS PROOFS(300B.C.–2017)ROMEO MEˇSTROVI ́C , arXiv:1202.3670) https://arxiv.org/abs/1202.3670</ref>[[알카라지]]는 1000년 경에 쓴 책에서 [[이항 정리]] 등을 증명하기 위해 수학적 귀납법의 한 형태를 사용했다.<ref>Katz (1998), p. 255-259. <blockquote>Another important idea introduced by [[al-Karaji]] and continued by [[Ibn Yahyā al-Maghribī al-Samaw'al|al-Samaw'al]] and others was that of an inductive argument for dealing with certain arithmetic sequences.</blockquote></ref>
<ref>{{MacTutor|id=Al-Karaji|title=Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji|date=1999-07}}
<blockquote>Al-Karaji also uses a form of mathematical induction in his arguments, although he certainly does not give a rigorous exposition of the principle.</blockquote></ref> 그러나 이들은 수학적 귀납법을 자신이 사용한 가정으로서 명확히 밝히지 않았으며, 처음으로 귀납법에 대한 엄밀한 서술을 한 이는 [[프란체스코 마우롤리코]] (Francesco Maurolico)로, 그는 1575년의 저서 〈Arithmeticorum libri duo〉에서 이를 이용해 가장 작은 n개의 홀수를 더하면 n<sup>2</sup>이 됨을 증명했다. 스위스의 [[야코프 베르누이]]와 프랑스의 [[블레즈 파스칼]] 및 [[피에르 드 페르마]]도 귀납법을 독립적으로 발견했다.<ref name="Induction Bussey"/>

수학적 귀납법은 1838년 [[오거스터스 드 모르간]]에 의해 처음으로 귀납법(induction) 또는 연속 귀납법(successive induction)이라고 불렸다.<ref name="De Morgan">De Morgan: Artikel ''Induction (Mathematics)'' in: Penny Cyclopædia XII (1838), S. 465–466.</ref> 1888년과 1889년에는 [[리하르트 데데킨트]]와 [[주세페 페아노]]가 각각 독립적으로 귀납법을 공식화, 공리화했다. 1888년, 데데킨트는 <Was sind und was sollen die Zahlen?''>''라는 제목의 모노그래프를 내면서 완전 귀납법(Vollständige Induktion)이라는 표현을 사용했다.<ref name="Dedekind">Richard Dedekind: [http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN23569441X&DMDID=dmdlog55 ''Was sind und was sollen die Zahlen?''], Braunschweig 1888, §&nbsp;6 Satz 80, Originalwortlaut: Satz der vollständigen Induktion (Schluss von n auf n’). Um zu beweisen, dass ein Satz für alle Zahlen n einer Kette m<sub>0</sub> gilt, genügt es zu zeigen, dass er für n = m gilt und dass aus der Gültigkeit des Satzes für eine Zahl n der Kette m<sub>0</sub> stets seine Gültigkeit auch für die folgende Zahl n’ folgt.</ref><ref>{{서적 인용|title=Was sind und was sollen die Zahlen?|author=Richard Dedekind|year=1888|publisher=Vieweg|location=Braunschweig}} Online available at: [http://echo.mpiwg-berlin.mpg.de/ECHOdocuView?pn=1&url=%2Fmpiwg%2Fonline%2Fpermanent%2Feinstein_exhibition%2Fsources%2F8GPV80UY%2Fpageimg&viewMode=images&tocMode=thumbs&tocPN=1&searchPN=1&mode=imagepath&characterNormalization=reg&queryPageSize=10 MPIWG] [http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN23569441X&DMDID=dmdlog55 GDZ] [http://www.digibib.tu-bs.de/?docid=00063941 UBS]</ref> 여기서 데데킨트는 실수의 산술을 귀납법 공리를 포함하는 수 공리로부터 이끌어내는 데에 초점을 두었다. 이듬해인 1889년에는 주세페 페아노가 자연수를 기술하는 최초의 공식화된 공리계인 [[페아노 공리계]]를 제안하면서 귀납법을 공리화했다. 이 시기에 이르러 수학적 귀납법은 비로소 지금의 엄밀함을 갖추었다.

== 같이 보기 ==
* [[재귀]]
* [[구조적 귀납법]]
* [[무한 공리]]

== 각주 ==
{{각주}}

{{전거 통제}}

[[분류:증명]]
[[분류:귀납]]
[[분류:수리논리학]]