x와 a는 m으로 나눈 나머지가 같을 때, x≡a(modm)라고 쓰고 '법 m에 대하여 x는 a와 합동이다.'라고 읽는다.e.g. 5≡2(mod3), 5≡−1(mod3)
수학경시대회를 준비할 때 배우는 내용이지만, 제시문에 주어지기도 한다. 제시문에 주어져있지 않을 때는 위 내용을 답안 맨 앞에 써주고 풀이에 활용하면 번거로운 반복적인 수식 표현을 줄일 수 있다.
● 사칙 연산과 합동식
합과 곱의 경우 그대로 나머지끼리 연산할 수 있고, 몫의 경우만 주의한다.x≡a(modm), y≡b(modm) 일 때kx≡ka(modm)x±y≡a±b(modm)xy≡ab(modm)yx≡ba(modm)(단, b=0)
● 중국인의 나머지 정리(Chinese Remainder Theorem)
i=j이면 gcd(mi,mj)=1을 만족하는 mi에 대하여연립합동식 x≡ai(modmi)(i=1,2,3,⋯,n)는 법 i=1∏nmi에 대하여 유일한 근을 갖는다.
● 배수의 판정
일반적인 자연수 N이 n자리일 때 각 자리의 수를 ak(0≤k≤n−1)라 하면N=k=0∑n−1ak10k라고 표현할 수 있다.
이 때,N≡a0(mod2, 5),N≡a1×10+a0(mod22, 52),⋯N≡k=0∑n−1ak(mod3, 9),N≡k=0∑n−1ak(−1)k(mod11)임을 알 수 있다.
이와 중국인의 나머지 정리의 원리를 이용해 웬만한 자연수의 배수들은 빠르게 판정할 수 있다.
Comment. 이 정리를 따로 외울 필요는 없다. 대신 다음 계산 예제에서 a, b, c를 정확히 구할 수 있으면 충분하다.x≡1(mod3)x≡1(mod5)x≡a(mod15)x≡2(mod3)x≡4(mod5)x≡b(mod15)x≡1(mod3)x≡2(mod5)x≡c(mod15)