"린데만-바이어슈트라스 정리"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
25번째 줄: 25번째 줄:
 
<h5 style="margin: 0px; line-height: 2em;">지수함수의 실수부와 허수부</h5>
 
<h5 style="margin: 0px; line-height: 2em;">지수함수의 실수부와 허수부</h5>
  
0이 아닌 대수적수 <math>\alpha</math> 에 대하여, <math>\operatorname{Re}e^{\alpha}</math>와 <math>\operatorname{Im}e^{\alpha}</math>는 초월수이다.
+
실수가 아닌 대수적수 <math>\alpha</math> 에 대하여, <math>\operatorname{Re}e^{\alpha}</math>와 <math>\operatorname{Im}e^{\alpha}</math>는 초월수이다.
  
 
(증명)
 
(증명)
35번째 줄: 35번째 줄:
 
<math>e^{a+bi}+e^{a-bi}-2\beta e^0 =0</math>
 
<math>e^{a+bi}+e^{a-bi}-2\beta e^0 =0</math>
  
 
+
이제 린데만-바이어슈트라스 정리를 적용하면 원하는 결론을 얻는다.
  
 
 
 
 
45번째 줄: 45번째 줄:
 
<h5 style="line-height: 2em; 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: 2em; 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>
  
위의 증명에서 다음을 얻는다.
+
지수함수의 경우로부터 다음을 얻는다.
  
 
0또는 1이 아닌 실수인 대수적수 <math>\alpha</math> 에 대하여, <math>\log \alpha</math> 는 초월수이다.
 
0또는 1이 아닌 실수인 대수적수 <math>\alpha</math> 에 대하여, <math>\log \alpha</math> 는 초월수이다.
53번째 줄: 53번째 줄:
 
 
 
 
  
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">사인함수의 경우</h5>
+
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">삼각함수의 경우</h5>
  
0이 아닌 대수적수 <math>\alpha</math> 에 대하여, <math>\sin {\alpha}</math> 는 초월수이다.
+
0이 아닌 대수적수 <math>\alpha</math> 에 대하여, <math>\sin {\alpha}</math>초월수이다.
  
<math>\{i\alpha},0 {-i\alpha}\}</math> 는 서로 다른 대수적 수이므로, 
+
(증명)
 +
 
 +
<math>\{i\alpha},0 {-i\alpha}\}</math> 는 서로 다른 대수적 수이므로, 린데만-바이어슈트라스 정리에 의하여
  
 
<math>\sin {\alpha} = \frac{e^{i\alpha}-e^{-i\alpha}}{2i}</math>
 
<math>\sin {\alpha} = \frac{e^{i\alpha}-e^{-i\alpha}}{2i}</math>
  
는 초월수이다. 
+
는 초월수이다.  (증명끝)
 +
 
 +
마찬가지로 0이 아닌 대수적수 <math>\alpha</math> 에 대하여, <math>\cos \alpha</math>는 초월수이다.
 +
 
 +
 
 +
 
 +
0이 아닌 대수적수  <math>\alpha</math>에 대하여 <math>\tan \alpha</math>는 초월수이다.
 +
 
 +
(증명)
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
 +
 
  
 
 
 
 

2009년 9월 14일 (월) 05:14 판

린데만-바이어슈트라스 정리

서로 다른 대수적수 \(\alpha_1,\cdots,\alpha_n\) 에 대하여, \(e^{\alpha_1},\cdots,e^{\alpha_n}\) 는 대수적수체 위에서 선형독립이다.

또는

대수적 수 \(\alpha_1,\cdots,\alpha_n\) 가 유리수체 위에서 선형독립이면, \(e^{\alpha_1},\cdots,e^{\alpha_n}\) 는 유리수체 위에서 대수적으로 독립이다.

 

 

지수함수의 경우

0이 아닌 대수적수 \(\alpha\) 에 대하여, \(e^{\alpha}\) 는 초월수이다. 

(증명)

 \(\alpha\)가 0이 아닌 대수적수라고 하자. 그러면  린데만-바이어슈트라스 정리 에 의해 \(\{e^0, e^{\alpha}\}\)  는 대수적수체위에서 선형독립이다. 따라서\(e^{\alpha}\) 는 초월수이다. 

 

 

지수함수의 실수부와 허수부

실수가 아닌 대수적수 \(\alpha\) 에 대하여, \(\operatorname{Re}e^{\alpha}\)와 \(\operatorname{Im}e^{\alpha}\)는 초월수이다.

(증명)

\(\operatorname{Re}e^{\alpha}=\beta\)가 대수적수라고 가정하자. \(\beta\)가 0이 아님은 쉽게 알 수 있다. 

\(\alpha=a+bi\) 라 하면, \(2\beta=e^{a+bi}+e^{a-bi}\)이다.

\(e^{a+bi}+e^{a-bi}-2\beta e^0 =0\)

이제 린데만-바이어슈트라스 정리를 적용하면 원하는 결론을 얻는다.

 

 

 

로그함수의 경우

지수함수의 경우로부터 다음을 얻는다.

0또는 1이 아닌 실수인 대수적수 \(\alpha\) 에 대하여, \(\log \alpha\) 는 초월수이다.

 

 

삼각함수의 경우

0이 아닌 대수적수 \(\alpha\) 에 대하여, \(\sin {\alpha}\)는 초월수이다.

(증명)

\(\{i\alpha},0 {-i\alpha}\}\) 는 서로 다른 대수적 수이므로, 린데만-바이어슈트라스 정리에 의하여

\(\sin {\alpha} = \frac{e^{i\alpha}-e^{-i\alpha}}{2i}\)

는 초월수이다.  (증명끝)

마찬가지로 0이 아닌 대수적수 \(\alpha\) 에 대하여, \(\cos \alpha\)는 초월수이다.

 

0이 아닌 대수적수  \(\alpha\)에 대하여 \(\tan \alpha\)는 초월수이다.

(증명)

 

 

 

 

 

 

\(\pi\) 는 초월수이다

 


간단한 소개

 

 

상위 주제

 

 

 

하위페이지

 

 

재미있는 사실

 


관련된 다른 주제들

 

 

관련도서 및 추천도서

 

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상