Processing math: 43%

약수와 배수

a,dZ이고, d0이라고 가정했을 때, a=cd를 만족하는 어떤 정수 c가 존재한다면 da의 약수라 부른다. 그리고 ad의 배수이다. 이 경우 ad의 관계는 da로 표기한다.

참고사항

다음 관계식은 문제 해결에 자주 사용되므로 숙지할 필요가 있다.

  1. 2a(a+1)

    a2k(kZ)이면 a(a+1))=2k(2k+1)로 성립, a2k+1이면 (2k+1)(2k+2)로 성립

  2. 3a(a+1)(a+2)

    a3k,3k+1,3k+2(kZ)이면 a(a+1)(a+2)=3k(3k+1)(3k+2),(3k+1)(3k+2)(3k+3),(3k+2)(3k+3)(3k+4)로 성립

  3. 6a(a+1)(a+2)

    2a(a+1),3a(a+1)(a+2)이므로 a(a+1)(a+2)23의 공배수가 되어 6a(a+1)(a+2)가 성립

약수의 성질 - 연산

직관적으로 알 수 있는 내용이지만 막상 문제를 해결할 땐 잘 떠오르지 않아 숙지해야 하는 몇가지 약수의 성질들을 나열하였다. a,b,c,dZ의 경우 다음을 만족한다.

  • da,dbdax±by(x,yZ)

    a=md,b=nd(m,nZ)에 따라 ax±by=mdx±ndy=d(mx±ny)

  • da,dax±b(xZ)db

    a=md,(ax±b)=nd(m,nZ)에 따라 ±b=ndax=d(nmx)

  • ab,bcac

    b=am,c=bn(m,nZ)에 따라 c=amn

  • d1d=±1

    d11=dn(nZ)에 따라 |1|=|dn||d|

위 내용들은 합동관계에 대해 설명할 때 등장하며 알고리즘 문제에서도 합동식에 관련된 문제가 꾸준히 출제되고 있어 알아두면 좋을 것 같다.

최대공약수(gcd, greatest common divisior)

a,bZ에 대해 정수 d (d>0)da,db를 만족하고 ca,cb인 정수 c에 대해 cd를 만족하면 da,b의 최대공약수라 부르고 d=gcd(a,b)로 표기한다. 만약 d=1이라면 a,b는 서로소라 부른다.

예제

nZ에 대해 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+1n!1이므로 dn를 만족하여 dn!이다.

dn!dn!+1이므로 dn!+1n!=1이므로 d=1가 되어 gcd(n!+1,(n+1)!+1)=1이다.

정수 a,b,c을 자연수 k로 나누었을 때, 나머지가 같을 필요충분조건은 kab,kcb임을 증명하여라

a,b,c를 각각 m1d+r,m2d+r,m3d+r이라고 하면 ab=d(m1m2),cb=d(m3m2)가 되어 dab,dcb가 성립한다.

하지만, 만약 a=m1d+r1,b=m2d+r2가 되어 ab=d(m1m2)+(r1r2)라 한다면 dab이라는 전제에 따라 d(ab)d(m1m2)=r1r2이다. d<r1r2<d이므로 dr1r2의 약수임이 확인되었는데 피제수인 r1r2d보다 작다는 건 모순되므로 r1r2=0가 되어 a,bd로 나누었을 때 나머지는 같다.

같은 방법으로 c,b에 대해서도 똑같이 증명이 가능하므로 b,cd로 나누었을 때의 나머지도 같음을 알 수 있다. 그리고 dab,dcb를 활용하여 d(ab)(cb)=ac이므로 위의 방법에 의해 a,c 또한 d로 나누었을 떄의 나머지도 같다.

kab,kcb를 만족해야 a,b,ck로 나누었을 때 나머지 r이 같고 그 역 또한 성립한다.

유클리드의 보조정리(Euclid's Lemma)

p, q는 서로 다른 소수이고 a, b는 정수라 하자. 이 경우 pab이면 pa 또는 pb이다.

  • pak이면 pa이다.
  • pa, qa이면 pqa이다.

예제

a,bN이고 gcd(a,b)=1이라 하자. 만약 d1이고 dab이면 다음 조건을 만족하는 소수 p가 존재한다.

  1. pab
  2. [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임을 증명하여라.

소수 pp \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이 아닌 소수 pp \mid a+b이고 p \mid ab이려면 p \mid a, \; p \mid b를 모두 만족해야 하기 때문이다.)

  • 참고. 합동관계 관련 내용에도 속한다. (이후에 다룰 예정)

양의 정수 d에 대하여, d4a^2+9b^2ab의 최대공약수가 되도록 하는 서로소인 양의 정수 a,b가 존재한다고 한다. 이러한 d의 개수를 구하여라.

문제의 조건에 따라 gcd(a,b)=1이고 d \mid ab이므로 d=AB라 할 수 있다. (Aa만의 약수, Bb만의 약수)

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+na의 배수], [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 수학경시 정수론, 장환수학, 임장환 저
  • 진산수학서당, 네이버 블로그


+ Recent posts