"파이 π는 초월수이다"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
1번째 줄: 1번째 줄:
*  
+
<h5>증명의 개요</h5>
 +
 
 +
* [[린데만-바이어슈트라스 정리]] 를 써서 증명 가능
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h5>증명</h5>
 +
 
 +
먼저 [[린데만-바이어슈트라스 정리]] 에 의해, <math>e</math>는 초월수이다. 더 일반적으로 대수적수 <math>\alpha</math> 에 대하여, <math>e^{\alpha}</math> 는 초월수이다.
 +
 
 +
we can argue that if α is a nonzero algebraic number, then {0, α} is a set of distinct algebraic numbers, and so the set {e<sup style="line-height: 1em;">0</sup>, e<sup style="line-height: 1em;">α</sup>} = {1, e<sup style="line-height: 1em;">α</sup>} is linearly independent over the algebraic numbers and in particular e<sup style="line-height: 1em;">α</sup> cannot be algebraic and so it is transcendental.
 +
 
 +
 
 +
 
 +
Now, we prove that π is transcendental. If π were algebraic, 2πi would be algebraic too (since 2i is algebraic), and then by the Lindemann–Weierstrass theorem e<sup style="line-height: 1em;">2πi</sup> = 1 (see [http://en.wikipedia.org/wiki/Euler%27s_formula Euler's formula]) would be transcendental, which is absurd.
 +
 
 +
 
  
 
 
 
 
64번째 줄: 82번째 줄:
 
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">참고할만한 자료</h5>
 
<h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic', dotum, gulim, sans-serif; font-size: 1.166em; background-image: ; background-color: initial; background-position: 0px 100%;">참고할만한 자료</h5>
  
* [http://ko.wikipedia.org/wiki/%EC%B4%88%EC%9B%94%EC%88%98 http://ko.wikipedia.org/wiki/초월수] 
+
* [http://ko.wikipedia.org/wiki/%EC%B4%88%EC%9B%94%EC%88%98 http://ko.wikipedia.org/wiki/초월수]
 
* [http://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational http://en.wikipedia.org/wiki/Proof_that_π_is_irrational]
 
* [http://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational http://en.wikipedia.org/wiki/Proof_that_π_is_irrational]
 
* http://en.wikipedia.org/wiki/transcendental_number
 
* http://en.wikipedia.org/wiki/transcendental_number

2009년 6월 16일 (화) 15:53 판

증명의 개요

 

 

증명

먼저 린데만-바이어슈트라스 정리 에 의해, \(e\)는 초월수이다. 더 일반적으로 대수적수 \(\alpha\) 에 대하여, \(e^{\alpha}\) 는 초월수이다.

we can argue that if α is a nonzero algebraic number, then {0, α} is a set of distinct algebraic numbers, and so the set {e0, eα} = {1, eα} is linearly independent over the algebraic numbers and in particular eα cannot be algebraic and so it is transcendental.

 

Now, we prove that π is transcendental. If π were algebraic, 2πi would be algebraic too (since 2i is algebraic), and then by the Lindemann–Weierstrass theorem e2πi = 1 (see Euler's formula) would be transcendental, which is absurd.

 

 

상위 주제

 

 

 

하위페이지

 

 

재미있는 사실

 

 

많이 나오는 질문과 답변

 

관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들

 

 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상