중국인의 나머지 정리(中國人-定理, 영어: Chinese remainder theorem)는 연립 합동식을 하나의 합동식으로 만드는 것에 대한 정리로, 정수론에서 중요한 위치를 차지한다.
정리
서로 소인 자연수 와 임의의 정수 가 있을 때, 임의의 ()에 대해
로 표현되는 변수 의 연립 합동 방정식에 대해, 이 방정식이 성립하는 값 가 항상 존재하며, 또한 그 값은 모듈로 안에서 유일하게 존재한다. 즉, 방정식의 해는 모두 로 표현가능하다.
증명과 계산 방법
이라고 놓는다. 각 에 대해, 와 는 서로 소이기 때문에, 인 정수 가 존재한다. 여기에서 라고 놓으면,
- ()
가 성립한다.
여기에서 로 놓으면, 임의의 에 대해 가 성립한다. 즉, 가 바로 구하는 해 중의 하나이다.
이제 모듈로 내에서의 유일성을 증명하기 위해, 두 해 가 존재한다고 가정하자. 그러면 이므로 는 모든 의 배수이고, 따라서 는 의 배수이다. 즉, 이므로 N 모듈로 내에서는 항상 유일한 해가 존재한다.
역사
이 정리는 원래 5세기 남북조 시대의 중국 수학서 《손자산경》(孫子算經)에 최초로 등장한다. 이후 1247년 남송의 수학자 진구소(秦九韶)가 저술한 《수서구장》(數書九章)에서 더 일반화되었다.
같이 보기