B1, B3 - Complex roots of cubic and quartic equations

B1, B3 - Complex roots of cubic and quartic equations

How much can one known root tell you about an entire polynomial equation? B3 supplies a second root when the coefficients are real, and B1 uses the resulting factors to solve cubics and quartics. You will recover all the roots from the information supplied, including zero and repeated roots.

Conjugate roots and real coefficients

If a cubic with real coefficients has root 1+2i1+2\mathrm{i}, what other root must it have? The partner 1−2i1-2\mathrm{i} is forced by conjugation. This gives more information than an arbitrary single root would provide.

Root and factor

A root rr of f(z)=0f(z)=0 satisfies f(r)=0f(r)=0. By the factor theorem, z−rz-r is then a factor of f(z)f(z). The theorem works for real and complex roots.

Suppose f(z)=z3−3z2+7z−5f(z)=z^3-3z^2+7z-5 and f(1+2i)=0f(1+2\mathrm{i})=0. Conjugating that equality changes every occurrence of 1+2i1+2\mathrm{i} to 1−2i1-2\mathrm{i}, while the real coefficients stay fixed. The result is f(1−2i)=0f(1-2\mathrm{i})=0.

More generally, write a polynomial with real coefficients as f(z)=anzn+⋯+a1z+a0f(z)=a_nz^n+\cdots+a_1z+a_0. Conjugation preserves sums and products, so

(f(r))∗=an(r∗)n+⋯+a1r∗+a0=f(r∗)\begin{aligned} \bigl(f(r)\bigr)^* &=a_n(r^*)^n+\cdots+a_1r^*+a_0\\ &=f(r^*) \end{aligned}

If f(r)=0f(r)=0, then f(r∗)=0∗=0f(r^*)=0^*=0. When rr is non-real, r∗≠rr^*\ne r, so these are two distinct roots.

Conjugate-root theorem

Non-real roots of a polynomial equation with real coefficients occur in conjugate pairs. If p+iqp+\mathrm{i}q is a root, with real p,qp,q and q≠0q\ne0, then p−iqp-\mathrm{i}q is also a root. Together they give the real quadratic factor

[z−(p+iq)][z−(p−iq)]=(z−p)2+q2[z-(p+\mathrm{i}q)][z-(p-\mathrm{i}q)]=(z-p)^2+q^2

Not in the formula booklet: learn it.

The real-coefficient condition is essential. The equation z−i=0z-\mathrm{i}=0 has root i\mathrm{i}, but −i-\mathrm{i} is not a root: substituting it gives −2i-2\mathrm{i}. Its constant coefficient is non-real, so the theorem does not apply. A real root is its own conjugate; the theorem does not turn it into a second distinct root.

For the opening pair, the quadratic factor is (z−1)2+4=z2−2z+5(z-1)^2+4=z^2-2z+5. Two linear factors containing i\mathrm{i} have combined into a factor with real coefficients. This is the useful connection: a complex root can unlock ordinary real polynomial division.

Watch out

Wrong: “complex roots always come in pairs”. Correct: non-real conjugate roots pair up when the polynomial has real coefficients. A general non-real root need not be purely imaginary.

Apply the conditions as well as the sign change.

Factoring a cubic from a known root

A cubic becomes a quadratic after division by a known linear factor. If the given root is non-real and the coefficients are real, use its conjugate too: the quadratic factor leaves only a linear quotient.

You already know

Polynomial division finds Q(z)Q(z) and a remainder R(z)R(z) such that f(z)=D(z)Q(z)+R(z)f(z)=D(z)Q(z)+R(z), with the remainder's degree smaller than the divisor's. If DD is a factor, the remainder is zero. Expanding the proposed product checks the division.

Start with a real root so that the quadratic is obtained by ordinary division.

Worked example 1: a given real root

Question. It is given that 11 is a root of z3−3z2+7z−5=0z^3-3z^2+7z-5=0. Find all the roots.

Plan. Divide by z−1z-1, then solve the quadratic quotient.

z3−3z2+7z−5=(z−1)(z2−2z+5)polynomial divisionz2−2z+5=0set the remaining factor to zero(z−1)2=−4complete the squarez=1±2isolve the quadratic\begin{aligned} z^3-3z^2+7z-5 &=(z-1)(z^2-2z+5) && \text{polynomial division}\\ z^2-2z+5&=0 && \text{set the remaining factor to zero}\\ (z-1)^2&=-4 && \text{complete the square}\\ z&=1\pm2\mathrm{i} && \text{solve the quadratic} \end{aligned}

For the division, subtracting z2(z−1)z^2(z-1) first leaves −2z2+7z−5-2z^2+7z-5. Subtracting −2z(z−1)-2z(z-1) then leaves 5z−55z-5, so the last quotient term is 55 and the remainder is zero.

Answer. z=1, 1+2i, 1−2iz=1,\ 1+2\mathrm{i},\ 1-2\mathrm{i}.

Check. Expanding (z−1)(z2−2z+5)(z-1)(z^2-2z+5) gives z3−3z2+7z−5z^3-3z^2+7z-5. The given root makes the first factor zero; the two new roots make (z−1)2+4(z-1)^2+4 zero.

Keep the polynomial the same, but change the information supplied: this time you know a non-real root. That changes which factor is available first.

Worked example 2: a given non-real root

Question. It is given that 1+2i1+2\mathrm{i} is a root of z3−3z2+7z−5=0z^3-3z^2+7z-5=0. Find the other roots.

Plan. Use real coefficients to obtain the conjugate root, form their quadratic factor and divide it out.

Conjugate root=1−2ireal coefficients[z−(1+2i)][z−(1−2i)]=(z−1)2+4=z2−2z+5combine the pairz3−3z2+7z−5=(z2−2z+5)(z−1)divide out the quadraticz−1=0  ⟹  z=1solve the linear factor\begin{aligned} \text{Conjugate root}&=1-2\mathrm{i} && \text{real coefficients}\\ [z-(1+2\mathrm{i})][z-(1-2\mathrm{i})] &=(z-1)^2+4=z^2-2z+5 && \text{combine the pair}\\ z^3-3z^2+7z-5 &=(z^2-2z+5)(z-1) && \text{divide out the quadratic}\\ z-1&=0\implies z=1 && \text{solve the linear factor} \end{aligned}

In this division, subtracting z(z2−2z+5)z(z^2-2z+5) leaves −z2+2z−5-z^2+2z-5, which is −1-1 times the divisor. That gives the quotient z−1z-1 with zero remainder.

Answer. The other roots are 1−2i1-2\mathrm{i} and 11.

Check. Substitution of the real root gives 1−3+7−5=01-3+7-5=0. For each non-real root, the quadratic factor becomes (±2i)2+4=0(\pm2\mathrm{i})^2+4=0.

Both routes reach the same factorisation. A cubic may also have three real roots; do not assume a non-real pair exists unless the information or the remaining quadratic establishes it.

Watch out

Wrong: a root 1+2i1+2\mathrm{i} gives the factor z+1+2iz+1+2\mathrm{i}. Correct: subtract the whole root, z−(1+2i)=z−1−2iz-(1+2\mathrm{i})=z-1-2\mathrm{i}.

Use the non-real-root route for a new cubic.

Quartics from a complex root or quadratic factor

A quartic has a quadratic quotient after division by a quadratic factor. A given non-real root supplies such a factor through its conjugate; a given quadratic factor lets you start the division immediately. In either case, solve both quadratic factors to obtain the full root set.

Worked example 3: a quartic with a given complex root

Question. It is given that 1+2i1+2\mathrm{i} is a root of z4+3z2+6z+10=0z^4+3z^2+6z+10=0. Find all the roots.

Plan. Form the real quadratic factor from the conjugate pair, divide, then solve the other quadratic.

Conjugate root=1−2ireal coefficientsPair’s factor=(z−1)2+4=z2−2z+5multiply linear factorsz4+3z2+6z+10=(z2−2z+5)(z2+2z+2)polynomial divisionz2+2z+2=0  ⟹  (z+1)2=−1complete the squarez=−1±isolve the quotient\begin{aligned} \text{Conjugate root}&=1-2\mathrm{i} && \text{real coefficients}\\ \text{Pair's factor}&=(z-1)^2+4=z^2-2z+5 && \text{multiply linear factors}\\ z^4+3z^2+6z+10 &=(z^2-2z+5)(z^2+2z+2) && \text{polynomial division}\\ z^2+2z+2&=0\implies (z+1)^2=-1 && \text{complete the square}\\ z&=-1\pm\mathrm{i} && \text{solve the quotient} \end{aligned}

Include the missing cubic term as 0z30z^3 when dividing. The successive quotient terms are z2z^2, 2z2z and 22: the successive remainders are 2z3−2z2+6z+102z^3-2z^2+6z+10, then 2z2−4z+102z^2-4z+10, then zero.

Answer. z=1+2i, 1−2i, −1+i, −1−iz=1+2\mathrm{i},\ 1-2\mathrm{i},\ -1+\mathrm{i},\ -1-\mathrm{i}.

Check. In the product of quadratics, the cubic terms cancel, the quadratic coefficient is 2−4+5=32-4+5=3, the linear coefficient is −4+10=6-4+10=6, and the constant is 1010. Each listed pair makes its corresponding quadratic factor zero.

Now keep the same first quadratic factor but change the second factor's constant. The question supplies the first factor directly, so no conjugate-root deduction is needed to start.

Worked example 4: a quartic with a given quadratic factor

Question. The polynomial z4+6z2+25z^4+6z^2+25 has factor z2−2z+5z^2-2z+5. Solve z4+6z2+25=0z^4+6z^2+25=0.

Plan. Divide by the supplied factor and solve each quadratic by completing the square.

z4+6z2+25=(z2−2z+5)(z2+2z+5)divide by the given factorz2−2z+5=0  ⟹  (z−1)2=−4first quadraticz2+2z+5=0  ⟹  (z+1)2=−4second quadratic\begin{aligned} z^4+6z^2+25 &=(z^2-2z+5)(z^2+2z+5) && \text{divide by the given factor}\\ z^2-2z+5=0&\implies (z-1)^2=-4 && \text{first quadratic}\\ z^2+2z+5=0&\implies (z+1)^2=-4 && \text{second quadratic} \end{aligned}

The division successively leaves 2z3+z2+252z^3+z^2+25, then 5z2−10z+255z^2-10z+25, then zero, giving quotient z2+2z+5z^2+2z+5.

Answer. z=1±2iz=1\pm2\mathrm{i} or z=−1±2iz=-1\pm2\mathrm{i}.

Check. The product's cubic and linear coefficients are zero, its quadratic coefficient is 5−4+5=65-4+5=6, and its constant is 2525. Substituting each root into its completed-square factor gives zero.

Changing the quotient changed only its own root pair. The known factor still supplied 1±2i1\pm2\mathrm{i}. A quadratic quotient can instead give real or repeated roots; inspect its discriminant rather than forcing every answer into a non-real pair.

Watch out

Wrong: after solving the quotient, report only its two roots. Correct: include the roots of the factor that was divided out as well. Division reduces the work, not the original equation's root set.

Recover both pairs for a new quartic.

Repeated roots and complete root sets

A factor can occur more than once, so the number of distinct root values can be smaller than the degree. The factorisation tells you both which values solve the equation and how many times each occurs.

Multiplicity

A root rr has multiplicity mm when (z−r)m(z-r)^m is a factor but (z−r)m+1(z-r)^{m+1} is not. A repeated root has multiplicity at least 22. Repeating a root in a list records its multiplicity; it does not create a new value.

For a product of complex numbers to be zero, at least one factor must be zero. Indeed, if a factor is nonzero, you can divide by it. But if you divide an equation by an expression involving zz, first keep the values that make that expression zero, or you may discard roots.

Worked example 5: a repeated conjugate pair

Question. It is given that z2+1z^2+1 is a factor of z4+2z2+1z^4+2z^2+1. Solve z4+2z2+1=0z^4+2z^2+1=0, stating multiplicities.

Plan. Divide out the given factor and check whether it appears again.

z4+2z2+1=(z2+1)2divide and recognise a square=(z−i)2(z+i)2factor each z2+1z2+1=0  ⟹  z=±isolve the factor\begin{aligned} z^4+2z^2+1&=(z^2+1)^2 && \text{divide and recognise a square}\\ &=(z-\mathrm{i})^2(z+\mathrm{i})^2 && \text{factor each }z^2+1\\ z^2+1=0&\implies z=\pm\mathrm{i} && \text{solve the factor} \end{aligned}

Answer. z=iz=\mathrm{i} and z=−iz=-\mathrm{i}, each of multiplicity 22. There are two distinct roots and four roots counted with multiplicity.

Check. Squaring z2+1z^2+1 recovers the polynomial. At either root z2=−1z^2=-1, so the original expression is 1−2+1=01-2+1=0. The displayed linear factor powers confirm the multiplicities.

Keep the supplied factor z2+1z^2+1, but change the quotient from z2+1z^2+1 to z2z^2. This replaces the repeated non-real pair with a repeated zero root.

Worked example 6: retaining zero roots

Question. Solve z4+z2=0z^4+z^2=0, stating multiplicities.

Plan. Factor out z2z^2, retaining the values that make it zero.

z4+z2=z2(z2+1)take out the common factor=z2(z−i)(z+i)factor the quadraticz2=0orz2+1=0zero-product rule\begin{aligned} z^4+z^2&=z^2(z^2+1) && \text{take out the common factor}\\ &=z^2(z-\mathrm{i})(z+\mathrm{i}) && \text{factor the quadratic}\\ z^2=0\quad\text{or}\quad z^2+1&=0 && \text{zero-product rule} \end{aligned}

Answer. z=0z=0, of multiplicity 22, and z=i,−iz=\mathrm{i},-\mathrm{i}, each of multiplicity 11.

Check. Zero gives 0+0=00+0=0, while either non-real root gives 1−1=01-1=0. The multiplicities add to the quartic's degree: 2+1+1=42+1+1=4.

For the factored cubics and quartics here, the linear factor degrees account for the whole polynomial. This is a useful completeness check, but counting alone cannot prove that an incorrectly calculated value is a root: also check the factorisation or substitute back. Non-real pairs in a real-coefficient polynomial have matching multiplicities, because conjugating each repeated factor preserves its exponent.

Watch out

Wrong: divide z4+z2=0z^4+z^2=0 by z2z^2 and report only z=±iz=\pm\mathrm{i}. That division assumed z≠0z\ne0. Correct: factor first, so the repeated root z=0z=0 remains visible.

Find both the values and their multiplicities in this fresh case.

Quick Recap

  • A root rr gives a factor z−rz-r.
  • With real coefficients, a non-real root supplies its conjugate and a real quadratic factor.
  • Divide a cubic or quartic by the known factor, then solve every remaining factor.
  • Retain zero roots, repeated factors and the roots of factors already divided out.

One supplied root can reveal its partner and reduce the degree enough to solve the whole equation.