First, we will prove the following lemma:
*Lemma.* Let f be a polynomial with rational coefficients such that f(n) is an integer for any integer n. Then there exist integers a0,a1,…,ap such that f(x)=∑i=0pai(ix).
*Proof.* Let us first prove that for any polynomial with rational coefficients f there are rational numbers a0,a1,…,ap (where p=degf(x)) such that f(x)=∑i=0pai(ix).
We will prove this by induction on p=degf(x), with the base case p=0 being clear. Assuming that p≥1 and that the result holds for polynomials of degree not exceeding p−1, consider a polynomial f(x) of degree p. Then choose ap such that f(x)−ap(px) has degree not exceeding p−1 (namely, if a is the leading coefficient of f, choose ap=a⋅p!). By the inductive hypothesis we can write
f(x)−ap(px)=i=0∑p−1ai(ix)
for some rational numbers a0,…,ap, and thus f has the required form. Assuming that f(n) is an integer for all integers n, then
a1=(a0+a1)−a0=f(1)−f(0)
is an integer, as a difference of two integers. Clearly, a0=f(0) is also an integer. Assuming that a0,…,ak−1 are integers for some k≥2, the relation
f(k)=a0(0k)+a1(1k)+⋯+ak−1(k−1k)+ak
shows that ak is an integer, as well. Therefore a0,a1,…,ap are all integers and the proof of the lemma is complete.
Now let's return to the original problem. For all n>k, we have that
2025n=(2024+1)n=i=0∑n(in)2024i≡i=0∑k−1(in)2024i(mod11k).
Let Q(n)=∑i=0k−1(in)2024i, which is a polynomial with rational coefficients of degree k−1 in n. Then the condition is equivalent to
P(n)+Q(n)≡0(mod11k)
for all positive integers n>k.
Let Q(x)=∑i=0k−1qixi and P(x)=∑i=0dpixi. If d≥k−1, we can select pi=−qi for all 0≤d≤k−1 and pi=11k for i>k−1 and the condition is satisfied. Obviously all qi are rational numbers, and hence P is a polynomial with rational coefficients.
Let pi=biai where ai,bi are integers such that GCD(ai,bi)=1, for all i∈{0,1,…,k−1} (or if pi=0 we set ai=0,bi=1). Notice that (ix)⋅2024i=1⋅2…ix(x−1)…(x−i+1)⋅2024i, and since
v11(i!)=⌊11i⌋+⌊112i⌋+⋯<i=v11(2024i), the denominator of this fraction (after reduction) is not divisible by 11, for all i∈{0,1,…,k−1}. Hence, none of the bi's is divisible by 11.
Let S=LCM(b0,b1,b2,…,bk−1) and let Sinv be an integer such that S⋅Sinv≡1(mod11k) (Sinv exists because S is not divisible by 11). Define P′(x)=P(x)⋅S⋅Sinv. Now, first notice that P′(x) has integer coefficients (P(x)⋅S has integer coefficients, and multiplying it by Sinv doesn't change that fact) and due to the construction of Sinv, for each positive integer n>k we have that P′(n)≡P(n)(mod11k).
Thus, P′ also satisfies the condition and has integer coefficients. In conclusion, all d≥k−1 satisfy the problem condition.
Now, suppose that d<k−1 and let
R(x)=P(x)+Q(x).
Then degR(x)=k−1 and 11kR(n) is an integer for all positive integers n>k (hence, in fact, for all positive integers due to the periodicity of R modulo 11k). Let
T(x)=11kR(x)=i=0∑k−111krixi.
Then the leading coefficient of T(x) is equal to
11krk−1=11kqk−1=(k−1)!11k2024k−1.
Also, using the lemma we can write
T(x)=i=0∑k−1ai(ix)
with ai∈Z for all 0≤i≤k−1. Comparing the leading coefficients we get that
(k−1)!11k2024k−1=(k−1)!ak−1
which implies that
11k2024k−1=ak−1∈Z,
a contradiction. In conclusion, the desired positive integers d are all such that d≥k−1.