"자연상수 e는 무리수이다"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 5개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
==개요== | ==개요== | ||
| + | * [[자연상수 e]] | ||
| + | |||
| − | + | ||
| − | + | ||
| − | |||
| − | |||
==증명== | ==증명== | ||
| − | 다음 식 | + | 다음 식 :<math>e=\sum_{i = 0}^{\infty}\frac{1}{i!}</math> |
| − | |||
| − | <math>\sum_{i = 0}^{\infty}\frac{1}{i!} | ||
| − | |||
이 성립함을 받아들인다면, 고등학교 수학 수준으로 증명할 수 있다. 증명은 귀류법을 사용한다. (위 급수는 지수함수에 대한 테일러 전개를 이용하여 얻을 수 있다.) | 이 성립함을 받아들인다면, 고등학교 수학 수준으로 증명할 수 있다. 증명은 귀류법을 사용한다. (위 급수는 지수함수에 대한 테일러 전개를 이용하여 얻을 수 있다.) | ||
| − | + | 결론을 부정하여 자연상수가 유리수라고 하고, 서로소인 두 자연수 <math>p</math> 와 <math>q</math> 에 대해 <math>e=\sum_{i = 0}^{\infty}\frac{1}{i!} = \frac{q}{p}</math> 라고 하자. | |
| − | |||
| − | 결론을 부정하여 자연상수가 유리수라고 하고, 서로소인 두 자연수 <math>p</math> 와 <math>q</math> 에 대해 <math>\sum_{i = 0}^{\infty}\frac{1}{i!} = \frac{q}{p}</math> 라고 하자. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| + | <math>n> 3</math> 이면 <math>n! > n(n-1)</math> 이므로, 다음이 성립한다 | ||
| + | :<math>\frac{q}{p}=e=1+1+\sum_{i=2}^{\infty}\frac{1}{i!} <3 \label{esum}</math> | ||
| + | <math>2 < e < 3</math> 이므로, <math>p>1</math> 이다. | ||
| − | + | \ref{esum}의 양변에 <math>p!</math> 를 곱하면 다음을 얻는다. | |
| − | + | :<math>q(p-1)! = \big(p!+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>A=\frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+1)(p+2)(p+3)}+\cdots</math> | ||
| + | 도 정수여야 한다. 또한 이는 양수이므로, 이것은 자연수여야 한다. | ||
| − | + | 다음 부등식이 | |
| + | :<math>A=\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+i)}+\sum_{i = 1}^{\infty} \frac{1}{(p+i)(p+1+i)} = \frac{2}{p+1}</math> 이므로, <math>A < \frac{2}{p+1}<1</math> 이어야 한다. 그러나 이는 <math>A</math>가 자연수라는 사실에 모순이다. | ||
| − | |||
| − | |||
| − | |||
| − | == | + | ==메모== |
| + | * [http://kin.search.naver.com/search.naver?where=kin_qna&query=%EC%9E%90%EC%97%B0%EC%83%81%EC%88%98%EC%B4%88%EC%9B%94%EC%88%98 http://kin.search.naver.com/search.naver?where=kin_qna&query=자연상수무리수] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | [[분류:무리수와 초월수]] | |
| − | + | [[분류:상수]] | |
2020년 11월 13일 (금) 10:12 기준 최신판
개요
증명
다음 식 \[e=\sum_{i = 0}^{\infty}\frac{1}{i!}\] 이 성립함을 받아들인다면, 고등학교 수학 수준으로 증명할 수 있다. 증명은 귀류법을 사용한다. (위 급수는 지수함수에 대한 테일러 전개를 이용하여 얻을 수 있다.)
결론을 부정하여 자연상수가 유리수라고 하고, 서로소인 두 자연수 \(p\) 와 \(q\) 에 대해 \(e=\sum_{i = 0}^{\infty}\frac{1}{i!} = \frac{q}{p}\) 라고 하자.
\(n> 3\) 이면 \(n! > n(n-1)\) 이므로, 다음이 성립한다 \[\frac{q}{p}=e=1+1+\sum_{i=2}^{\infty}\frac{1}{i!} <3 \label{esum}\] \(2 < e < 3\) 이므로, \(p>1\) 이다.
\ref{esum}의 양변에 \(p!\) 를 곱하면 다음을 얻는다. \[q(p-1)! = \big(p!+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\]
여기서 좌변은 자연수이고, 우변의 큰 괄호 안의 수는 자연수이므로, 우변의 나머지 부분 \[A=\frac{1}{p+1}+\frac{1}{(p+1)(p+2)}+\frac{1}{(p+1)(p+2)(p+3)}+\cdots\] 도 정수여야 한다. 또한 이는 양수이므로, 이것은 자연수여야 한다.
다음 부등식이 \[A=\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\]
에서, 우변은 \[\frac{1}{(p+i)}+\sum_{i = 1}^{\infty} \frac{1}{(p+i)(p+1+i)} = \frac{2}{p+1}\] 이므로, \(A < \frac{2}{p+1}<1\) 이어야 한다. 그러나 이는 \(A\)가 자연수라는 사실에 모순이다.