"파이 π는 무리수이다"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
8번째 줄: 8번째 줄:
  
 
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">개요</h5>
 
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">개요</h5>
 +
 +
* 파이가 무리수임의 증명
 +
* '''[Huylebrouck2001]'''참조
  
 
 
 
 
13번째 줄: 16번째 줄:
 
 
 
 
  
−
<h5>관찰1</h5>
+
<h5>관찰</h5>
  
 
<math>\int_0^1 x \sin \pi x\,dx = \frac{1}{\pi}</math>
 
<math>\int_0^1 x \sin \pi x\,dx = \frac{1}{\pi}</math>
33번째 줄: 36번째 줄:
 
'''보조정리 1'''
 
'''보조정리 1'''
  
−
<math>\int_0^1x^j \sin \pi x\,dx</math> 는 \pi의 (j+1)차 다항식/\pi^{j+1} 꼴로 표현된다.
+
다음을 만족시키는 정수 <math>a_0,a_1,\cdots,a_{n+1}</math> 이 존재한다.
 +
 
 +
<math>\int_{0}^{1}P_n(x)\sin \pi x\,dx=\frac{a_{n+1}\pi^{n+1}+a_n\pi^{n}+\cdots+a_0}{\pi^{n+1}}</math>
 +
 
 +
 
  
 
 
 
 
61번째 줄: 68번째 줄:
 
 
 
 
  
−
qhw
+
'''보조정리 3'''
 +
 
 +
다음을 만족시키는 정수 <math>a_0,a_1,\cdots,a_{n+1}</math> 이 존재한다.
 +
 
 +
<math>\int_{0}^{1}P_n(x)\sin \pi x\,dx=\frac{a_{n+1}\pi^{n+1}+a_n\pi^{n}+\cdots+a_0}{\pi^{n+1}}</math>
 +
 
 +
(증명)
 +
 
 +
 <math>P_{n}(x)</math>는 정수계수를 갖는 n차 다항식이므로, '''보조정리 2''' 에 의하여 증명된다. ■
  
 
 
 
 
71번째 줄: 86번째 줄:
 
π는 무리수, 즉 <math>\pi=a/b</math> 이라고 가정하자. 
 
π는 무리수, 즉 <math>\pi=a/b</math> 이라고 가정하자. 
  
−
 
+
<math>\int_{0}^{1}P_n(x)\sin \pi x\,dx=\frac{A_{n}}{B_{n}}</math> 
  
−
<math>\int_{0}^{1}P_n(x)\sin \pi x\,dx=\frac{A_{n}}{B_{n}}</math> 
+
는 0이 아닌 유리수가 된다.
  
−
는 0이 아닌 유리수가 된다. <math>P_{n}(x)</math>는 정수계수를 갖는 n차 다항식이므로, <math>a^{n+1}</math>을 <math>A_{n}/B_{n}</math>의 양변에 곱하면, 자연수를 얻는다. 
+
<math>a^{n+1}</math>을 <math>A_{n}/B_{n}</math>의 양변에 곱하면, 자연수를 얻는다. 
  
 
즉, <math>0<|a^{n+1}\int_{0}^{1}P_n(x)\sin \pi x\,dx|</math> 는 자연수이다. 한편,
 
즉, <math>0<|a^{n+1}\int_{0}^{1}P_n(x)\sin \pi x\,dx|</math> 는 자연수이다. 한편,
159번째 줄: 174번째 줄:
 
<h5>관련논문</h5>
 
<h5>관련논문</h5>
  
−
* [http://mathdl.maa.org/mathDL/?pa=content&sa=viewDocument&nodeId=2886 Similarities in Irrationality Proofs for π, ln2, ζ(2), and ζ(3)]<br>
+
* '''[Huylebrouck2001]'''[http://mathdl.maa.org/mathDL/?pa=content&sa=viewDocument&nodeId=2886 Similarities in Irrationality Proofs for π, ln2, ζ(2), and ζ(3)]<br>
 
** Dirk Huylebrouck, The American Mathematical Monthly,Vol. 108, March 2001 pp. 222-231
 
** Dirk Huylebrouck, The American Mathematical Monthly,Vol. 108, March 2001 pp. 222-231
 
* [http://www.jstor.org/stable/2974737%20On%20Lambert%27s%20Proof%20of%20the%20Irrationality%20of%20%CF%80%20M.%20Laczkovich%20The%20American%20Mathematical%20Monthly%20Vol.%20104,%20No.%205%20%28May,%201997%29,%20pp.%20439-443%20Published%20by:%20Mathematical%20Association%20of%20America%20Article%20Stable%20URL:%20http://www.jstor.org/stable/2974737 On Lambert's Proof of the Irrationality of Pi]<br>
 
* [http://www.jstor.org/stable/2974737%20On%20Lambert%27s%20Proof%20of%20the%20Irrationality%20of%20%CF%80%20M.%20Laczkovich%20The%20American%20Mathematical%20Monthly%20Vol.%20104,%20No.%205%20%28May,%201997%29,%20pp.%20439-443%20Published%20by:%20Mathematical%20Association%20of%20America%20Article%20Stable%20URL:%20http://www.jstor.org/stable/2974737 On Lambert's Proof of the Irrationality of Pi]<br>

2011년 1월 1일 (토) 13:32 판

이 항목의 스프링노트 원문주소

 

 

개요
  • 파이가 무리수임의 증명
  • [Huylebrouck2001]참조

 

 

관찰

\(\int_0^1 x \sin \pi x\,dx = \frac{1}{\pi}\)

\(\int_0^1x^2 \sin \pi x\,dx = \frac{\pi^2-4}{\pi^3}\)

\(\int_0^1x^3 \sin \pi x\,dx = \frac{\pi^2-6}{\pi^3}\)

\(\int_0^1x^4 \sin \pi x\,dx = \frac{48-12 \pi^2+\pi^4}{\pi^5}\)

\(\int_0^1x^5 \sin \pi x\,dx = \frac{120-20 \pi^2+\pi^4}{\pi^5}\)

\(\int_0^1x^6 \sin \pi x\,dx = \frac{-1440+360\pi^2-30 \pi^4+\pi^6}{\pi^7}\)

\(\int_0^1x^7 \sin \pi x\,dx = \frac{-5040+840\pi^2-42 \pi^4+\pi^6}{\pi^7}\)

 

보조정리 1

다음을 만족시키는 정수 \(a_0,a_1,\cdots,a_{n+1}\) 이 존재한다.

\(\int_{0}^{1}P_n(x)\sin \pi x\,dx=\frac{a_{n+1}\pi^{n+1}+a_n\pi^{n}+\cdots+a_0}{\pi^{n+1}}\)

 

 

 

정의

르장드르 다항식 의 변형, \(P_n(x) = \frac{1}{n!} {d^n \over dx^n } \left[ x^{n}(1-x)^n \right]\) 을 정의하자. 

 

 

보조정리 2

\(n\geq 1\) 일 때, n번 미분가능한 함수 \(f\)에 대하여 다음이 성립한다.

\(\int_0^1P_n(x)f(x)\,dx=\frac{(-1)^{n}}{n!}\int_0^1 x^{n}(1-x)^nf^{(n)}(x)\,dx\).

(증명)

부분적분. ζ(3)는 무리수이다(아페리의 정리) 의 보조정리4 참조. ■

 

 

보조정리 3

다음을 만족시키는 정수 \(a_0,a_1,\cdots,a_{n+1}\) 이 존재한다.

\(\int_{0}^{1}P_n(x)\sin \pi x\,dx=\frac{a_{n+1}\pi^{n+1}+a_n\pi^{n}+\cdots+a_0}{\pi^{n+1}}\)

(증명)

 \(P_{n}(x)\)는 정수계수를 갖는 n차 다항식이므로, 보조정리 2 에 의하여 증명된다. ■

 

 

π는 무리수임의 증명

π는 무리수, 즉 \(\pi=a/b\) 이라고 가정하자. 

\(\int_{0}^{1}P_n(x)\sin \pi x\,dx=\frac{A_{n}}{B_{n}}\) 

는 0이 아닌 유리수가 된다.

\(a^{n+1}\)을 \(A_{n}/B_{n}\)의 양변에 곱하면, 자연수를 얻는다. 

즉, \(0<|a^{n+1}\int_{0}^{1}P_n(x)\sin \pi x\,dx|\) 는 자연수이다. 한편,

\(|a^{n+1}\int_{0}^{1}P_n(x)\sin x\,dx|=|a^{n+1}\int_{0}^{1}\frac{1}{n!}x^n(1-x)^n\frac{d^{n}}{dx^{n}}\sin \pi x\,dx|\leq |a^{n+1}\frac{1}{n!}x^n(1-x)^n\pi^{n} \,dx|\)

우변에 대하여 다음이 성립한다.

\(n \to \infty\) 일 때, \(a^{n+1}\frac{1}{n!}x^n(1-x)^n\pi^{n} \,dx|\leq a^{n+1}\frac{1}{n!}(\frac{1}{4})^n\pi^n|\to 0\)

따라서 

\(|a^{n+1}\int_{0}^{1}P_n(x)\sin \pi x\,dx|\) 는 자연수일 수 없다. 모순. 따라서 π는 무리수이다. ■

 

 

재미있는 사실

 

 

 

역사

 

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서

 

 

관련기사

 

 

블로그
원본 주소 "https://wiki.mathnt.net/index.php?title=파이_π는_무리수이다&oldid=20693"