소수의 무한성

 

 

유클리드의 증명

(정리) 소수는 무한히 많다

(증명)

소수의 개수가 유한하다고 가정하고, \(p_1, p_2, \cdots ,p_r\) 가 모든 소수의 목록이라 하자.

자연수 \(N=p_1p_2\cdots p_r+1\) 을 정의하자.

\(N\)은 각 소수 \(p_i\)로 나누어 나머지가 1이므로, 1과 자신 이외의 약수를 가지지 않는다. 따라서 \(N\)은 소수이다.

한편 N은 \(p_1, p_2, \cdots ,p_r\)와 같지 않으므로, 기존의 목록에 있지 않은 새로운 소수가 된다. 모순. ■

 

 

오일러의 해석학적 증명

• 소수와 리만제타함수
  

\(\sum_{n\geq 1}\frac{1}{n^s}= \left(1 + \frac{1}{2^s} + \frac{1}{4^s} + \cdots \right) \left(1 + \frac{1}{3^s} + \frac{1}{9^s} + \cdots \right) \cdots \left(1 + \frac{1}{p^s} + \frac{1}{p^{2s}} + \cdots \right) \cdots\)

\(\zeta(s) =\prod_{p \text{:prime}} \frac{1}{1-p^{-s}}\)

\(\log \zeta(s) = \log \prod_{p \text{:prime}} \frac{1}{1-p^{-s}} =\sum_{p \text{:prime}} -\log (1-p^{-s})\)

\(\log(1+x) \approx x\)

\(\log \zeta(s) = \sum_{p \text{:prime}} -\log (1-p^{-s})\approx \sum_{p \text{:prime}} \ p^{-s}=\sum_{p \text{:prime}} \frac{1}{p^s}\)

\(\sum_{p \text{:prime}} \frac{1}{p}=\infty\)

 

• 다음이 성립한다

$$\sum_{p\le N} \frac{1}{p}\sim \log\log N$$

기타 여러 가지 증명들

• http://wiessen.tistory.com/291 

 

관련된 항목들

• 등차수열의 소수분포에 관한 디리클레 정리
• 루트2는 무리수이다

매스매티카 파일 및 계산 리소스

• https://docs.google.com/file/d/0B8XXo8Tve1cxZnpTZmxZazVwdWM/edit