최대 공약수 문서 원본 보기

{{위키데이터 속성 추적}}
[[파일:Divisores 48 60.svg|thumb]]
[[수론]]에서, [[정수]]들의 '''최대 공약수'''(最大公約數, {{문화어|련속나눔셈}}; {{llang|en|greatest common divisor/factor}}, 약자 GCD/GCF)는 모든 정수들의 약수가 되는 양의 정수 가운데 가장 큰 하나다. (가장 큰 하나가 없는 경우는 모든 정수가 0인 경우뿐이며, 이 경우 최대 공약수를 0으로 정의한다.) 정수 집합의 약수 관계에 대한 ([[완비 원격자|완비]]) [[원격자]]에서의 [[상한]]이다. 기호는 <math>\gcd\{m,n\}</math> 또는 <math>(m,n)</math>.

최대 공약수는 임의의 정수에 대하여 정의된다.<ref name="Apostol">{{서적 인용|성=Apostol|이름=Tom Mike|저자링크=톰 어포스톨|제목=Introduction to analytic number theory|언어=en|총서=Undergraduate Texts in Mathematics|출판사=Springer-Verlag|위치=[[뉴욕]]|날짜=1976|isbn=978-1-4419-2805-4|doi=10.1007/978-1-4757-5579-4|mr=0434929|zbl=0335.10001|issn=0172-6056}}</ref>{{rp|14, Theorem 1.2}} 일부 문헌에서는 0이 아닌 정수를 하나 이상 포함하는 경우에만 최대 공약수를 정의한다. (이는 최대 공약수가 문자 그대로 가장 큰 공통의 약수가 되는 경우이다.) 일부 문헌에서는 0이 아닌 정수를 요구하며, 다른 일부 문헌에서는 양의 정수를 요구하기도 한다.

[[다항식]]이나 [[가환환]]의 원소에 대해서도 정의할 수 있다. 정수의 최대 공약수를 음이 아닌 정수로 정하는 것처럼, 다항식의 최대 공약수는 (0 또는) [[일계수 다항식]]으로 정한다. 가환환의 원소의 경우, 추가적인 데이터가 없는 한 최대 공약수를 표준적으로 고르는 방법은 정해져 있지 않다.

== 정의 ==
[[정수]]들의 '''공약수'''(公約數, {{llang|en|common divisor/factor}})는 동시에 그들 모두의 [[약수]]인 정수다. 두 [[정수]] <math>m,n\in\mathbb Z</math>의 '''공약수'''는 <math>m</math>의 약수이자 <math>n</math>의 약수인 정수이다. 두 정수 <math>m,n\in\mathbb Z</math>의 '''최대 공약수'''는 다음과 같은 여러 정의가 있으며, 이들은 서로 [[동치]]이다.<ref name="Apostol"/>{{rp|14, Theorem 1.2}}
* <math>m\ne0</math>이거나 <math>n\ne0</math>인 경우, <math>m</math>, <math>n</math>의 가장 큰 공약수. <math>m=n=0</math>인 경우, 0.
** 1은 공약수이므로 공약수 집합은 [[공집합]]이 아니다. 0이 아닌 정수의 약수 집합은 유한 집합이므로, 0이 아닌 정수를 하나 이상 포함하는 두 정수의 공약수 집합도 유한 집합이다. 따라서, 최대 원소가 존재한다. 두 정수 모두 0인 경우, 공약수 집합은 모든 정수의 집합이므로 최대 원소가 존재하지 않으며, 따라서 별도로 정의한다.
* <math>m</math>, <math>n</math>의 공약수이며, <math>m</math>, <math>n</math>의 모든 공약수의 [[배수]]인 유일한 음이 아닌 정수
** <math>m</math>, <math>n</math>의 공약수이며, <math>m</math>, <math>n</math>의 모든 공약수의 [[배수]]인 정수는 항상 <math>d,-d</math>의 꼴로 나타난다. 따라서, 이 가운데 음이 아닌 정수는 유일하다. 이 정의는 임의의 두 정수에 대하여 유효하므로, 경우를 나눌 필요가 없다.
* <math>m</math>, <math>n</math>의 공약수이며, <math>m</math>, <math>n</math>의 정수 계수 선형 결합으로 나타낼 수 있는 유일한 음이 아닌 정수
** 마찬가지로, <math>m</math>, <math>n</math>의 공약수이며, <math>m</math>, <math>n</math>의 정수 계수 선형 결합으로 나타낼 수 있는 정수는 <math>d,-d</math>의 꼴로 나타나며, 이 가운데 음이 아닌 하나를 고른다. 이 정의는 [[유클리드 호제법]]에 의한다. 이 정의는 임의의 두 정수에 대하여 유효하므로, 경우를 나눌 필요가 없다.
* <math>m\ne0</math>이거나 <math>n\ne0</math>인 경우, <math>m</math>, <math>n</math>의 정수 계수 선형 결합인 최소 양의 정수. <math>m=n=0</math>인 경우, 0.
** 이는 [[베주 항등식]]을 통한 정의이다. 두 정수 모두 0인 경우, <math>m</math>, <math>n</math>의 정수 계수 선형 결합은 0뿐이므로, 별도로 정의한다.

보다 일반적으로, 유한 개의 정수 <math>n_1,n_2,\dots,n_k\in\mathbb Z</math>의 '''공약수'''는 모든 <math>n_i</math>의 배수인 정수이다. 유한 개의 정수 <math>n_1,n_2,\dots,n_k\in\mathbb Z</math>의 '''최대 공약수''' <math>\gcd\{n_1,n_2,\dots,n_k\}</math>는 다음과 같은 서로 [[동치]]인 정의가 있다. 이는 항상 유일하게 존재한다.
* 가장 큰 공약수. (단, <math>n_1=\cdots=n_k=0</math>인 경우 <math>\gcd\{n_1,n_2,\dots,n_k\}=0</math>.)
* 공약수이며, 모든 공약수의 배수인 유일한 음이 아닌 정수
* 공약수이며, 정수 계수 선형 결합인 유일한 음이 아닌 정수
* 0이 아닌 정수를 포함하는 경우, 정수 계수 선형 결합인 최소 양의 정수. (단, <math>n_1=\cdots=n_k=0</math>인 경우 <math>\gcd\{n_1,n_2,\dots,n_k\}=0</math>.)
* <math>\gcd\{\gcd\{\gcd\{\cdots\gcd\{\gcd\{n_1,n_2\},n_3\}\cdots\},n_{k-1}\}n_k\}</math>
** 이 정의는 재귀적이며, 두 정수의 최대 공약수의 정의에 의존한다.

보다 일반적으로, ([[무한 집합]]일 수 있는) 임의의 정수 집합 <math>S\subseteq\mathbb Z</math>의 '''최대 공약수''' <math>\gcd S</math>를 정의할 수 있다. 유한 개의 정수에 대한 정의들은 재귀적 정의를 제외하면 무한 개의 정수에 대해서도 (적절한 수정을 거치면) 유효하다. 이 경우, 모든 정수가 0인 경우는 <math>S=\{0\}</math>이거나 <math>S=\varnothing</math>인 경우에 해당한다.

일부 문헌에서는 최대 공약수의 정의를 적어도 하나 이상의 정수가 0이 아닌 경우로 제한한다. 일부 문헌은 0이 아닌 정수의 경우로 제한한다. 일부 문헌은 양의 정수로 제한한다.

최대 공약수가 1인 정수들을 '''[[서로소 정수|서로소]]'''라고 한다.

== 성질 ==
=== 약수 관계와의 관계 ===
약수 관계는 최대 공약수를 통해 다음과 같이 나타낼 수 있다.
:<math>m\mid n\iff\gcd\{m,n\}=|m|</math>
공약수는 최대 공약수의 [[약수]]와 [[동치]]이다.
:<math>k\mid m,n\iff k\mid\gcd\{m,n\}</math>
:<math>k\mid n_1,n_2,\dots,n_t\iff k\mid\gcd\{n_1,n_2,\dots,n_t\}</math>

이는 [[격자 (순서론)|격자]]의 순서론적 구조와 대수적 구조 사이의 관계의 특수한 경우이다.

=== 항등식 ===
임의의 정수들에 대하여, 다음과 같은 항등식들이 성립한다.
* ([[멱등 법칙]]) <math>\gcd\{n,n\}=|n|</math>
* ([[교환 법칙]]) <math>\gcd\{m,n\}=\gcd\{n,m\}</math>
* ([[결합 법칙]]) <math>\gcd\{\gcd\{m,n\},k\}=\gcd\{m,\gcd\{n,k\}\}</math>
* (흡수 법칙) <math>\operatorname{lcm}\{m,\gcd\{m,n\}\}=m</math>
* (흡수 법칙) <math>\gcd\{m,\operatorname{lcm}\{m,n\}\}=m</math>
* <math>\gcd\{1,n\}=1</math>
** 즉, 1은 격자 <math>(\mathbb Z_{\ge0},\mid)</math>의 [[최소 원소]]이다.
* <math>\gcd\{0,n\}=|n|</math><ref name="Apostol"/>{{rp|22, Exercise 21}}
** 즉, 0은 격자 <math>(\mathbb Z_{\ge0},\mid)</math>의 [[최대 원소]]이다.
** 이들 항등식에 따라, <math>(\mathbb Z_{\ge0},\mid)</math>는 [[유계 격자]]를 이룬다.
* (곱에 대한 [[분배 법칙]]) <math>\gcd\{mk,nk\}=\gcd\{m,n\}|k|</math>
** 특히, <math>m\ne0</math>이거나 <math>n\ne0</math>인 경우
**:<math>\gcd\left\{\frac m{\gcd\{m,n\}},\frac n{\gcd\{m,n\}}\right\}=1</math>
* <math>\gcd\{m,n\}\operatorname{lcm}\{m,n\}=|mn|</math>
* ([[최소 공배수]]에 대한 [[분배 법칙]]) <math>\operatorname{lcm}\{m,\gcd\{n,k\}\}=\gcd\{\operatorname{lcm}\{m,n\},\operatorname{lcm}\{m,k\}\}</math>
* ([[최소 공배수]]에 대한 [[분배 법칙]]) <math>\gcd\{m,\operatorname{lcm}\{n,k\}\}=\operatorname{lcm}\{\gcd\{m,n\},\gcd\{m,k\}\}</math>
** 이 두 항등식에 따라, <math>(\mathbb Z_{\ge0},\mid)</math>는 [[분배 격자]]이다.
* <math>a\ne0</math>이거나 <math>b\ne0</math>이며, 또한 <math>m\ne0</math>이거나 <math>n\ne0</math>인 경우,
*:<math>\gcd\{am,bn\}=\gcd\{a,b\}\gcd\{m,n\}\gcd\left\{\frac a{\gcd\{a,b\}},\frac n{\gcd\{m,n\}}\right\}\gcd\left\{\frac b{\gcd\{a,b\}},\frac m{\gcd\{m,n\}}\right\}</math>
** 특히, <math>\gcd\{a,b\}=\gcd\{m,n\}=1</math>인 경우
**:<math>\gcd\{am,bn\}=\gcd\{a,n\}\gcd\{b,m\}</math>
* <math>\gcd\{m,n\}=1</math>인 경우,
*:<math>\gcd\{mn,k\}=\gcd\{m,k\}\gcd\{n,k\}</math>
** 즉, <math>\gcd\{-,k\}</math>는 [[곱셈적 함수]]다. 반면, <math>\operatorname{lcm}\{-,k\}</math>는 [[곱셈적 함수]]가 아니다.

=== 소인수 분해와의 관계 ===
[[소인수분해]]가 주어진 양의 정수들의 최대 공약수는 소인수의 최소 지수를 취하여 얻어진다. 두 정수의 경우, 두 양의 정수의 소인수분해가 다음과 같다고 하자.
:<math>m=p_1^{e_1}p_2^{e_2}\cdots p_k^{e_k}</math>
:<math>n=p_1^{f_1}p_2^{f_2}\cdots p_k^{f_k}</math>
:<math>e_1,e_2,\dots,e_k,f_1,f_2,\dots,f_k\in\mathbb Z_{\ge0}</math>
그렇다면, 최대 공약수는 다음과 같다.
:<math>\gcd\{m,n\}=p_1^{\min\{e_1,f_1\}}p_2^{\min\{e_2,f_2\}}\cdots p_k^{\min\{e_k,f_k\}}</math>

== 계산 ==
최대 공약수는 각 정수의 약수를 구하고, 공통되는 약수를 구하고, 가장 큰 하나를 구하면 얻을 수 있다. 예를 들어 12와 18의 경우, 12의 모든 약수는 (±) 1, 2, 3, 4, 6, 12이며, 18의 모든 약수는 (±) 1, 2, 3, 6, 9, 18이므로, 공약수는 (±) 1, 2, 3, 6이다. 가장 큰 6이 바로 최대 공약수이다. 최대 공약수를 구하는 방법은 그 밖에 [[소인수분해]]를 통한 방법과 [[유클리드 호제법]]을 통한 방법이 있다.

=== 소인수분해 ===
{{본문|소인수분해}}
두 수 192와 72의 최대 공약수를 소인수 분해를 이용하여 구하여 보자. 일단 두 수를 소인수 분해한다.
:<math>192=2^6 \times 3=2 \times 2 \times 2 \times 2 \times 2 \times 2 \times 3</math>
:<math>72=2^3 \times 3^2=2 \times 2 \times 2 \times 3 \times 3</math>
구하고 나면, 두 소인수 분해 결과의 중복되는 부분을 찾아 서로 곱한다. 두 결과에서 2가 세 번 중복되어 나오고 3이 한번 중복되어 나왔다. 즉 <math>2 \times 2 \times 2 \times 3=24</math> 최대 공약수가 24라는 결론이 나온다.

그러나 일반적으로 소인수 분해를 효율적으로 빠른 시간 내에 하는 방법은 알려져 있지 않다. 더 빠른 시간 안에 구하는 방법에는 호제법이 있다.

=== 유클리드 호제법 ===
{{본문|유클리드 호제법}}
똑같이 두 수 192와 72의 최대 공약수를 이번에는 호제법으로 구하여 보자. 일단 192을 72로 나누어 나머지를 구한다.
:<math>192=72 \times 2+48</math>
이는 192을 72로 나누어 나온 나머지가 48라는 것을 의미한다. 이번에는 72을 나머지인 48로 나눈다.
:<math>72=48 \times 1+24</math>
이와 같은 연산을 나머지가 0이 될 때까지 반복한다.
:<math>48=24 \times 2+0</math>
나머지가 0이 되었으므로 연산을 중지한다. 이때, 나머지가 0이 되기 바로 직전의 연산에서의 나머지가 원래 두 수의 최대 공약수가 된다.

이를 수식화 한 것은 호제법 문서를 참조하라.

== 예 ==
임의의 양의 정수 <math>a,m,n\in\mathbb Z^+</math>에 대하여,
:<math>\gcd\{a^m-1,a^n-1\}=a^{\gcd\{m,n\}}-1</math>
이다.

== 관련 개념 ==
임의의 [[환 (수학)|환]] 위에서 최대 공약수를 정의할 수 있다. 가환 환에서 두 원소 <math>a</math>와 <math>b</math>에 대하여 <math>d</math>가 최대 공약수라 함은 <math>d</math>가 두 원소의 약수이며 동시에 임의의 공약수는 <math>d</math>의 약수가 됨을 말한다. 그러나 이렇게 정의할 경우 최대 공약수는 유일하지 않을 수도 있고 두 원소가 영이아니라 하더라도 존재하지 않을 수도 있다. 정역에서는 일단 존재한다면 최대 공약수들은 서로 동반된(associated)다. 또한 유일 인수분해정역에서는 영이 아닌 두 원소의 경우 항상 최대 공약수가 존재한다.

== 같이 보기 ==
* [[최소 공배수]]

== 참고 문헌 ==
<references/>

== 외부 링크 ==
* {{웹 인용|저자=서보억|제목=최대 공약수|url=https://terms.naver.com/entry.naver?docId=3572869&cid=58944&categoryId=58970|웹사이트=[[네이버캐스트]]|날짜=2011-10-10|확인날짜=2018-05-10}}

{{전거 통제}}

[[분류:곱셈적 함수]]