Reason for substitution : $a=z + \frac{1}{z}$.

We say that a polynomial is palindromic, if its sequence of coefficients can equally well be read backwards. So a degree $n$ polynomial $$ p(x)=a_0+a_1x+a_2x^2+\cdots+a_nx^n,\ a_n\neq0, $$ is palindromic if $a_i=a_{n-i}$ for all indices $i, 0\le i\le n$. This system of equations can compactly be restated in the form $$ p(x)=x^np(\frac1x). $$ This way of doing it shows that $p(\alpha)=0$ if and only if $p(1/\alpha)=0$.

If we further assume that $n$ is even, say $n=2k$, then we get to the business part. In that case we can write $$ \frac1{x^k}p(x)=a_0x^{-k}+a_1x^{-k+1}+\cdots+a_{k-1}x^{-1}+a_k+a_{k+1}x+\cdots a_{2k}x^k.\qquad(*) $$ Observe that here the coefficients of $x^i$ and $x^{-i}$ are equal as a consequence of the palindromic property. This means that $(*)$ can be written as a polynomial in the new variable $z=x+\dfrac1x$. Behold $$ \begin{aligned} x+\frac1x&=z,\\ x^2+\frac1{x^2}&=(x+\frac1x)^2-2=z^2-2,\\ x^3+\frac1{x^3}&=(x^2+\frac1{x^2})(x+\frac1x)-(x+\frac1x)=z^3-3z,\\ \vdots\\ x^{\ell+1}+\frac1{x^{\ell+1}}&=(x^\ell+\frac1{x^\ell})(x+\frac1x)-(x^{\ell-1}+\frac1{x^{\ell-1}})=\cdots.\\ \end{aligned} $$ Here the last line contains a general recurrence relation defining a sequence of polynomials $q_\ell, \ell=1,2,\ldots$, such that $x^\ell+x^{-\ell}=q_\ell(z)$. We simply declare $q_0(z)=2, q_1(z)=z$, and apply the recurrence $$ q_{\ell+1}(z)=z q_\ell(z)-q_{\ell-1}(z) $$ for higher values of $\ell$.

Therefore the right hand side of $(*)$ is equal to $$a_k+a_{k-1}q_1(z)+a_{k-2}q_2(z)+\cdots+a_0q_k(z)=\sum_{i=0}^ka_{k-i}q_i(z).\qquad(**)$$

Observe that $\deg q_i=i$, so on the right hand side of $(**)$ we have a degree $k$ polynomial.

What all this implies is that we can find the zeros of a palindromic polynomial $p(x)$ of even degree $n=2k$ by the process of:

  1. Write $x^k(p(1/x)$ in the form $f(z)$ with a polynomial $f$ of degree $k$.
  2. Find the zeros of $f(z)$ (this may still be taxing if $k$ is large).
  3. For each zero $z_j, j=1,2,\ldots,k,$ solve the quadratic equation $$x+\frac1x=z_j$$ to find two of the zeros of $p(x)$.

Example. When $p(x)=x^4+x^3+x^2+x+1$, a palindromic of degree $4=2\cdot2$, we see that $$ x^2p(\frac1x)=x^2+x+1+\frac1x+\frac1{x^2}=1+q_1(z)+q_2(z)=z^2+z-1. $$ The zeros of $z^2+z-1$ are $z_{1,2}=(-1\pm\sqrt5)/2$. The rest is easy.

Tags:

Polynomials