최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.216
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
[10:08:21] 평안남도
[10:08:10] 평안남도
[02:34:43] SCP-1172
[13:40:31] 충청북도
[13:39:36] 충청남도
[13:38:41] 전라남도
[13:37:54] 경상북도
[13:37:03] 대구광역시
[13:36:34] 경기도
[23:35:12] 경상남도
돌아가기
삭제
이동
파일 올리기
베주 항등식
(편집) (2)
(편집 필터 규칙)
256,1252
=== 증명 === 집합 [math(S)]를 다음과 같이 정의하자. * [math(S=\{ax+by: x,y\in \mathbb{Z},ax+by\ge 0\})] 그러면 [math(S\subseteq \mathbb{N})]이고 [math(a\ne 0)] 또는 [math(b\ne 0)]이므로 [math(a^2+b^2>0)]이다. 따라서 [math(a^2+b^2\in S)]이므로, [math(S)]는 공집합이 아니다. 따라서 정렬순서공리에 의해 [math(S)]의 양의 최소원소가 존재한다. 이 원소를 [math(t)]라 하자. 그러면 [math(t=au+bv)]를 만족하는 [math(u,v\in \mathbb{Z})]가 존재한다. 한편 나눗셈 정리에 의해 * [math(a=tq+r)] 인 [math(q,r\in \mathbb{Z})]이 존재하고 이때 [math(0\le r <t)]이다. 따라서 * [math(r=a-tq=a-(au+bv)q=a(1-uq)+b(vq))] 이다. 따라서 [math(r\in S)]인데, [math(S)]의 최소원소가 [math(t)]이므로 [math(r<t)]이다. 그런데 [math(r)]이 양수라면 [math(t)]가 [math(S)]의 양의 최소원소라는 것에 모순이므로 [math(r=0)]이어야 한다. 따라서 [math(a\mid t)]이다. 마찬가지 방법으로 [math(b\mid t)]임을 보일 수 있다. [math(c\in \mathbb{Z})]가 [math(c\mid a)]이고 [math(c \mid b)]라고 하자. 그러면 [math(a=ck)]이고 [math(b=cl)]인 [math(k,l\in\mathbb{Z})]가 존재한다. 따라서 * [math(t=au+bv=(ck)u+(cl)v=c(ku+lv))] 이므로 [math(c\mid t)]이다. [math(t>0)]이므로, [math(c\le t)]이다. 따라서 [math(t)]는 [math(a)]와 [math(b)]의 최대공약수이므로 [math(t=d)]이다.
(임시 저장)
(임시 저장 불러오기)
기본값
모나코 에디터
normal
namumark
namumark_beta
macromark
markdown
custom
raw
(↪️)
(💎)
(🛠️)
(추가)
=== 증명 === 집합 [math(S)]를 다음과 같이 정의하자. * [math(S=\{ax+by: x,y\in \mathbb{Z},ax+by\ge 0\})] 그러면 [math(S\subseteq \mathbb{N})]이고 [math(a\ne 0)] 또는 [math(b\ne 0)]이므로 [math(a^2+b^2>0)]이다. 따라서 [math(a^2+b^2\in S)]이므로, [math(S)]는 공집합이 아니다. 따라서 정렬순서공리에 의해 [math(S)]의 양의 최소원소가 존재한다. 이 원소를 [math(t)]라 하자. 그러면 [math(t=au+bv)]를 만족하는 [math(u,v\in \mathbb{Z})]가 존재한다. 한편 나눗셈 정리에 의해 * [math(a=tq+r)] 인 [math(q,r\in \mathbb{Z})]이 존재하고 이때 [math(0\le r <t)]이다. 따라서 * [math(r=a-tq=a-(au+bv)q=a(1-uq)+b(vq))] 이다. 따라서 [math(r\in S)]인데, [math(S)]의 최소원소가 [math(t)]이므로 [math(r<t)]이다. 그런데 [math(r)]이 양수라면 [math(t)]가 [math(S)]의 양의 최소원소라는 것에 모순이므로 [math(r=0)]이어야 한다. 따라서 [math(a\mid t)]이다. 마찬가지 방법으로 [math(b\mid t)]임을 보일 수 있다. [math(c\in \mathbb{Z})]가 [math(c\mid a)]이고 [math(c \mid b)]라고 하자. 그러면 [math(a=ck)]이고 [math(b=cl)]인 [math(k,l\in\mathbb{Z})]가 존재한다. 따라서 * [math(t=au+bv=(ck)u+(cl)v=c(ku+lv))] 이므로 [math(c\mid t)]이다. [math(t>0)]이므로, [math(c\le t)]이다. 따라서 [math(t)]는 [math(a)]와 [math(b)]의 최대공약수이므로 [math(t=d)]이다.
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.
편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이
CC BY 4.0
에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.
전송
미리보기
