수리논술, 배움에서 논증의 완성까지.

합동식과 배수의 판정

개념강의 바로가기 ↓

강의 노트

x\displaystyle xa\displaystyle am\displaystyle m으로 나눈 나머지가 같을 때, xa(modm)\displaystyle x\equiv a(\mathrm{mod}\, m)라고 쓰고 '법 m\displaystyle m에 대하여 x\displaystyle xa\displaystyle a와 합동이다.'라고 읽는다.e.g. 52(mod3)\displaystyle 5\equiv2(\mathrm{mod}\, 3), 51(mod3)\displaystyle 5\equiv-1(\mathrm{mod}\, 3)

수학경시대회를 준비할 때 배우는 내용이지만, 제시문에 주어지기도 한다. 제시문에 주어져있지 않을 때는 위 내용을 답안 맨 앞에 써주고 풀이에 활용하면 번거로운 반복적인 수식 표현을 줄일 수 있다.

● 사칙 연산과 합동식

합과 곱의 경우 그대로 나머지끼리 연산할 수 있고, 몫의 경우만 주의한다.xa(modm), yb(modm) 일 때kxka(modm)x±ya±b(modm)xyab(modm)xy≢ab(modm)(단, b0)\displaystyle \begin{aligned} & x\equiv a(\mathrm{mod}\, m),\ y\equiv b(\mathrm{mod}\, m)\text{ 일 때} \\ & kx\equiv ka(\mathrm{mod}\, m) \\ & x\pm y\equiv a\pm b(\mathrm{mod}\, m) \\ & xy\equiv ab(\mathrm{mod}\, m) \\ & \frac{x}{y}\not\equiv\frac{a}{b}(\mathrm{mod}\, m)\text{(단, }b\ne0\text{)} \end{aligned}

● 중국인의 나머지 정리(Chinese Remainder Theorem)

ij\displaystyle i\ne j이면 gcd(mi,mj)=1\displaystyle \gcd(m_{i},m_{j})=1을 만족하는 mi\displaystyle m_{i}에 대하여연립합동식 xai(modmi)(i=1,2,3,,n)\displaystyle x\equiv a_{i}(\mathrm{mod}\, m_{i}) (i=1,2,3,\cdots,n)는 법 i=1nmi\displaystyle \prod_{i=1}^{n}m_{i}에 대하여 유일한 근을 갖는다.

Comment. 이 정리를 따로 외울 필요는 없다. 대신 다음 계산 예제에서 a\displaystyle a, b\displaystyle b, c\displaystyle c를 정확히 구할 수 있으면 충분하다.x1(mod3)x2(mod3)x1(mod3)x1(mod5)x4(mod5)x2(mod5)xa(mod15)xb(mod15)xc(mod15)\displaystyle \begin{array}{c|c|c} x\equiv1(\mathrm{mod}\, 3) & x\equiv2(\mathrm{mod}\, 3) & x\equiv1(\mathrm{mod}\, 3) \\[7pt] x\equiv1(\mathrm{mod}\, 5) & x\equiv4(\mathrm{mod}\, 5) & x\equiv2(\mathrm{mod}\, 5) \\[7pt] \hline x\equiv a(\mathrm{mod}\, 15) & x\equiv b(\mathrm{mod}\, 15) & x\equiv c(\mathrm{mod}\, 15) \end{array}

● 배수의 판정

일반적인 자연수 N\displaystyle Nn\displaystyle n자리일 때 각 자리의 수를 ak(0kn1)\displaystyle a_{k}(0\le k\le n-1)라 하면N=k=0n1ak10k\displaystyle N=\sum_{k=0}^{n-1}a_{k}10^{k}라고 표현할 수 있다.

이 때,Na0(mod2, 5),Na1×10+a0(mod22, 52),\displaystyle N\equiv a_{0}(\mathrm{mod}\, 2,\ 5),\quad N\equiv a_{1}\times10+a_{0}(\mathrm{mod}\, 2^{2},\ 5^{2}),\quad\cdotsNk=0n1ak(mod3, 9),Nk=0n1ak(1)k(mod11)\displaystyle N\equiv\sum_{k=0}^{n-1}a_{k}(\mathrm{mod}\, 3,\ 9),\quad N\equiv\sum_{k=0}^{n-1}a_{k}(-1)^{k}(\mathrm{mod}\, 11)임을 알 수 있다.

이와 중국인의 나머지 정리의 원리를 이용해 웬만한 자연수의 배수들은 빠르게 판정할 수 있다.

이 개념도 나오는 문제

아직 이 개념도 함께 다루는 문제가 없습니다.