Maths Olympiad Prep

Library / Iranian Mathematical Olympiad /224 of 270

Iranian Mathematical Olympiad

Algebra Difficulty 7.3 National Olympiad, round 2 Prove it Iran

We are given a natural number dd. Find all open intervals of maximum length I⊆RI \subseteq \mathbb{R} such that for all real numbers a0,a1,…,a2d−1a_0, a_1, \dots, a_{2d-1} inside the interval II, the polynomial P(x)=x2d+a2d−1x2d−1+⋯+a1x+a0P(x) = x^{2d} + a_{2d-1}x^{2d-1} + \dots + a_1x + a_0 has no real roots.

Solution

The answer is I=(1,1+1d)I = (1, 1 + \frac{1}{d}).

Assume that the desired interval is of the form (b,c)(b, c). For some q,rq, r in (b,c)(b, c), put ai=qa_i = q for odd and ai=ra_i = r for even ii, where 0≤i≤2d−10 \le i \le 2d - 1. Then
P(−1)=1−dq+dr. P(-1) = 1 - dq + dr.
Since P(x)P(x) has no real root, we must have P(−1)>0P(-1) > 0. Thus, q−r<1dq - r < \frac{1}{d}. We can assume that c−b=1dc - b = \frac{1}{d}. Therefore, consider the interval as (b,b+1d)(b, b + \frac{1}{d}). It is easy to find that b>0b > 0, since by choosing a0=b+ϵa_0 = b + \epsilon should be positive. Now, assign the following numbers to the coefficients of the polynomial.
a2d−1=a2d−3=⋯=a1=b+1d+ϵ,a2d=a2d−2=⋯=a0=b+ϵ, a_{2d-1} = a_{2d-3} = \dots = a_1 = b + \frac{1}{d} + \epsilon, \quad a_{2d} = a_{2d-2} = \dots = a_0 = b + \epsilon,
for some sufficiently small ϵ>0\epsilon > 0.
It is clear that for all positive real xx, P(x)>0P(x) > 0. For all negative real xx, putting x=−tx = -t, where t>0t > 0, then,
P(−t)=t2d−(b+1d)t2d−1+bt2d−2−⋯−(b+1d)t+b+ϵQ(t), P(-t) = t^{2d} - \left(b + \frac{1}{d}\right) t^{2d-1} + bt^{2d-2} - \dots - \left(b + \frac{1}{d}\right) t + b + \epsilon Q(t),
for some polynomial Q(t)Q(t), deg⁡Q(t)=2d−1\deg Q(t) = 2d - 1. As ϵ\epsilon tends to zero, it remains to find all b>0b > 0 such that
R(t)=t2d−(b+1d)t2d−1+bt2d−2−⋯−(b+1d)t+b≥0. R(t) = t^{2d} - \left(b + \frac{1}{d}\right) t^{2d-1} + b t^{2d-2} - \cdots - \left(b + \frac{1}{d}\right) t + b \geq 0.
Note that R(1)=0R(1) = 0. Therefore, R′(1)R'(1) should be zero. That is,
2d−(2d−1)(b+1d)+(2d−2)b−⋯−(b+1d)=0. 2d - (2d - 1) \left(b + \frac{1}{d}\right) + (2d - 2)b - \cdots - \left(b + \frac{1}{d}\right) = 0.
Hence, we claim the interval I=(1,1+1d)I = (1, 1 + \frac{1}{d}) works! It is obvious that P(x)P(x) has no positive real roots. Now, we prove that P(x)>0P(x) > 0 for all negative real xx. Put x=−t,t>0x = -t, t > 0.
Then,
P(−t)>t2d−(1+1d)t2d−1+t2d−2−⋯−(1+1d)t+1. P(-t) > t^{2d} - \left(1 + \frac{1}{d}\right) t^{2d-1} + t^{2d-2} - \dots - \left(1 + \frac{1}{d}\right) t + 1.
Thus it remains to prove that
t2d+t2d−2+⋯+t2+1d+1≥t2d−1+t2d−3+⋯+t3+td. \frac{t^{2d} + t^{2d-2} + \dots + t^2 + 1}{d+1} \ge \frac{t^{2d-1} + t^{2d-3} + \dots + t^3 + t}{d}.
Now, since t2d+1≥t2d−2k+1+t2k−1t^{2d} + 1 \geq t^{2d-2k+1} + t^{2k-1} and t2k+t2k−2≥2t2k−1t^{2k} + t^{2k-2} \geq 2t^{2k-1}, we are done.
Thus,
b≤1dlim⁡t→1+dt2d−(t2d−1+t2d−3+⋯+t)t2d−1−t2d−2+⋯+t−1. b \le \frac{1}{d} \lim_{t \to 1^+} \frac{dt^{2d} - (t^{2d-1} + t^{2d-3} + \dots + t)}{t^{2d-1} - t^{2d-2} + \dots + t - 1}.
and
b≥1dlim⁡t→1−dt2d−(t2d−1+t2d−3+⋯+t)t2d−1−t2d−2+⋯+t−1, b \geq \frac{1}{d} \lim_{t \to 1^-} \frac{dt^{2d} - (t^{2d-1} + t^{2d-3} + \dots + t)}{t^{2d-1} - t^{2d-2} + \dots + t - 1},
since the function
dt2d−(t2d−1+t2d−3+⋯+t)t2d−1−t2d−2+⋯+t−1 \frac{dt^{2d} - (t^{2d-1} + t^{2d-3} + \dots + t)}{t^{2d-1} - t^{2d-2} + \dots + t - 1}
has a limit as tt approaches 1. Thus, we find that
lim⁡t→1+dt2d−(t2d−1+t2d−3+⋯+t)t2d−1−t2d−2+⋯+t−1=lim⁡t→1−dt2d−(t2d−1+t2d−3+⋯+t)t2d−1−t2d−2+⋯+t−1. \lim_{t \to 1^+} \frac{dt^{2d} - (t^{2d-1} + t^{2d-3} + \dots + t)}{t^{2d-1} - t^{2d-2} + \dots + t-1} = \lim_{t \to 1^-} \frac{dt^{2d} - (t^{2d-1} + t^{2d-3} + \dots + t)}{t^{2d-1} - t^{2d-2} + \dots + t-1}.
Hence,
b=1dlim⁡t→1dt2d−(t2d−1+t2d−3+⋯+t)t2d−1−t2d−2+⋯+t−1. b = \frac{1}{d} \lim_{t \to 1} \frac{dt^{2d} - (t^{2d-1} + t^{2d-3} + \dots + t)}{t^{2d-1} - t^{2d-2} + \dots + t - 1}.
Finally note that
dt2d−(t2d−1+t2d−3+⋯+t)t2d−1−t2d−2+⋯+t−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))(t−1)(t2d−2+t2d−4+⋯+1) \begin{align*} & \frac{dt^{2d} - (t^{2d-1} + t^{2d-3} + \dots + t)}{t^{2d-1} - t^{2d-2} + \dots + t-1} \\ &= \frac{(t^{2d} - t^{2d-1}) + (t^{2d} - t^{2d-3}) + \dots + (t^{2d} - t)}{(t-1)(t^{2d-2} + t^{2d-4} + \dots + 1)} \\ &= \frac{(t-1)(t^{2d-1} + t^{2d-3}(t^2+t+1) + \dots + t(t^{2d-2} + \dots + 1))}{(t-1)(t^{2d-2} + t^{2d-4} + \dots + 1)} \end{align*}
Thus,
lim⁡t→1dt2d−(t2d−1+t2d−3+⋯+t)t2d−1−t2d−2+⋯+t−1 \lim_{t \to 1} \frac{dt^{2d} - (t^{2d-1} + t^{2d-3} + \dots + t)}{t^{2d-1} - t^{2d-2} + \dots + t - 1}
=lim⁡t→1t2d−1+t2d−3(t2+t+1)+⋯+t(t2d−2+⋯+1)t2d−2+t2d−4+⋯+1=d2d=1. = \lim_{t \to 1} \frac{t^{2d-1} + t^{2d-3} (t^2 + t + 1) + \dots + t (t^{2d-2} + \dots + 1)}{t^{2d-2} + t^{2d-4} + \dots + 1} = \frac{d^2}{d} = 1.
That is, b=1db = \frac{1}{d} and d=1d = 1.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.