A number is [i]interesting[/i] if 2018 divides (the number of positive divisors of ). Determine all positive integers such that there exists an infinite arithmetic progression with common difference whose terms are all interesting.
Solution
A number is considered interesting if 2018 divides , the number of positive divisors of . We aim to determine all positive integers such that there exists an infinite arithmetic progression with common difference whose terms are all interesting.
To solve this, we need to identify the conditions on that allow for such an arithmetic progression. We will show that must satisfy one of the following two conditions:
1. There exists a prime number such that .
2. There exist two distinct prime numbers and such that and .
### Proof:
1. Condition 1:
If has a prime factor with , then consider the arithmetic progression . Here, and . Each term in this progression will have a number of divisors divisible by 2018, making all terms interesting.
2. Condition 2:
If has two distinct prime factors and with and , then consider the arithmetic progression . Here, and . Each term in this progression will also have a number of divisors divisible by 2018, making all terms interesting.
### Inductive Step:
We use induction to show that if an infinite arithmetic progression with common difference exists, then must satisfy one of the two conditions above.
- Base Case:
For , there is no such arithmetic progression.
- Inductive Hypothesis:
Assume the statement is true for all .
- Inductive Step:
Suppose there exists an arithmetic progression with common difference satisfying the condition. If does not satisfy either condition, we derive a contradiction by considering the prime factorization of and using properties of divisors and prime numbers.
Thus, the positive integers that allow for an infinite arithmetic progression of interesting numbers must satisfy one of the two conditions stated above.
The answer is: \boxed{\text{All } k \text{ such that } v_p(k) \geq 2018 \text{ for some prime } p \text{ or } v_q(k) \geq 1009 \text{ and } v_r(k) \geq 2 \text{ for some distinct primes } q \text{ and } r.}