Find all natural numbers for which is coprime with .
Solution
Consider the given expression where is a prime number. , thus for any that is not divisible by , one has . There are numbers among that are not divisible by . Therefore
If the given expression is coprime with , it is not divisible by , so . This is valid for all prime divisors of , thus must be square-free. On the other hand, if is square-free, one has , hence the given expression is not divisible by . Since this is valid for all prime divisors of , the given two numbers are indeed coprime.
The answer is square-free integers.
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.