Problem:
Given the sequence
Prove that and are relatively prime for every .
Problem:
Given the sequence
Prove that and are relatively prime for every .
Solution:
We show that, if is a prime number dividing , then does not divide .
If , then the claim is trivially true, since all terms are odd for . Hence 2 divides if and only if .
Suppose then . Let be the smallest positive integer such that divides . The sequence of the remainders of upon division by takes only finitely many values (between 0 and ), so there exist two integers such that . For every we then have , so the sequence is periodic for ; it follows that the value ( divides ) must be attained before two terms of the sequence repeat. Moreover, if , then , because otherwise , and hence would never be zero. Therefore we must have for some . But if , then and for every , and thus is the only term of the sequence divisible by . Since does not divide any of the numbers , cannot divide .