최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.111
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
[21:34:17] 운영일지
[16:20:27] 운영일지
[14:13:01] SCP-1169
[22:34:41] SCP-1168
[22:34:02] 완미적타 : 완벽한 그녀
[22:33:40] 종규전설
[22:33:21] 제광박
[22:32:33] 마오빙창
[22:32:15] 리난
[21:14:42] 리팡후이
돌아가기
삭제
이동
파일 올리기
소수
(편집) (3)
(편집 필터 규칙)
956,2648
=== 증명 2 === '''Definition''' 정수 [math(m,\ r\ (m \geq 1))]에 대하여, [math(r+m \mathbb{Z})]를 [math(\{r+mn|n \in \mathbb{Z} \})]로 정의한다. 이런 집합을 등차수열(AP)라 한다. 정수 [math(m \geq 2)]에 대하여 [math(\text{NM}(m) = (1 + m\mathbb{Z}) \cup (2 + m\mathbb{Z}) \cup \cdots \cup ((m-1) + m\mathbb{Z}))]라 정의한다, [math(\text{NM}(m))]은 [math(m)]으로 나누어 떨어지지 않는 정수의 집합이다. '''Claim''' 유한한 개수의 AP의 교집합은 공집합이거나 무한집합이다. '''Proof''' AP들을 [math(r_i+m_i\mathbb{Z}\ (1 \leq i \leq n))]라 하자. [math(\displaystyle \bigcap_{i=1}^n \left( r_i + m_i \mathbb{Z} \right))]가 공집합이면 증명이 끝난다. 공집합이 아니어서 원소 [math(x)]가 존재한다면 [math(x)]와 [math(\text{mod}\ m_1m_2 \cdots m_n)]에 대하여 합동인 모든 정수들이 [math(\displaystyle \bigcap_{i=1}^n \left( r_i + m_i \mathbb{Z} \right))]의 원소가 되므로 [math(\displaystyle \bigcap_{i=1}^n \left( r_i + m_i \mathbb{Z} \right))]는 무한집합이 된다. 따라서 증명이 끝났다. '''Theorem''' 소수의 개수는 무한하다. '''Proof''' 소수의 개수가 유한하여 [math(p_1,\ p_2,\ \cdots ,\ p_k)]가 있다고 가정하자. 그리고 [math(\displaystyle\bigcap_{i=1}^{k} \text{NM}(p_i))]를 생각해보자. [math(\displaystyle\bigcap_{i=1}^{k} \text{NM}(p_i))]의 원소는 모든 [math(p_i)]에 대해 나누어 떨어지지 않아야 하므로 [math(\bigcap_{i=1}^{k} \text{NM}(p_i)= \{1,-1\})]이 된다. 하지만 [math(\displaystyle \bigcap_{i=1}^{k} \text{NM}(p_i) = \bigcap_{i=1}^{k} \left[ (1 + p_i \mathbb{Z}) \cup (2 + p_i \mathbb{Z}) \cup \cdots \cup ((p_i - 1) + p_i \mathbb{Z}) \right])]이고, [math(\bigcup)]과 [math(\bigcap)]은 분배법칙이 성립하므로 [math(\displaystyle\bigcap_{i=1}^{k} \left[ (1 + p_i \mathbb{Z}) \cup (2 + p_i \mathbb{Z}) \cup \cdots \cup ((p_i - 1) + p_i \mathbb{Z}) \right])]는 유한개의 AP들의 교집합들의 합집합이 된다. 각 유한개의 AP들의 교집합은 '''Claim'''에 의해 공집합 혹은 무한집합이므로, 그 합집합 또한 공집합 혹은 무한집합이 된다. 하지만 [math(\{1.-1\})]은 공집합도 무한집합도 아니므로 모순이 발생한다. 따라서 소수의 개수는 무한하다.
(임시 저장)
(임시 저장 불러오기)
기본값
모나코 에디터
normal
namumark
namumark_beta
macromark
markdown
custom
raw
(↪️)
(💎)
(🛠️)
(추가)
=== 증명 2 === '''Definition''' 정수 [math(m,\ r\ (m \geq 1))]에 대하여, [math(r+m \mathbb{Z})]를 [math(\{r+mn|n \in \mathbb{Z} \})]로 정의한다. 이런 집합을 등차수열(AP)라 한다. 정수 [math(m \geq 2)]에 대하여 [math(\text{NM}(m) = (1 + m\mathbb{Z}) \cup (2 + m\mathbb{Z}) \cup \cdots \cup ((m-1) + m\mathbb{Z}))]라 정의한다, [math(\text{NM}(m))]은 [math(m)]으로 나누어 떨어지지 않는 정수의 집합이다. '''Claim''' 유한한 개수의 AP의 교집합은 공집합이거나 무한집합이다. '''Proof''' AP들을 [math(r_i+m_i\mathbb{Z}\ (1 \leq i \leq n))]라 하자. [math(\displaystyle \bigcap_{i=1}^n \left( r_i + m_i \mathbb{Z} \right))]가 공집합이면 증명이 끝난다. 공집합이 아니어서 원소 [math(x)]가 존재한다면 [math(x)]와 [math(\text{mod}\ m_1m_2 \cdots m_n)]에 대하여 합동인 모든 정수들이 [math(\displaystyle \bigcap_{i=1}^n \left( r_i + m_i \mathbb{Z} \right))]의 원소가 되므로 [math(\displaystyle \bigcap_{i=1}^n \left( r_i + m_i \mathbb{Z} \right))]는 무한집합이 된다. 따라서 증명이 끝났다. '''Theorem''' 소수의 개수는 무한하다. '''Proof''' 소수의 개수가 유한하여 [math(p_1,\ p_2,\ \cdots ,\ p_k)]가 있다고 가정하자. 그리고 [math(\displaystyle\bigcap_{i=1}^{k} \text{NM}(p_i))]를 생각해보자. [math(\displaystyle\bigcap_{i=1}^{k} \text{NM}(p_i))]의 원소는 모든 [math(p_i)]에 대해 나누어 떨어지지 않아야 하므로 [math(\bigcap_{i=1}^{k} \text{NM}(p_i)= \{1,-1\})]이 된다. 하지만 [math(\displaystyle \bigcap_{i=1}^{k} \text{NM}(p_i) = \bigcap_{i=1}^{k} \left[ (1 + p_i \mathbb{Z}) \cup (2 + p_i \mathbb{Z}) \cup \cdots \cup ((p_i - 1) + p_i \mathbb{Z}) \right])]이고, [math(\bigcup)]과 [math(\bigcap)]은 분배법칙이 성립하므로 [math(\displaystyle\bigcap_{i=1}^{k} \left[ (1 + p_i \mathbb{Z}) \cup (2 + p_i \mathbb{Z}) \cup \cdots \cup ((p_i - 1) + p_i \mathbb{Z}) \right])]는 유한개의 AP들의 교집합들의 합집합이 된다. 각 유한개의 AP들의 교집합은 '''Claim'''에 의해 공집합 혹은 무한집합이므로, 그 합집합 또한 공집합 혹은 무한집합이 된다. 하지만 [math(\{1.-1\})]은 공집합도 무한집합도 아니므로 모순이 발생한다. 따라서 소수의 개수는 무한하다.
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.
편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이
CC BY 4.0
에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.
전송
미리보기