나머지 정리
두 정수 () 에 대해, 임의의 정수 는
를 만족하는 정수 이 유일하게 존재한다.
증명
집합 를 고려하자. 이면, 이므로 성립한다. 이면, 는 양의 정수들로 이루어진 집합이므로, 자연수의 최소 원소 정리에 의해 가장 작은 원소를 가지며 이를 라 하자.
이때, 는
보다 작으므로 의 원소가 아니고, 따라서
이 성립한다. 따라서 나머지를 라 하면,
이제 존재성은 증명되었고, 유일성만 증명하면 된다.
이고,
라고 하면,
인데, 이므로 은 의 배수이므로 , 즉
가 성립한다. 따라서 은 유일하게 존재함이 증명되었다.
나머지 정리의 여러 가지 성질
정수의 생성 원리
에 대해,
인 가 존재한다.
이때,
로 나타낼 수 있다.
- 로 가정.
- 는 의 공약수여야 함.
- 가 가장 작은 자연수라고 가정하면, 유클리드 호제법을 이용하여 가 존재함을 증명할 수 있다.
최대공약수와 생성 원리
즉, 두 정수의 최대공약수는 생성되는 정수의 가장 작은 양수이다.
- 는 의 공약수이므로, 가 와 를 나눌 수 있음.
- 만약 가 의 공약수이면, 는 의 공약수이므로 이다.
- 따라서, 최대공약수는 와 같음을 보일 수 있다.
최대공약수와 베주 정리(Bézout’s Identity)
- 두 수가 서로소일 때, 정수 계수로 1을 표현할 수 있다.
- 즉, 서로소 정수는 정수 계수의 선형 결합으로 1을 만들 수 있음을 의미한다.
최대공약수 표현식
이는 확장된 유클리드 알고리즘을 통해 를 찾을 수 있음을 의미한다.
예제
-
, 에 대해, 생성되는 정수의 집합 를 구하고, 이 집합이 어떤 수의 배수로 표현되는지 확인하시오.1
-
와 의 최대공약수를 구하고, 이를 이용하여 을 간단히 표현하시오.2
-
과 이 서로소임을 확인하고, 베주 항등식 을 만족하는 정수해 중 하나를 구하시오.3
-
를 구하고, 를 만족하는 정수 를 찾아라.4