Maths Olympiad Prep

Library / /76 of 104

Algebra Difficulty 6.5 National Olympiad Prove it Bulgaria

Problem:
Let a,b1,c1,,bn,cna, b_{1}, c_{1}, \ldots, b_{n}, c_{n} be real numbers such that
x2n+ax2n1+ax2n2++ax+1=(x2+b1x+c1)(x2+bnx+cn) x^{2 n}+a x^{2 n-1}+a x^{2 n-2}+\cdots+a x+1=\left(x^{2}+b_{1} x+c_{1}\right) \ldots\left(x^{2}+b_{n} x+c_{n}\right)
for every real number xx. Prove that c1==cn=1c_{1}=\cdots=c_{n}=1.

Solution

Solution:
We first show that the assertion follows from the following lemma.

LEMMA. The polynomial P(z)=z2n+az2n1+az2n2++az+1P(z)=z^{2 n}+a z^{2 n-1}+a z^{2 n-2}+\cdots+a z+1 has at least 2n22 n-2 complex zeros lying on the unit circle and different from ±1\pm 1.

Since the coefficients of P(z)P(z) are real numbers, its non-real zeros are complex conjugate. It follows from the lemma that there are at least n1n-1 pairs of such zeros and we denote them by α1,α1,,αn1,αn1\alpha_{1}, \overline{\alpha_{1}}, \ldots, \alpha_{n-1}, \overline{\alpha_{n-1}}.

We may assume that
x2+b1x+c1=(xα1)(xα1)x2+bn1x+cn1=(xαn1)(xαn1) \begin{aligned} x^{2}+b_{1} x+c_{1}= & \left(x-\alpha_{1}\right)\left(x-\overline{\alpha_{1}}\right) \\ \cdots & \cdots \\ x^{2}+b_{n-1} x+c_{n-1}= & \left(x-\alpha_{n-1}\right)\left(x-\overline{\alpha_{n-1}}\right) \end{aligned}
Since α12==αn12=1|\alpha_{1}|^{2}=\cdots=|\alpha_{n-1}|^{2}=1 we get c1==cn1=1c_{1}=\cdots=c_{n-1}=1 and therefore cn=1c_{n}=1.

Proof of the Lemma. Since the non-real zeros of P(z)P(z) are complex conjugate it is enough to prove that this polynomial has at least n1n-1 zeros on the upper unit semicircle.

To do this set z=ei2θz=e^{i 2 \theta}. Then
z2n+1z2n1++z=(z2n+1)(z1)z(z2n11)=(ei2nθ+ei2nθ)(eiθeiθ)(ei(2n1)θei(2n1)θ)=2cos2nθsinθsin(2n1)θ=sin(2n+1)θsin(2n1)θ1 \begin{aligned} \frac{z^{2 n}+1}{z^{2 n-1}+\cdots+z} & =\frac{\left(z^{2 n}+1\right)(z-1)}{z\left(z^{2 n-1}-1\right)} \\ & =\frac{\left(e^{i 2 n \theta}+e^{-i 2 n \theta}\right)\left(e^{i \theta}-e^{-i \theta}\right)}{\left(e^{i(2 n-1) \theta}-e^{-i(2 n-1) \theta}\right)} \\ & =2 \frac{\cos 2 n \theta \sin \theta}{\sin (2 n-1) \theta}=\frac{\sin (2 n+1) \theta}{\sin (2 n-1) \theta}-1 \end{aligned}
Therefore we have to prove that the equation
f(θ)=sin(2n+1)θ+(a1)sin(2n1)θ=0 f(\theta)=\sin (2 n+1) \theta+(a-1) \sin (2 n-1) \theta=0
has at least n1n-1 roots in the interval (0,π2)\left(0, \frac{\pi}{2}\right). This is obvious for a=1a=1 because f(θk)=0f\left(\theta_{k}\right)=0, where θk=kπ2n+1,1kn\theta_{k}=\frac{k \pi}{2 n+1}, 1 \leq k \leq n.

Observe now that (k1)π<(2n1)θk<kπ(k-1) \pi<(2 n-1) \theta_{k}<k \pi and this implies that (1)k1sin(2n1)θk>0(-1)^{k-1} \sin (2 n-1) \theta_{k}>0. Hence f(θk)f(θk+1)<0f\left(\theta_{k}\right) f\left(\theta_{k+1}\right)<0 for a1a \neq 1 and the Intermediate value theorem implies that the equation f(θ)=0f(\theta)=0 has at least one root in each of the intervals (θ1,θ2),,(θn1,θn)\left(\theta_{1}, \theta_{2}\right), \ldots,\left(\theta_{n-1}, \theta_{n}\right). This completes the proof of the lemma.

Remark. It follows from the above that the polynomial P(z)P(z) has at most two real zeros x1x_{1} and x2x_{2} (possibly x1=x2x_{1}=x_{2} ) and x1x2=1x_{1} x_{2}=1. It can be proved that:

1) if a>2a>2, then x1<1x_{1}<-1 and x2(1,0)x_{2} \in(-1,0);

2) if a=2a=2, then x1=x2=1x_{1}=x_{2}=-1;

3) if a<22n1a< -\frac{2}{2 n-1}, then x1>1x_{1}>1 and x2(0,1)x_{2} \in(0,1);

4) if a=22n1a=-\frac{2}{2 n-1}, then x1=x2=1x_{1}=x_{2}=1;

5) if a(22n1,2)a \in\left(-\frac{2}{2 n-1}, 2\right), then the polynomial P(z)P(z) has no real zeros. In this case it has a zero z=ei2θz=e^{i 2 \theta}, where θ(0,θ1)\theta \in\left(0, \theta_{1}\right) for a(22n1,1)a \in\left(-\frac{2}{2 n-1}, 1\right) and θ(θn,π2)\theta \in\left(\theta_{n}, \frac{\pi}{2}\right) for a(1,2)a \in(1,2).

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

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