Problem:
Let be a prime number and let be an integer. Show that if is not divisible by for any integer , there exist infinitely many integers so that divides .
Solution
Solution:
We start with a simple fact:
Lemma: If is an integer not divisible by then there is an integer so that has the remainder when divided by .
For a proof, just note that numbers have distinct non-zero remainders when divided by , and hence one of them is equal to .
We prove that if and divides , then .
Indeed, assume that . If , then and so , a contradiction.
To this point we have . Since
and ,
we have
As , from the lemma we find an integer so that , . Then
and so , where , a contradiction.
Consequently .
Since we have proved that numbers have distinct remainders when divided by , the same goes for the numbers and the conclusion can be reached easily.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.