The answer is I=(1,1+d1).
Assume that the desired interval is of the form (b,c). For some q,r in (b,c), put ai=q for odd and ai=r for even i, where 0≤i≤2d−1. Then
P(−1)=1−dq+dr.
Since P(x) has no real root, we must have P(−1)>0. Thus, q−r<d1. We can assume that c−b=d1. Therefore, consider the interval as (b,b+d1). It is easy to find that b>0, since by choosing a0=b+ϵ should be positive. Now, assign the following numbers to the coefficients of the polynomial.
a2d−1=a2d−3=⋯=a1=b+d1+ϵ,a2d=a2d−2=⋯=a0=b+ϵ,
for some sufficiently small ϵ>0.
It is clear that for all positive real x, P(x)>0. For all negative real x, putting x=−t, where t>0, then,
P(−t)=t2d−(b+d1)t2d−1+bt2d−2−⋯−(b+d1)t+b+ϵQ(t),
for some polynomial Q(t), degQ(t)=2d−1. As ϵ tends to zero, it remains to find all b>0 such that
R(t)=t2d−(b+d1)t2d−1+bt2d−2−⋯−(b+d1)t+b≥0.
Note that R(1)=0. Therefore, R′(1) should be zero. That is,
2d−(2d−1)(b+d1)+(2d−2)b−⋯−(b+d1)=0.
Hence, we claim the interval I=(1,1+d1) works! It is obvious that P(x) has no positive real roots. Now, we prove that P(x)>0 for all negative real x. Put x=−t,t>0.
Then,
P(−t)>t2d−(1+d1)t2d−1+t2d−2−⋯−(1+d1)t+1.
Thus it remains to prove that
d+1t2d+t2d−2+⋯+t2+1≥dt2d−1+t2d−3+⋯+t3+t.
Now, since t2d+1≥t2d−2k+1+t2k−1 and t2k+t2k−2≥2t2k−1, we are done.
Thus,
b≤d1t→1+limt2d−1−t2d−2+⋯+t−1dt2d−(t2d−1+t2d−3+⋯+t).
and
b≥d1t→1−limt2d−1−t2d−2+⋯+t−1dt2d−(t2d−1+t2d−3+⋯+t),
since the function
t2d−1−t2d−2+⋯+t−1dt2d−(t2d−1+t2d−3+⋯+t)
has a limit as t approaches 1. Thus, we find that
t→1+limt2d−1−t2d−2+⋯+t−1dt2d−(t2d−1+t2d−3+⋯+t)=t→1−limt2d−1−t2d−2+⋯+t−1dt2d−(t2d−1+t2d−3+⋯+t).
Hence,
b=d1t→1limt2d−1−t2d−2+⋯+t−1dt2d−(t2d−1+t2d−3+⋯+t).
Finally note that
t2d−1−t2d−2+⋯+t−1dt2d−(t2d−1+t2d−3+⋯+t)=(t−1)(t2d−2+t2d−4+⋯+1)(t2d−t2d−1)+(t2d−t2d−3)+⋯+(t2d−t)=(t−1)(t2d−2+t2d−4+⋯+1)(t−1)(t2d−1+t2d−3(t2+t+1)+⋯+t(t2d−2+⋯+1))
Thus,
t→1limt2d−1−t2d−2+⋯+t−1dt2d−(t2d−1+t2d−3+⋯+t)
=t→1limt2d−2+t2d−4+⋯+1t2d−1+t2d−3(t2+t+1)+⋯+t(t2d−2+⋯+1)=dd2=1.
That is, b=d1 and d=1.