원주율의 무리성 증명

원주율은 고대로부터 많은 연구가 이루어졌으며, 무리수의 존재 또한 고대로부터 널리 알려져 있었다. 그러나 원주율이 무리수라는 것은 18세기까지 증명이 이루어지지 않았다.

1761년 스위스 수학자 요한 람베르트가 처음으로 원주율이 무리수라는 것을 증명했다. 19세기에는 샤를 에르미트가 기초적인 미적분학 지식만을 필요로 하는 증명을 내놓았다. 메리 카트라이트와 아이반 니븐, 미클로시 러츠코비치는 보다 단순화된 증명을 내놓았다.

## 람베르트의 증명
1761년 요한 람베르트는 탄젠트 함수를 다음과 같은 연분수로 나타낼  수 있음을 증명했다.

:\tan(x) = \cfrac{x}{1 - \cfrac{x^2}{3 - \cfrac{x^2}{5 - \cfrac{x^2}{7 - {}\ddots}}}}.

또한 x가 0이 아닌 유리수일 때, 위 연분수는 무리수가 된다는 것도 증명했다. 그런데 tan(&pi;/4)&nbsp;=&nbsp;1이므로, &pi;/4는 무리수가 된다. 따라서 &pi;는 무리수라는 것이 증명된다.
## 에르미트의 증명
샤를 에르미트는 귀류법을 통해 원주율이 무리수라는 것을 증명했다.

먼저 실수에 대해 정의된 함수 *A**n*(*x*)와 *U**n*(*x*)를 다음과 같이 정의한다.

#A_0(x)=\sin(x);\,
#(\forall n\in\mathbb{Z}_+):A_{n+1}(x)=\int_0^xyA_n(y)\,dy;
#U_0(x)=\frac{\sin(x)}x;
#(\forall n\in\mathbb{Z}_+):U_{n+1}(x)=-\frac{U_n'(x)}x.

sin(*x*)의 테일러 전개와 수학적 귀납법을 통해 *A**n*(*x*)와 *U**n*(*x*)를 다음과 같이 유도할 수 있다.

:(\forall n\in\mathbb{Z}_+):A_n(x)=\frac{x^{2n+1}}{(2n+1)!!}-\frac{x^{2n+3}}{2\times(2n+3)!!}+\frac{x^{2n+5}}{2\times4\times(2n+5)!!}\mp\cdots
:(\forall n\in\mathbb{Z}_+):U_n(x)=\frac1{(2n+1)!!}-\frac{x^2}{2\times(2n+3)!!}+\frac{x^4}{2\times4\times(2n+5)!!}\mp\cdots

위의 두 식에 의해 다음 등식이 성립한다.

:U_n(x)=\frac{A_n(x)}{x^{2n+1}}.

따라서 처음의 정의 4에 의해 다음과 같은 미분 방정식이 성립한다.

:\frac{A_{n+1}(x)}{x^{2n+3}}=U_{n+1}(x)=-\frac{U_n'(x)}x=-\frac1x\frac d{dx}\left(\frac{A_n(x)}{x^{2n+1}}\right)

위 식은 다시 다음과 같이 정리할 수 있다.

:A_{n+1}(x)=(2n+1)A_n(x)-xA_n'(x)=(2n+1)A_n(x)-x^2A_{n-1}(x)

위 점화식과, *A*0(*x*)&nbsp;=&nbsp;sin(*x*)이고 *A*1(*x*)&nbsp;=&nbsp;−*x*&nbsp;cos(*x*)&nbsp;+&nbsp;sin(*x*)인 점을 이용하면, 수학적 귀납법을 통해 *A**n*(*x*)를 다음과 같이 유도할 수 있다.

:A_n(x)=P_n(x^2)\sin(x)+xQ_n(x^2)\cos(x)

이때 *P**n*(*x*) 와 *Q**n*(*x*)는 모두 정수를 인수로 갖는 다항식이며, *P**n*(*x*)의 차수는 \left\lfloor\frac n2\right\rfloor 이하라는 것을 증명할 수 있다. 또한 A_n\left(\frac\pi2\right)=P_n\left(\frac{\pi^2}4\right)가 성립한다.

또한 에르미트는 다음 등식을 제시했다.

:\frac{1}{2^nn!}\int_0^1(1-z^2)^n\cos(xz)\,dz=\frac{A_n(x)}{x^{2n+1}}=U_n(x)

에르미트는 위 등식의 증명을 제시하지는 않았으나, 다음과 같이 증명할 수 있다.

*n*&nbsp;=&nbsp;0일 때 위 등식은 참이 된다.

:\int_0^1\cos(xz)\,dz=\frac{\sin(x)}x=U_0(x)

또한 임의의 양의 정수 *n*에 대해 다음이 성립한다고 가정하면

:\frac{1}{2^nn!}\int_0^1(1-z^2)^n\cos(xz)\,dz=U_n(x)

부분적분과 라이프니츠 적분 법칙에 의해 다음과 같이 수학적 귀납법을 증명할 수 있다.

:\begin{align}
& {}\quad \frac{1}{2^{n+1}(n+1)!}\int_0^1(1-z^2)^{n+1}\cos(xz)\,dz \\
& =\frac{1}{2^{n+1}(n+1)!}\Biggl(\overbrace{\left.\int_0^1(1-z^2)^{n+1}\frac{\sin(xz)}x\right|_{z=0}^{z=1}}^{=\,0} + \int_0^12(n+1)(1-z^2)^nz\frac{\sin(xz)}x\,dz\Biggr)\\[8pt]
&=\frac1x\cdot\frac1{2^nn!}\int_0^1(1-z^2)^nz\sin(xz)\,dz\\[8pt]
&=-\frac1x\cdot\frac d{dx}\left(\frac1{2^nn!}\int_0^1(1-z^2)^n\cos(xz)\,dz\right) \\[8pt]
& =-\frac{U_n'(x)}x = U_{n+1}(x)
\end{align}

이제 \pi가 유리수라고 가정하자. 이때 \frac{\pi^2}{4}=\frac{p}{q}이고, *p*와 *q*가 자연수라고 가정할 수 있다. 위에서 *P**n*(*x*)가 정수 계수를 갖는 다항식이고, 차수가 \left\lfloor\frac n2\right\rfloor 이하라는 것을 증명했으므로, q^{\left\lfloor\frac n2\right\rfloor} P_n(\pi ^2 / 4)는 정수이다. 즉 다음과 같은 정수 *N*이 존재해야 한다.

:\begin{align}N&=q^{\left\lfloor\frac n2\right\rfloor}A_n\left(\frac\pi2\right)\\&=q^{\left\lfloor\frac n2\right\rfloor}\frac{\left(\frac pq\right)^{n+\frac 12}}{2^nn!}\int_0^1(1-z^2)\cos\left(\frac\pi2z\right)\,dz.\end{align}

위 식에서 적분 부분은 0보다 크고 1보다 작다는 것을 쉽게 알 수 있다. 또한

:\lim_{n\in\mathbb{N}}q^{\left\lfloor\frac n2\right\rfloor}\frac{\left(\frac pq\right)^{n+\frac 12}}{2^nn!}=0

이므로 *n*이 충분히 클 때 계수 부분은 1보다 작다는 것을 알 수 있다. 따라서 충분히 큰 *n*에 대해 *N*은 0보다 크고 1보다 작다. 이것은 위에서 추론한 *N*이 정수라는 명제와 모순이므로, &pi;가 유리수라는 가정은 거짓임을 증명할 수 있다.

에르미트의 위 증명은 람베르트의 증명과 거의 유사하다. *A**n*(*x*)가 람베르트가 사용한 tan(*x*)의 연분수 전개의 나머지 부분에 해당하기 때문이다.

## 니븐의 증명
아이반 니븐은 아래와 같은 단순화된 증명을 내놓았다.

섬네일
**가정**: &pi;가 유리수라고 가정하자. 그러면 &pi;는 양수이므로 &pi;&nbsp;=&nbsp;*a*/*b*인 양의 정수 *a*와 *b*가 존재한다.

위에서 정의한 *a*와 *b*, 그리고 임의의 양의 정수 *n*에 대해 다항식 *f**n*(*x*)을 다음과 같이 정의한다.

:f_n(x) = \frac{x^n(a - bx)^n}{n!},\quad x\in\mathbb{R}

또 *F**n*(*x*)을 *f**n*의 짝수차 도함수의 교대합으로 정의한다.

:F_n(x) = f_n(x) + \cdots + (-1)^j f_n^{(2j)}(x) + \cdots + (-1)^n f_n^{(2n)}(x),\quad x\in\mathbb{R}

**명제 1**: *F**n*(0) + *F**n*(&pi;)는 정수이다.

**증명**: 다항식 *f**n*(*x)를* 전개하면, *x**k*의 계수는 \frac{c_k}{n!}의 형태를 갖는다. 이때 *c**k*는 정수이며, *k**k*&nbsp;=&nbsp;0이다. 따라서 *k*f_n^{(k)}(0)=0이고, *n*&le;*k*&le;2*n*일 때는 f_n^{(k)}(0)=\frac{k!}{n!}c_k이다. 두 경우 모두 f_n^{(k)}(0)은 정수이므로 *F**n*(0)은 정수이다.

한편 &pi;&nbsp;=&nbsp;*a*/*b*이므로, 정의에 의해 *f**n*(&pi;&minus;*x*)=*f**n*(*x*)가 된다. 따라서 임의의 음이 아닌 정수 *k*에 대해 (-1)^k f_n^{(k)} (\pi-x) = f_n^{(k)}(x)이고, *x*에 0을 대입하면 (-1)^k f_n^{(k)} (\pi) = f_n^{(k)}(0)이 된다. 따라서 f_n^{(k)} (\pi) 또한 정수이고 *F**n*(&pi;)도 정수이다.

**명제 2**:
: \int_0^\pi f_n(x)\sin x \,dx=F_n(0)+F_n(\pi)

**증명**: *f**n*의 차수는 2*n*이므로 f_n^{(2n+2)}(x)=0이다. 따라서  F_n*(x) + F_n(x) = f_n(x)</math>이다.

sin 함수의 [[도함수]]는 cos이고, cos의 도함수는 &minus;sin이므로, 곱의 미분 법칙에 의해

:<math>(F_n'(x)\cdot\sin x - F_n(x)\cdot\cos x)' = f_n(x)\cdot\sin x</math>

따라서 [[미적분학의 기본정리]]에 의해 다음 적분이 성립한다.

:<math>\int_0^\pi f_n(x)\sin x \,dx= \bigl(F'(x)\sin x - F(x)\cos x\bigr)\Big|_{0}^{\pi}</math>

위 등식을 정리하면 명제 2가 참이라는 것을 알 수 있다.

*'결론*': 0 < *x* < &pi;인 모든 *x*에 대해, <math>f_n(x) > 0, \sin x > 0</math>이 성립한다. 따라서 명제 2에 의해 *F*<sub>*n*</sub>(0)+*F*<sub>*n*</sub>(&pi;)는 양수이다.

한편 0 &le; *x* &le; &pi;인 모든 *x*에 대해 0 &le; *x*(*a*&minus;*bx*) &le; &pi;*a*이며, 0 &le; sin *x* &le; 1이다. 따라서 다음 부등식은 참이 된다.

:<math>\int_0^\pi f_n(x)\sin x \,dx\le\pi\frac{(\pi a)^n}{n!}</math>

<math>\lim_{n \to +\infty}\frac{(\pi a)^n}{n!}=0</math>이므로, 충분히 큰 *n*에 대해 위 식은 1보다 작다는 것을 알 수 있다.

즉 *F*<sub>*n*</sub>(0)+*F*<sub>*n''(&pi;)은 0보다 크고 1보다 작은 정수이다. 이는 모순이므로 최초의 가정이 틀렸으며, &pi;는 무리수라는 것을 알 수 있다.

## 같이 보기
* 라이프니츠의 원주율 공식
* 그레고리 급수
## 각주


분류:원주율
분류:증명