서로소 (수론)

위키백과 ― 우리 모두의 백과사전.

서로소(-素)는 두 정수 사이의 공약수1-1 이외에 존재하지 않는다는 것을 뜻한다. 이것은 두 수의 최대공약수가 1이라는 것과도 같다.

예를 들면, 6과 35의 공약수는 1과 -1뿐이므로 서로소이고, 6과 27 사이의 공약수에는 1과 -1 이외에도 3과 -3이 존재하기 때문에 서로소가 아니다. 1과 -1은 임의의 정수와 서로소이며, 0과 서로소인 정수는 1과 -1뿐이다.

[편집] 성질

만약 두 수 a와 b가 서로소이면, ax + by = 1인 두 정수 x와 y가 존재한다. 또한 이것의 도 성립한다.

어떤 정수를 임의로 선택했을 때 그 정수가 소수 p배수일 확률은 \frac{1}{p}이다. 따라서 임의의 두 정수가 소수 p배수일 확률은 \frac{1}{p^2}이고, 두 정수가 모든 소수의 배수가 아닐 확률, 즉 서로 소일 확률은 다음과 같다.

\prod_p^{\infty} \left(1-\frac{1}{p^2}\right) = 1 / \prod \frac{1}{1-p^{-2}} = \frac{1}{\zeta(2)} = \frac{6}{\pi^2}

여기에서 ζ리만 제타 함수를 뜻한다.

이 문서는 수학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.