약수와 배수
a,d∈Z이고, d≠0이라고 가정했을 때, a=cd를 만족하는 어떤 정수 c가 존재한다면 d는 a의 약수라 부른다. 그리고 a는 d의 배수이다. 이 경우 a와 d의 관계는 d∣a로 표기한다.
참고사항
다음 관계식은 문제 해결에 자주 사용되므로 숙지할 필요가 있다.
-
2∣a(a+1)
a가 2k(k∈Z)이면 a(a+1))=2k(2k+1)로 성립, a가 2k+1이면 (2k+1)(2k+2)로 성립
-
3∣a(a+1)(a+2)
a가 3k,3k+1,3k+2(k∈Z)이면 a(a+1)(a+2)=3k(3k+1)(3k+2),(3k+1)(3k+2)(3k+3),(3k+2)(3k+3)(3k+4)로 성립
-
6∣a(a+1)(a+2)
2∣a(a+1),3∣a(a+1)(a+2)이므로 a(a+1)(a+2)는 2와 3의 공배수가 되어 6∣a(a+1)(a+2)가 성립
약수의 성질 - 연산
직관적으로 알 수 있는 내용이지만 막상 문제를 해결할 땐 잘 떠오르지 않아 숙지해야 하는 몇가지 약수의 성질들을 나열하였다. a,b,c,d∈Z의 경우 다음을 만족한다.
-
d∣a,d∣b⟹d∣ax±by(x,y∈Z)
a=md,b=nd(m,n∈Z)에 따라 ax±by=mdx±ndy=d(mx±ny)
-
d∣a,d∣ax±b(x∈Z)⟹d∣b
a=md,(ax±b)=nd(m,n∈Z)에 따라 ±b=nd−ax=d(n−mx)
-
a∣b,b∣c⟹a∣c
b=am,c=bn(m,n∈Z)에 따라 c=amn
-
d∣1⟹d=±1
d∣1⟹1=dn(n∈Z)에 따라 |1|=|dn|≤|d|
위 내용들은 합동관계에 대해 설명할 때 등장하며 알고리즘 문제에서도 합동식에 관련된 문제가 꾸준히 출제되고 있어 알아두면 좋을 것 같다.
최대공약수(gcd, greatest common divisior)
a,b∈Z에 대해 정수 d (d>0)가 d∣a,d∣b를 만족하고 c∣a,c∣b인 정수 c에 대해 c∣d를 만족하면 d를 a,b의 최대공약수라 부르고 d=gcd(a,b)로 표기한다. 만약 d=1이라면 a,b는 서로소라 부른다.
예제
n∈Z에 대해 gcd(n!+1,(n+1)!+1)=1임을 증명하라
d=gcd(n!+1,(n+1)!+1)라 하자. d∣(n+1)(n!+1)=(n+1)!+n+1 또한 약수의 성질에 따라 성립한다. 그리고 d∣(n+1)!+n+1−n!−1이므로 d∣n를 만족하여 d∣n!이다.
d∣n!과 d∣n!+1이므로 d∣n!+1−n!=1이므로 d=1가 되어 gcd(n!+1,(n+1)!+1)=1이다.
정수 a,b,c을 자연수 k로 나누었을 때, 나머지가 같을 필요충분조건은 k∣a−b,k∣c−b임을 증명하여라
a,b,c를 각각 m1d+r,m2d+r,m3d+r이라고 하면 a−b=d(m1−m2),c−b=d(m3−m2)가 되어 d∣a−b,d∣c−b가 성립한다.
하지만, 만약 a=m1d+r1,b=m2d+r2가 되어 a−b=d(m1−m2)+(r1−r2)라 한다면 d∣a−b이라는 전제에 따라 d∣(a−b)−d(m1−m2)=r1−r2이다. −d<r1−r2<d이므로 d가 r1−r2의 약수임이 확인되었는데 피제수인 r1−r2가 d보다 작다는 건 모순되므로 r1−r2=0가 되어 a,b를 d로 나누었을 때 나머지는 같다.
같은 방법으로 c,b에 대해서도 똑같이 증명이 가능하므로 b,c를 d로 나누었을 때의 나머지도 같음을 알 수 있다. 그리고 d∣a−b,d∣c−b를 활용하여 d∣(a−b)−(c−b)=a−c이므로 위의 방법에 의해 a,c 또한 d로 나누었을 떄의 나머지도 같다.
∴ k∣a−b,k∣c−b를 만족해야 a,b,c를 k로 나누었을 때 나머지 r이 같고 그 역 또한 성립한다.
유클리드의 보조정리(Euclid's Lemma)
p, q는 서로 다른 소수이고 a, b는 정수라 하자. 이 경우 p∣ab이면 p∣a 또는 p∣b이다.
- p∣ak이면 p∣a이다.
- p∣a, q∣a이면 pq∣a이다.
예제
a,b∈N이고 gcd(a,b)=1이라 하자. 만약 d≠1이고 d∣ab이면 다음 조건을 만족하는 소수 p가 존재한다.
- p∣ab
- [p∤ 이고 p \mid b] 또는 [p \mid a이고 p \nmid b]이다.
d > 1이라 했으므로 집합 S를 1보다 큰 d의 약수집합이라 하자. d \in S이므로 S는 공집합이 아니며 자연수의 순서정리에 따라 집합 S는 최소원소 p를 갖는다. 이 때 p는 소수이고 d의 약수이므로 p \mid ab를 만족하는 소수 p가 존재한다.
p가 소수이고 gcd(a,b)=1이며 p \mid ab가 성립하므로 [p \nmid a 이고 p \mid b] 또는 [p \mid a이고 p \nmid b]가 성립한다.
a,b \in N이고 gcd(a,b)=1라 하자. 그러면 gcd(a+b,ab)=1임을 증명하여라.
소수 p가 p \mid ab이고 p \mid a+b라 하자. 만약 p \mid a라 하면, p \mid b이므로 gcd(a, b)=1에 모순된다. 반대의 경우에도 동일하기 떄문에 p \mid ab이고 p \mid a+b를 동시에 만족하는 소수 p는 존재하지 않는다.
(∵ 1이 아닌 소수 p가 p \mid a+b이고 p \mid ab이려면 p \mid a, \; p \mid b를 모두 만족해야 하기 때문이다.)
- 참고. 합동관계 관련 내용에도 속한다. (이후에 다룰 예정)
양의 정수 d에 대하여, d가 4a^2+9b^2과 ab의 최대공약수가 되도록 하는 서로소인 양의 정수 a,b가 존재한다고 한다. 이러한 d의 개수를 구하여라.
문제의 조건에 따라 gcd(a,b)=1이고 d \mid ab이므로 d=AB라 할 수 있다. (A는 a만의 약수, B는 b만의 약수)
A \mid a, \; A \nmid b에서 A \mid 4a^2+9b^2로부터 A \mid 9b^2여야 하므로 A \mid 9
B \mid b, \; B \nmid b에서 B \mid 4a^2+9b^2로부터 B \mid 4a^2여야 하므로 B \mid 4
즉, d가 AB=36의 약수여야 d=gcd(4a^2+9b^2, ab)를 만족하기 떄문에 d의 개수는 9개이다.
양의 정수 a,m,n \; (101 \leq a \leq 199)이 [m+n은 a의 배수], [mn=a(a+1)] 두 조건을 만족할 때 m+n의 값을 구하여라.
m+n=d(m'+n')=ak, \; mn=d^2m'n'=a(a+1)이 되는데 gcd(a,a+1)=1, \; gcd(m',n')=1, \; gcd(m'+n',m'n')=1이므로 a는 완전제곱수이다.
∵
a|m+n,\ mn=a(a+1)에서 a의 인수 중 p|m\ or\ p|n을 만족하는 p가 존재한다. 한쪽의 경우로 예를 들어 만약 p|m일 때, p|a이고 a|m+n이므로 p|n이 된다. 그리고 gcd(a,a+1)=1이므로 mn의 인수 중 앞에서 작성하였듯이 p를 제외한 a에 속하는 모든 인수 q도 m과 n에 공통으로 속하므로 a는 완전제곱수가 된다.
주어진 범위를 만족하는 완전제곱수는 11^2,12^2,13^2,14^2가 있다.
-
a가 121일 때
m=11m_1,\ n=11n_1이라고 하면, m_1n_1=(11^2+1),\ 11|m_1+n_1
11^2+1=122=2 \cdot 61이므로 (m_1,n_1)=(1,122), \; (2,61)에 따라 m_1+n_1 = 123 \; or \; 63 중 11의 배수는 없다.
-
a가 144일 때
m=12m_1,\; n=12n_1이라고 하면, m_1n_1=(12^2+1), \; 12|m_1+n_1
12^2+1=145=5 \cdot 29이므로 (m_1,n_1)=(1,145), \; (5,29)에 따라 m_1+n_1 = 146 \; or \; 34 중 12의 배수는 없다
-
a가 169일 때
m=13m_1,\; n=13n_1이라고 하면, m_1n_1=(13^2+1), \; 13|m_1+n_1
13^2+1=170=10 \cdot 17이므로 (m_1,n_1)=(1,170), \; (2,85), \; (5,34), \; (10,17)에 따라 m_1+n_1 = 171, \; 87, \; 39, \; 27 중 39가 13의 배수이므로 m+n=13(39)=507
-
a가 196일 때
m=14m_1,\; n=14n_1이라고 하면, m_1n_1=(14^2+1), \; 14|m_1+n_1
14^2+1=197=1 \cdot 197이므로 (m_1,n_1)=(1,197)에 따라 m_1+n_1 = 198은 14의 배수가 아니다.
따라서, m+n은 507이다.
양의 정수 m과 홀수 n이 방정식 m+\frac{1}{m}=6(\frac{n}{8}+\frac{8}{n})을 만족할 때, mn의 값을 구하시오.
m,n이 0이 아니므로 양변에 4mn을 곱하여 주어진 수식을 보기좋게 변형하면 4n(m^2+1)=3m(n^2+8^2)이 된다.
4 \mid 3m(n^2+8^2)이고 n이 홀수이므로 n^2+8^2도 홀수가 되어 4 \mid m이다.
3 \mid 4n(m^2+1)이고 3 \nmid m^2+1이므로 3 \mid n이다.
∵
- m=3k일 때 3 \nmid (3k)^2+1
- m=3k+1일 때 3 \nmid (3k)^2 +2 \cdot 3k + 1
- m=3k+2일 때 3 \nmid (3k)^2+2 \cdot 6k + 4
m=4m', n=3n' (n'은 홀수) 하여 변형된 수식에 적용 후 정리하면 n'(16m'^2+1)=m'(9n'^2+8^2)이다. 양변 모두 홀수이므로 m',n'모두 홀수에 따라 m'=2a+1, \; n'=2b+1로 표현할 수 있다. 그러나 두 값을 위 공식에 대입하면 정리되지 않으므로 m',n'가 모두 홀수라는 사실만 가져간다.
다른 방법으로 gcd(m',n')=d라 할 때, m'=da, \; n'=db \quad gcd(a,b)=1로 표현할 수 있으며 n'(16m'^2+1)=m'(9n'^2+8^2)에 대입하여 정리하면 b(16d^2a^2+1)=a(9d^2b^2+8^2)이고 a,b는 서로소이므로 a \mid 16d^2b^2+1, \; b \mid 9d^2b^2+64를 만족한다.
위 결과에 따라 a \mid 16d^2b^2+1이므로 1이 a의 배수가 되어야 한다.
b \mid 9d^2b^2+64이므로 64 b의 배수여야 하는데 n'이 홀수임에 따라 b도 홀수가 되어 b=1
b(16d^2a^2+1)=a(9d^2b^2+8^2)에 a,b를 대입하여 정리하면 7d^2=63으로 d=3
m'=3, n'=3이므로 m=4m', n=3n'에 대입하여 m=12,n=9임을 알 수 있다.
mn=12 \cdot 9 = 108
작성에 도움이 된 자료
- KMO 수학경시 정수론, 장환수학, 임장환 저
- 진산수학서당, 네이버 블로그
'Math > Number theory' 카테고리의 다른 글
정수론 | 약수와 배수 유형문제 (0) | 2020.03.06 |
---|---|
정수론 | 확장 유클리드 알고리즘, 선형 디오판토스 방정식 (0) | 2020.02.27 |
정수론 | 유클리드 호제법, 베주 항등식 (0) | 2020.02.22 |
정수론 | 양의 정수의 약수개수와 약수의 총합 (0) | 2020.02.19 |
정수론 | 자연수의 정렬원리와 수학적 귀납법 (0) | 2020.01.08 |