나눗셈 정리

정수론 Number Theory
{{{#!wiki style="margin:0 -10px -5px;min-height:2em" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin:-6px -1px -11px"	공리
페아노 공리계 · 정렬 원리 · 수학적 귀납법 · 아르키메데스 성질
산술
나눗셈	약수· 배수	배수 · 약수( 소인수) · 소인수분해( 목록) · 공배수 · 공약수 · 최소공배수 · 최대공약수
	약수들의 합에 따른 수의 분류	완전수 · 부족수 · 과잉수 · 친화수 · 사교수 · 혼약수 · 반완전수 · 불가촉 수 · 괴짜수
	정리	베주 항등식 · 산술의 기본정리 · 나눗셈 정리
	기타	유클리드 호제법 · 서로소
디오판토스 방정식		페르마의 마지막 정리 · 피타고라스 세 쌍 · 버츠와 스위너톤-다이어 추측(미해결)
모듈러 연산
잉여역수 · 2차 잉여 · 기약잉여계 · 완전잉여계 · 중국인의 나머지 정리 · 합동식 · 페르마의 소정리 · 오일러 정리 · 윌슨의 정리
소수론
수의 분류	소수 · 합성수 · 메르센 소수 · 쌍둥이 소수( 사촌 소수 · 섹시 소수) · 페르마 소수 · 레퓨닛 수
분야	대수적 정수론 · 해석적 정수론
산술함수	뫼비우스 함수 · 소수 계량 함수 · 소인수 계량 함수 · 약수 함수 · 오일러 파이 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 소수생성다항식
정리	그린 타오 정리 · 페르마의 두 제곱수 정리 · 디리클레 정리 · 소피 제르맹의 정리 · 리만 가설(미해결) · 골드바흐 추측(미해결)( 천의 정리) · 폴리냑 추측(미해결) · 소수 정리
기타	에라토스테네스의 체 · 윌런스의 공식

}}}}}}}}} ||

1. 개요2. 증명

2.1. 존재성2.2. 유일성

3. 활용4. 관련 문서

Division Algorithm

1. 개요

처음 나눗셈을 배울 때 몫과 나머지가 당연히 존재한다고 생각하고 나눗셈을 한다. 하지만 소인수분해의 존재성과 마찬가지로 몫과 나머지의 존재성은 당연한 결과가 아니며[1] 수학적인 증명이 필요하다. 나눗셈 정리는 우리가 나눗셈을 통해 몫과 나머지를 자연스럽게 구하게 할 수 있게 만들어 주는 정리이다. 자세한 정리는 아래와 같다.

임의의 양의 정수 [math(a,b)]에 대하여, [math(b=aq+r,\,\left(0\leq r<a\right))]를 만족시키는 정수 [math(q,r)]이 유일하게 존재한다.

2. 증명

크게 존재성과 유일성, 두 파트로 나뉜다.

2.1. 존재성

집합 [math(A=\left\{b-na|n\in \mathbb{Z},\, b-an\geq0\right\})]을 생각하자. 그럼 집합 [math(A)]는 공집합이 아니고,[2] [math(A\subseteq \mathbb{N})][3]이므로 well-ordering 원리에 의해 집합 [math(A)]에는 가장 작은 원소가 존재한다. 그 원소를 [math(r)]이라 하면 적당한 정수 [math(q)]에 대해 [math(r=b-aq)]로 표시된다. 즉, [math(b=aq+r)]이고 [math(r\geq0)]이다. 만약 [math(r\geq a)]라 가정하면 [math(b-\left(q+1\right)a=b-aq-a=r-a\geq0)]이므로 [math(r-a\in A)]이다. 그런데 [math(a>0)]이므로 [math(r-a<r)]이고, 이는 곧 [math(r)]이 집합 [math(A)]의 가장 작은 원소라는 사실에 모순된다. 따라서 [math(r<a)]이다.

2.2. 유일성

3. 활용

이 당연해 보이는 성질을 어떻게 활용하냐면, 정수론에서의 유클리드 호제법이나 다항식에서의 나머지 정리 등, 여러 가지로 활용된다. 유클리드 호제법은 이 나눗셈 정리가 없다면 애초에 성립조차 할 수 없으며, 이 나눗셈 정리의 다항식 버전이 고등학교에서 배우는 나머지 정리가 되기 때문. 또한, 최대공약수의 성질의 증명에서도 활용된다. 즉, 나눗셈 정리는 정수론의 기초 중에 기초라고 할 수 있다.

4. 관련 문서

[1] 당장 정수에서 유리수로만 올라가도 나머지가 존재하지 않는다. [2] [math(n=0)]일 때, [math(b\in A)]이므로. [3] 집합론에서는 0도 자연수에 포함한다고 본다. 그러는 편이 덧셈의 항등원이 존재하니 더 풍부한 성질을 갖기고 하고... [4] 즉 몫과 나머지가 유일하지 않다고 하면 [5] [math(p,q)]가 둘 다 정수이고, [math(p\neq q)]이므로, 두 수의 차의 절대값은 최소 1 이상이다.