다음과 같은 양의 정수들의 무한 수열로부터

24b0d121e09c28a8699fe8b115ef046a7b68e2


각각의 n_kn_k > 1이므로, 산술의 기본 정리에 의하여 이 정수들은 소수로 나누어질 수 있다.


어떤 두 개의 n_k도 같은 소인수가 아님을 보이기 위해서, 일단 i<k이고 d = gcd(n_i, n_k)라 하자.


그러면 dn_i를 나누고 n_1n_2...n_{k-1}을 나눈다. 라고 되어 있는데요.


24b0d121e09c28a8699fe8b115ef0468e1adedbe

(참조 : Daivd M. Burton - Elementary Number Theory 7th)


n_k = n_1n_2...n_{k-1} + 1인데 왜 dn_1n_2...n_{k-1}을 나누나요?


문장 뒤에 theorem 2.2.(g)에 대한 참조가 있어서 따로 첨부합니다.

24b0d121e09c28a8699fe8b115ef046ec94acaf1

(참조 : Daivd M. Burton - Elementary Number Theory 7th)


감사합니다.