나머지 정리

두 정수 () 에 대해, 임의의 정수

를 만족하는 정수 이 유일하게 존재한다.

증명

집합 를 고려하자. 이면, 이므로 성립한다. 이면, 는 양의 정수들로 이루어진 집합이므로, 자연수의 최소 원소 정리에 의해 가장 작은 원소를 가지며 이를 라 하자.

이때,

보다 작으므로 의 원소가 아니고, 따라서

이 성립한다. 따라서 나머지를 라 하면,

이제 존재성은 증명되었고, 유일성만 증명하면 된다.

이고,

라고 하면,

인데, 이므로 의 배수이므로 , 즉

가 성립한다. 따라서 은 유일하게 존재함이 증명되었다.

나머지 정리의 여러 가지 성질

정수의 생성 원리

에 대해,

가 존재한다.

이때,

로 나타낼 수 있다.

  • 로 가정.
  • 의 공약수여야 함.
  • 가 가장 작은 자연수라고 가정하면, 유클리드 호제법을 이용하여 가 존재함을 증명할 수 있다.

최대공약수와 생성 원리

즉, 두 정수의 최대공약수는 생성되는 정수의 가장 작은 양수이다.

  • 의 공약수이므로, 를 나눌 수 있음.
  • 만약 의 공약수이면, 의 공약수이므로 이다.
  • 따라서, 최대공약수는 와 같음을 보일 수 있다.

최대공약수와 베주 정리(Bézout’s Identity)

  • 두 수가 서로소일 때, 정수 계수로 1을 표현할 수 있다.
  • 즉, 서로소 정수는 정수 계수의 선형 결합으로 1을 만들 수 있음을 의미한다.

최대공약수 표현식

이는 확장된 유클리드 알고리즘을 통해 를 찾을 수 있음을 의미한다.

예제

  1. , 에 대해, 생성되는 정수의 집합 를 구하고, 이 집합이 어떤 수의 배수로 표현되는지 확인하시오.1

  2. 의 최대공약수를 구하고, 이를 이용하여 을 간단히 표현하시오.2

  3. 이 서로소임을 확인하고, 베주 항등식 을 만족하는 정수해 중 하나를 구하시오.3

  4. 를 구하고, 를 만족하는 정수 를 찾아라.4

Footnotes

  1. 생성되는 정수의 집합은 이며, 이 집합은 최대공약수인 의 배수들로 이루어진다. 즉, 이다.

  2. 최대공약수는 이므로, 이다.

  3. 의 최대공약수는 이므로, 베주 항등식을 풀면 이다. 따라서, 한 해는 이다.

  4. 이므로, 베주 항등식을 풀면 이다. 따라서, 이다.