"자연상수 e는 무리수이다"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
21번째 줄: 21번째 줄:
 
<math>q(p-1)! = \big(p!+\cdots+p(p-1)+p+1 \big)+\frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+1)(p+2)(p+3)}+\cdots</math>
 
<math>q(p-1)! = \big(p!+\cdots+p(p-1)+p+1 \big)+\frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+1)(p+2)(p+3)}+\cdots</math>
  
−
여기서 좌변은 자연수이고, 우변의 큰 괄호 안의 수는 자연수이므로, 우변의 나머지 부분도 정수여야 한다.
+
여기서 좌변은 자연수이고, 우변의 큰 괄호 안의 수는 자연수이므로, 우변의 나머지 부분도 정수여야 한다. 또한 양수이므로, 이것은 자연수여야 한다.
 +
 
 +
다음 부등식
  
 
<math>\frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+1)(p+2)(p+3)}+\cdots < \frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+2)(p+3)}+ \frac{1}{(p+3)(p+4)} +\cdots</math>
 
<math>\frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+1)(p+2)(p+3)}+\cdots < \frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+2)(p+3)}+ \frac{1}{(p+3)(p+4)} +\cdots</math>
  
−
<math>\sum_{i = 1}^{\infty} \frac{1}{(p+i)(p+1+i)} = \frac{1}{p+1}</math>
+
에서, 그런데 <math>\sum_{i = 1}^{\infty} \frac{1}{(p+i)(p+1+i)} = \frac{1}{p+1}</math> 이므로, <math>\frac{2}{p+1} \in \mathbb{Z}</math> 이어야 한다. 이것은 성립하지 않으므로 모순.
  
 
 
 
 

2009년 8월 16일 (일) 14:39 판

증명

다음 식

\(\sum_{i = 0}^{\infty}\frac{1}{i!} = e\)

이 성립함을 받아들인다면, 고등학교 수학 수준으로 증명할 수 있다. 증명은 귀류법을 사용한다. (위 급수는 지수함수에 대한 테일러 전개를 이용하여 얻을 수 있다.)

 

결론을 부정하여 자연상수가 유리수라고 하고, 서로소인 두 자연수 \(p\) 와 \(q\) 에 대해 \(\sum_{i = 0}^{\infty}\frac{1}{i!} = \frac{q}{p}\) 라고 하자.

 

\(n > 3\) 이면 \(n! > n(n-1)\) 이므로, \(e=1+1+\sum_{i=2}^{\infty}\frac{1}{i!} <3\) 이다. 그러므로 \(2 < e < 3\) 이므로, \(p>1\) 이다.

 

양변에 \(p!\) 를 곱하면 다음을 얻는다.

\(q(p-1)! = \big(p!+\cdots+p(p-1)+p+1 \big)+\frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+1)(p+2)(p+3)}+\cdots\)

여기서 좌변은 자연수이고, 우변의 큰 괄호 안의 수는 자연수이므로, 우변의 나머지 부분도 정수여야 한다. 또한 양수이므로, 이것은 자연수여야 한다.

다음 부등식

\(\frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+1)(p+2)(p+3)}+\cdots < \frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+2)(p+3)}+ \frac{1}{(p+3)(p+4)} +\cdots\)

에서, 그런데 \(\sum_{i = 1}^{\infty} \frac{1}{(p+i)(p+1+i)} = \frac{1}{p+1}\) 이므로, \(\frac{2}{p+1} \in \mathbb{Z}\) 이어야 한다. 이것은 성립하지 않으므로 모순.

 

 

상위 주제

 

 

하위페이지

 

 

재미있는 사실

 

 

많이 나오는 질문과 답변

 

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

 

 

관련된 다른 주제들

 

 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상
원본 주소 "https://wiki.mathnt.net/index.php?title=자연상수_e는_무리수이다&oldid=17268"