Skip to content

Mathematics · Ch 3 — Theory of Equations

Reciprocal Equations

3.8.2

Reciprocal Equations

Some equations have a special coefficient symmetry that lets a substitution do all the work, without needing to guess any individual root.

Note

Definition 3.1. A degree-nn polynomial P(x)P(x) is a reciprocal polynomial

  • of Type I if P(x)=xnP(1/x)P(x)=x^nP(1/x) — the equation P(x)=0P(x)=0 is then called a Type I reciprocal equation;
  • of Type II if P(x)=−xnP(1/x)P(x)=-x^nP(1/x) — a Type II reciprocal equation.
Note

Theorem 3.6. For anxn+⋯+a1x+a0=0a_nx^n+\cdots+a_1x+a_0=0 (an≠0a_n\ne0), this is a reciprocal equation iff either a0=an, a1=an−1, a2=an−2,…a_0=a_n,\ a_1=a_{n-1},\ a_2=a_{n-2},\ldots (Type I — coefficients from the start equal the coefficients from the end, in order) or a0=−an, a1=−an−1, a2=−an−2,…a_0=-a_n,\ a_1=-a_{n-1},\ a_2=-a_{n-2},\ldots (Type II — same coefficients from each end, but opposite in sign).

Proof idea. Replacing xx by 1/x1/x in P(x)=0P(x)=0 and multiplying through by xnx^n recovers the coefficients in reverse order. P(x)=0P(x)=0 is reciprocal iff this reversed polynomial is ±P(x)\pm P(x) itself, which forces ar/an−ra_r/a_{n-r} to be the same constant λ\lambda for every rr; multiplying the r=0r=0 and r=nr=n instances of this ratio gives λ2=1\lambda^2=1, so λ=1\lambda=1 (Type I, coefficients palindromic) or λ=−1\lambda=-1 (Type II, coefficients anti-palindromic).

Useful stated facts (without proof).

  • A reciprocal equation can never have 00 as a root.
  • For an odd-degree Type I reciprocal equation, x=−1x=-1 is always a root.
  • For an odd-degree Type II reciprocal equation, x=1x=1 is always a root.
  • For an even-degree Type II reciprocal equation, the middle coefficient must be 00, and both x=1x=1 and x=−1x=-1 are always roots.
  • For an even-degree reciprocal equation (Type I or II), substituting y=x+1xy=x+\tfrac1x (Type I) or y=x−1xy=x-\tfrac1x (Type II) reduces the problem to a polynomial equation of half the original degree.
Watch out

The converse of "reciprocal ⇒\Rightarrow roots pair as α,1/α\alpha,1/\alpha" is not an equivalence: a polynomial can have every root paired with its reciprocal without being a reciprocal polynomial in the Definition 3.1 sense. E.g. 2x3−9x2+12x−4=02x^3-9x^2+12x-4=0 has roots 2,2,122,2,\tfrac12 (reciprocal-paired, since 2×12=12\times\tfrac12=1), yet its coefficients 2,−9,12,−42,-9,12,-4 are not palindromic (nor anti-palindromic) — it is not a reciprocal equation by the definition. …