Determine all integers k such that there exist infinitely many positive integers n not satisfying
n+k∣(n2n).
We claim that all integers k=1 satisfy the desired property.
First, recall that n+11(n2n) is the n-th Catalan number. Since the Catalan numbers are a sequence of integers, it follows that n+1∣(n2n) for all n. Hence, k=1 certainly cannot satisfy the problem statement.
Now, we consider two cases:
**Case 1: k=2.**
Suppose that p is a prime divisor of k and let n=pα for any α∈N. Then, since p∣n+k, in order to prove that n+k∤(n2n), it suffices to show that
p∤(n2n)=1⋅2⋯n(n+1)(n+2)⋯(2n).
Note that the greatest power of p that divides any term in the numerator or denominator of 1⋅2⋯(n−1)(n+1)(n+2)⋯(2n−1) is less than pα. Since the sets {1,2,⋯,n−1} and {n+1,n+2,⋯,2n−1} are congruent modulo pα, the numerator and denominator of the fraction 1⋅2⋯(n−1)(n+1)(n+2)⋯(2n−1) both contain the same number of factors of p. Therefore, p∤1⋅2⋯(n−1)(n+1)(n+2)⋯(2n−1).
Now, if we can show that p∤2, we will be able to conclude that p∤(n2n), as desired. Indeed, if p=2, then trivially p∤2. Meanwhile, if p=2, then let us take α≥2 so that 22∣n+k. Hence, we wish to show that 22∤(n2n). But since 2∤1⋅2⋯(n−1)(n+1)(n+2)⋯(2n−1)=2(n2n), we need only show that 22∤2, which is obvious. This concludes Case 1.
**Case 2: k=2.**
Seeking a nice expression for n+k, we choose to set n=2α−2 for any α∈N with α≥2. Then, since n+k=2α, we wish to show that
2α∤(n2n)=1⋅2⋯n(n+1)(n+2)⋯(2n).
Notice that since 2n<2α+1, the greatest power of 2 that divides any term in the numerator or denominator of 1⋅2⋯n(n+1)(n+2)⋯(2n) is 2α. Then, because the sets {1,2,⋯,n−2} and {n+3,n+4,⋯,2n} are congruent modulo 2α, we deduce that 2∤1⋅2⋯(n−2)(n+3)(n+4)⋯(2n). Removing this fraction from the fraction (n2n)=1⋅2⋯n(n+1)(n+2)⋯(2n), it suffices to show that 2α∤(n−1)n(n+1)(n+2). Keeping in mind that n+2=2α, we see that the largest power of 2 that divides the numerator is 2α, while the largest power of 2 that divides the denominator is 21 (since 2∣n). Therefore, 2α−1 is the largest power of 2 that divides (n−1)n(n+1)(n+2), so
2α∤(n−1)n(n+1)(n+2)⟹n+k∤(n2n),
as desired.
Thus, the integers k that satisfy the condition are all integers k=1.
The answer is: \boxed{k \neq 1}.