"Ζ(3)는 무리수이다(아페리의 정리)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
| 50번째 줄: | 50번째 줄: | ||
그러므로 <math>d_n</math> < <math>2.99^n</math>. ■ | 그러므로 <math>d_n</math> < <math>2.99^n</math>. ■ | ||
| − | |||
| − | |||
| 72번째 줄: | 70번째 줄: | ||
| − | '''보조정리 | + | '''보조정리 3''' |
| + | |||
| + | <math>u, v, w \in (0,1)</math> 이면, <math> $\varphi(u, v, w) = \frac{u(1-u)v(1-v)w(1-w)}{1-(1-uv)w} \le \frac{1}{27}</math>. | ||
| + | |||
| + | (증명) | ||
| + | |||
| + | 산술기하 부등식에서, <math>1- (1-uv)w = (1-w) + uvw \ge 2\sqrt{1-w}\sqrt{uvw}</math>이다. 그러므로, <math>\varphi(u,v,w) \le \frac{1}{2}\sqrt{(1-w)uvw}(1-u)(1-v)$$ ì´ë¤.</math><br><math>0<x<1</math>에서 <math>x(1-x)</math>의 최대값은 <math>\frac{1}{4}</math>이고, <math>x(1-x^2)</math>의 최대값은 <math>\frac{2}{3\sqrt{3}}</math>이다. 그러므로, | ||
| + | |||
| + | <math>\begin{eqnarray*} \varphi(u,v,w) &\le& \frac{1}{2}\sqrt{(1-w)w}\cdot\sqrt{u}(1-u)\cdot\sqrt{v}(1-v) \\ &\le& \frac{1}{2} \cdot \frac{1}{2}\cdot\frac{2}{3\sqrt{3}}\cdot \frac{2}{3\sqrt{3}}\\ &=& \frac{1}{27} \end{eqnarray*} # </math>■ | ||
| + | |||
| + | |||
| + | |||
| + | 주어진 명제를 증명할 수 있다. | ||
| − | + | ||
| − | |||
| − | |||
| − | + | (정의) 다항식 <math>P_n</math>을 다음과 같이 정의하자. | |
| + | |||
| + | <math>P_n(x) = \frac{1}{n!}\frac{d^n}{dx^n}\big(x^n(1-x)^n\big)</math> | ||
| + | |||
| + | 이 다항식은 정수계수 다항식인것을 알 수 있다. ([[르장드르 다항식]] 의 적당한 상수배이다.) | ||
| + | |||
| + | (정의) | ||
| + | |||
| + | <math>I_n = \int_0^1\int_0^1\frac{-\log(xy)}{1-xy}P_n(x)P_n(y) dxdy</math> 라고 하자. 아래의 과정을 살펴 보자. | ||
| − | + | * <math>P_n(x)P_n(y)</math>는 정수계수 다항식이다. 그러므로, 위 두번째 보조정리에 의하여,<math>I_n = \frac{A_n + B_n\zeta(3)}{d_n^3}</math>를 만족하는 정수 <math>A_n,\ B_n</math>가 존재한다.<br><math>\int_0^1\frac{1}{1-(1-xy)z}dz = -\frac{\log(xy)}{1-xy}</math>이므로, <math>I_n = \int_0^1\int_0^1\int_0^1 \frac{P_n(x)P_n(y)}{1-(1-xy)z} dxdydz</math>라고 쓸 수 있다.<br> | |
| − | + | * 연쇄법칙과 부분적분을 이용해서, 다음을 확인할 수 있다.<br><math>\begin{eqnarray*} I_n &=& \int_0^1\int_0^1\int_0^1 \frac{P_n(x)P_n(y)}{1-(1-xy)z} dxdydz \\ &=& \frac{1}{n!}\int_0^1\int_0^1\int_0^1 \frac{ \frac{d}{dx}\Big(\frac{d^{n-1}}{dx^{n-1}}\big(x^n(1-x)^n\big)\Big) P_n(y)}{1-(1-xy)z} dxdydz\\ &=& \frac{1}{n!}\int_0^1\int_0^1\int_0^1 \frac{ P_n(y)}{1-(1-xy)z} d\Big(\frac{d^{n-1}}{dx^{n-1}}\big(x^n(1-x)^n\big)\Big) dydz \\ &=& \frac{1}{n!}\int_0^1\int_0^1\int_0^1 P_n(y) yz \frac{\frac{d^{n-1}}{dx^{n-1}}\big(x^n(1-x)^n\big)}{\big(1-(1-xy)z\big)^2} dxdydz \end{eqnarray*}</math><br> 위 과정을 n번 반복하면 <math>I_n = \int_0^1\int_0^1\int_0^1 P_n(y) \frac{(xyz)^n(1-x)^n}{\big(1-(1-xy)z\big)^{n+1}} dxdydz</math>이다.<br> <br> | |
| − | + | * <math>w = \frac{1-z}{1-(1-xy)z}</math>를 치환하면, <math>I_n = \int_0^1\int_0^1\int_0^1 \frac{(1-x)^n (1-w)^n P_n(y)}{1-(1-xy)w} dxdydw</math> 이다.<br> 위와 같이 n 번의 부분적분을 거치면 <math>I_n = \int_0^1\int_0^1\frac{-\log(xy)}{1-xy}P_n(x)P_n(y) dxdy = \int_0^1\int_0^1\int_0^1 \frac{\big(x(1-x)y(1-y)z(1-z)\big)^n}{\big(1 - (1-xy)w\big)^{n+1}} dxdydw</math><br> | |
| − | + | * 다시, 두번째와 세번째 보조정리에 의해서<br><math>\begin{eqnarray*} I_n &\le& \frac{1}{27^n} \int_0^1\int_0^1\int_0^1 \frac{1}{1 - (1-xy)w}dxdydz \\ &=& \frac{1}{27^n}\int_0^1\int_0^1\frac{-\log(xy)}{1-xy}dxdy = \frac{2}{27^n}\zeta(3) \end{eqnarray*}</math><br> | |
| − | + | * 최종적으로 다음이 성립한다.<math>0 < |A_n + B_n \zeta(3)| d_n^{-3} < 2\zeta(3)\frac{1}{27^n}</math> | |
| − | |||
| − | |||
| − | |||
| − | |||
* 귀류법을 사용하자. 결론을 부정하여 <math>\zeta(3)</math>이 유리수, 예컨대 <math>$\zeta(3) = \frac{a}{b}</math> 라 하자(a, b는 서로소인 자연수).<br> | * 귀류법을 사용하자. 결론을 부정하여 <math>\zeta(3)</math>이 유리수, 예컨대 <math>$\zeta(3) = \frac{a}{b}</math> 라 하자(a, b는 서로소인 자연수).<br> | ||
** 첫번째 보조정리에 의하여,<br><math>0 < |bA_n + aB_n| < 2b \zeta(3) \Big(\frac{d_n}{3^n}\Big)^3 < 2b \zeta(3) \Big(\frac{2.99}{3}\Big)^{3n} </math><br> 충분히 큰 n을 잡으면, 자연수인 <math>|bA_n + aB_n|</math> 가 1보다 작아지므로 모순이다. | ** 첫번째 보조정리에 의하여,<br><math>0 < |bA_n + aB_n| < 2b \zeta(3) \Big(\frac{d_n}{3^n}\Big)^3 < 2b \zeta(3) \Big(\frac{2.99}{3}\Big)^{3n} </math><br> 충분히 큰 n을 잡으면, 자연수인 <math>|bA_n + aB_n|</math> 가 1보다 작아지므로 모순이다. | ||
2011년 1월 1일 (토) 07:34 판
이 항목의 스프링노트 원문주소
개요
- 리만 제타 함수 \(\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s}\) 는 정수론, 특히 소수 연구에서 아주 중요한 함수임
- 짝수에서의 리만 제타 함수의 값은 잘 알려져 있음
- 정수에서의 리만제타함수의 값
\(\zeta(2n) =(-1)^{n+1}\frac{B_{2n}(2\pi)^{2n}}{2(2n)!}, n \ge 1\)
- 정수에서의 리만제타함수의 값
- 홀수 값들에 대해서는 알려진 바가 별로 없음
- \(\zeta(3)\)은 무리수. (초월성에 대해서는 모름)
- \(\zeta(2n+1)\) 중 무리수인 것은 무수히 많다.
- \(\zeta(5), \zeta(7), \zeta(9), \zeta(11)\) 중 적어도 하나는 무리수이다.
Apery's constant
- 1979년 Apery는 \(\zeta(3)\) 이 무리수임을 보였다.
- \(\zeta(3) = \frac{5}{2} \sum_{n=1}^\infty \frac{(-1)^{n-1}}{n^3\binom{2n}{n}}\)
- 그때부터 \(\zeta(3)\) 는 Apery's constant 라 불린다.
증명
- Apery의 증명보다 좀 더 깔끔한 형태의 증명(Beuker의 증명과 유사)
보조정리 1
충분히 큰 n에 대하여, 1, 2, 3, …, n 의 최소공배수(\(d_n\)라 쓰자)는 \(2.99^n\) 보다 작다.
(증명)
\(d_n = \prod_{\substack{p\le n\\ p \mathrm{\ prime}}} p^{\lfloor \log_p n \rfloor} \le \prod_{\substack{p\le n\\ p \mathrm{\ prime}}} p^ {\log_p n} = \prod_{\substack{p\le n\\ p \mathrm{\ prime}}} n = n^{\pi(n)}\)
소수정리에 의하여, \(\pi(n) < \log2.99\cdot \frac{n}{\log n}\) 그러므로 \(n^{\pi(n)} < n^{\log_n 2.99^n} = 2.99^n\)
그러므로 \(d_n\) < \(2.99^n\). ■
보조정리 2
r, s 는 음 아닌 정수라 하자.
- r > s 이면
- \(\int_{0}^{1}\int_{0}^{1}\frac{x^r y^s}{1-xy}dxdy\) 는 분모가 \(d_r^2\)의 약수인 유리수이다.
- \(\int_{0}^{1}\int_{0}^{1}\frac{-x^r y^s \log(xy)}{1-xy}dxdy \) 는 분모가 \(d_r^3\)의 약수인 유리수이다.
- r = s 이면
- \(\int_{0}^{1}\int_{0}^{1}\frac{x^r y^s}{1-xy}dxdy = \zeta(2) - \sum_{j = 1}^{r}\frac{1}{j^2}\)
- \(\int_{0}^{1}\int_{0}^{1}\frac{-x^r y^s \log(xy)}{1-xy}dxdy = 2(\zeta(3) - \sum_{j = 1}^{r}\frac{1}{j^3})\)
(여기서 r = 0 이면 \(\sum_{j = 1}^{r}a_j = 0\)이라 하자)
보조정리 3
\(u, v, w \in (0,1)\) 이면, \( $\varphi(u, v, w) = \frac{u(1-u)v(1-v)w(1-w)}{1-(1-uv)w} \le \frac{1}{27}\).
(증명)
산술기하 부등식에서, \(1- (1-uv)w = (1-w) + uvw \ge 2\sqrt{1-w}\sqrt{uvw}\)이다. 그러므로, \(\varphi(u,v,w) \le \frac{1}{2}\sqrt{(1-w)uvw}(1-u)(1-v)$$ ì´ë¤.\)
\(0<x<1\)에서 \(x(1-x)\)의 최대값은 \(\frac{1}{4}\)이고, \(x(1-x^2)\)의 최대값은 \(\frac{2}{3\sqrt{3}}\)이다. 그러므로,
\(\begin{eqnarray*} \varphi(u,v,w) &\le& \frac{1}{2}\sqrt{(1-w)w}\cdot\sqrt{u}(1-u)\cdot\sqrt{v}(1-v) \\ &\le& \frac{1}{2} \cdot \frac{1}{2}\cdot\frac{2}{3\sqrt{3}}\cdot \frac{2}{3\sqrt{3}}\\ &=& \frac{1}{27} \end{eqnarray*} # \)■
주어진 명제를 증명할 수 있다.
(정의) 다항식 \(P_n\)을 다음과 같이 정의하자.
\(P_n(x) = \frac{1}{n!}\frac{d^n}{dx^n}\big(x^n(1-x)^n\big)\)
이 다항식은 정수계수 다항식인것을 알 수 있다. (르장드르 다항식 의 적당한 상수배이다.)
(정의)
\(I_n = \int_0^1\int_0^1\frac{-\log(xy)}{1-xy}P_n(x)P_n(y) dxdy\) 라고 하자. 아래의 과정을 살펴 보자.
- \(P_n(x)P_n(y)\)는 정수계수 다항식이다. 그러므로, 위 두번째 보조정리에 의하여,\(I_n = \frac{A_n + B_n\zeta(3)}{d_n^3}\)를 만족하는 정수 \(A_n,\ B_n\)가 존재한다.
\(\int_0^1\frac{1}{1-(1-xy)z}dz = -\frac{\log(xy)}{1-xy}\)이므로, \(I_n = \int_0^1\int_0^1\int_0^1 \frac{P_n(x)P_n(y)}{1-(1-xy)z} dxdydz\)라고 쓸 수 있다. - 연쇄법칙과 부분적분을 이용해서, 다음을 확인할 수 있다.
\(\begin{eqnarray*} I_n &=& \int_0^1\int_0^1\int_0^1 \frac{P_n(x)P_n(y)}{1-(1-xy)z} dxdydz \\ &=& \frac{1}{n!}\int_0^1\int_0^1\int_0^1 \frac{ \frac{d}{dx}\Big(\frac{d^{n-1}}{dx^{n-1}}\big(x^n(1-x)^n\big)\Big) P_n(y)}{1-(1-xy)z} dxdydz\\ &=& \frac{1}{n!}\int_0^1\int_0^1\int_0^1 \frac{ P_n(y)}{1-(1-xy)z} d\Big(\frac{d^{n-1}}{dx^{n-1}}\big(x^n(1-x)^n\big)\Big) dydz \\ &=& \frac{1}{n!}\int_0^1\int_0^1\int_0^1 P_n(y) yz \frac{\frac{d^{n-1}}{dx^{n-1}}\big(x^n(1-x)^n\big)}{\big(1-(1-xy)z\big)^2} dxdydz \end{eqnarray*}\)
위 과정을 n번 반복하면 \(I_n = \int_0^1\int_0^1\int_0^1 P_n(y) \frac{(xyz)^n(1-x)^n}{\big(1-(1-xy)z\big)^{n+1}} dxdydz\)이다.
- \(w = \frac{1-z}{1-(1-xy)z}\)를 치환하면, \(I_n = \int_0^1\int_0^1\int_0^1 \frac{(1-x)^n (1-w)^n P_n(y)}{1-(1-xy)w} dxdydw\) 이다.
위와 같이 n 번의 부분적분을 거치면 \(I_n = \int_0^1\int_0^1\frac{-\log(xy)}{1-xy}P_n(x)P_n(y) dxdy = \int_0^1\int_0^1\int_0^1 \frac{\big(x(1-x)y(1-y)z(1-z)\big)^n}{\big(1 - (1-xy)w\big)^{n+1}} dxdydw\) - 다시, 두번째와 세번째 보조정리에 의해서
\(\begin{eqnarray*} I_n &\le& \frac{1}{27^n} \int_0^1\int_0^1\int_0^1 \frac{1}{1 - (1-xy)w}dxdydz \\ &=& \frac{1}{27^n}\int_0^1\int_0^1\frac{-\log(xy)}{1-xy}dxdy = \frac{2}{27^n}\zeta(3) \end{eqnarray*}\) - 최종적으로 다음이 성립한다.\(0 < |A_n + B_n \zeta(3)| d_n^{-3} < 2\zeta(3)\frac{1}{27^n}\)
- 귀류법을 사용하자. 결론을 부정하여 \(\zeta(3)\)이 유리수, 예컨대 \($\zeta(3) = \frac{a}{b}\) 라 하자(a, b는 서로소인 자연수).
- 첫번째 보조정리에 의하여,
\(0 < |bA_n + aB_n| < 2b \zeta(3) \Big(\frac{d_n}{3^n}\Big)^3 < 2b \zeta(3) \Big(\frac{2.99}{3}\Big)^{3n} \)
충분히 큰 n을 잡으면, 자연수인 \(|bA_n + aB_n|\) 가 1보다 작아지므로 모순이다.
- 첫번째 보조정리에 의하여,
- 그러므로, \(\zeta(3)\)은 무리수이다.
재미있는 사실
- Math Overflow
- http://mathoverflow.net/questions/30659/establishing-zeta3-as-a-definite-integral-and-its-computation/30698#30698
- http://mathoverflow.net/search?q=
- 네이버 지식인 http://kin.search.naver.com/search.naver?where=kin_qna&query=
역사
메모
관련된 항목들
수학용어번역
- 단어사전 http://www.google.com/dictionary?langpair=en%7Cko&q=
- 발음사전 http://www.forvo.com/search/Apery
- 대한수학회 수학 학술 용어집
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/Apéry's_theorem
- http://ko.wikipedia.org/wiki/아페리_상수
- http://en.wikipedia.org/wiki/
- http://www.wolframalpha.com/input/?i=
- NIST Digital Library of Mathematical Functions
- The On-Line Encyclopedia of Integer Sequences
관련논문
- Similarities in Irrationality Proofs for π, ln2, ζ(2), and ζ(3)
- Dirk Huylebrouck, The American Mathematical Monthly,Vol. 108, March 2001 pp. 222-231
- A note on the irrationality of ζ(2) and ζ(3)
- F. Beukers (1979). Bull. London Math. Soc. 11: 268–272.
- A proof that Euler missed ... Apéry’s Proof of the irrationality of ζ(3)
- A. van der Poorten, The Mathematical Intelligencer 1 (4): 195–203, 1979
- http://www.ega-math.narod.ru/Apery1.htm
- http://www.jstor.org/action/doBasicSearch?Query=
- http://www.ams.org/mathscinet
- http://dx.doi.org/
관련도서
- 도서내검색
- 도서검색
관련기사
- 네이버 뉴스 검색 (키워드 수정)