Salick Academy

Cubic Functions and Equations

No calculator

You can often answer a question about the roots of a cubic without ever finding them. The three relationships below turn "the roots" into three numbers you can read straight off the coefficients.

The shape of a cubic

f(x)=ax3+bx2+cx+d(a0)f(x) = ax^3 + bx^2 + cx + d \qquad (a \ne 0)

The end behaviour depends only on the sign of aa:

  • a>0a > 0: as xx \to -\infty, yy \to -\infty; as x+x \to +\infty, y+y \to +\infty. The curve rises from bottom left to top right.
  • a<0a < 0: the reverse — down from top left to bottom right.

Because the curve runs from -\infty to ++\infty and is continuous, it must cross the xx-axis at least once.

A cubic has at most two turning points — sometimes two, sometimes none (as with y=x3y = x^3, which merely flattens at the origin).

Roots and coefficients

If ax3+bx2+cx+d=0ax^3 + bx^2 + cx + d = 0 has roots α\alpha, β\beta and γ\gamma, then

α+β+γ=ba\alpha + \beta + \gamma = -\frac{b}{a} αβ+βγ+γα=ca\alpha\beta + \beta\gamma + \gamma\alpha = \frac{c}{a} αβγ=da\alpha\beta\gamma = -\frac{d}{a}

These come from expanding a(xα)(xβ)(xγ)a(x-\alpha)(x-\beta)(x-\gamma) and comparing coefficients.

For a quadratic ax2+bx+c=0ax^2 + bx + c = 0 the corresponding pair is

α+β=baαβ=ca\alpha + \beta = -\frac{b}{a} \qquad \alpha\beta = \frac{c}{a}

For 2x35x2+3x7=02x^3 - 5x^2 + 3x - 7 = 0:

α+β+γ=52=52\alpha + \beta + \gamma = -\frac{-5}{2} = \frac52 αβ+βγ+γα=32\alpha\beta + \beta\gamma + \gamma\alpha = \frac{3}{2} αβγ=72=72\alpha\beta\gamma = -\frac{-7}{2} = \frac72

Check with a known cubic. x36x2+11x6=0x^3 - 6x^2 + 11x - 6 = 0 factorises as (x1)(x2)(x3)(x-1)(x-2)(x-3), so the roots are 1, 2 and 3.

  • Sum: 1+2+3=61 + 2 + 3 = 6, and 61=6-\frac{-6}{1} = 6
  • Pairs: (1)(2)+(2)(3)+(3)(1)=2+6+3=11(1)(2) + (2)(3) + (3)(1) = 2 + 6 + 3 = 11, and 111=11\frac{11}{1} = 11
  • Product: (1)(2)(3)=6(1)(2)(3) = 6, and 61=6-\frac{-6}{1} = 6

Symmetric functions of the roots

Most questions ask for an expression in α,β,γ\alpha, \beta, \gamma that is symmetric — unchanged if the roots are shuffled. Every such expression can be rebuilt from the three quantities above.

Sum of squares.

α2+β2+γ2=(α+β+γ)22(αβ+βγ+γα)\alpha^2 + \beta^2 + \gamma^2 = (\alpha+\beta+\gamma)^2 - 2(\alpha\beta + \beta\gamma + \gamma\alpha)

For 2x35x2+3x7=02x^3 - 5x^2 + 3x - 7 = 0:

=(52)22(32)=2543=134= \left(\frac52\right)^2 - 2\left(\frac32\right) = \frac{25}{4} - 3 = \frac{13}{4}

Sum of reciprocals.

1α+1β+1γ=βγ+γα+αβαβγ\frac1\alpha + \frac1\beta + \frac1\gamma = \frac{\beta\gamma + \gamma\alpha + \alpha\beta}{\alpha\beta\gamma}

=3/27/2=37= \frac{3/2}{7/2} = \frac37

Forming a new equation

To build the cubic whose roots are 2α2\alpha, 2β2\beta, 2γ2\gamma, compute the three symmetric quantities for the new roots.

Starting from 2x35x2+3x7=02x^3 - 5x^2 + 3x - 7 = 0, where the sums are 52\frac52, 32\frac32 and 72\frac72:

2α+2β+2γ=2(52)=52\alpha + 2\beta + 2\gamma = 2\left(\frac52\right) = 5 (2α)(2β)+=4(32)=6(2\alpha)(2\beta) + \cdots = 4\left(\frac32\right) = 6 (2α)(2β)(2γ)=8(72)=28(2\alpha)(2\beta)(2\gamma) = 8\left(\frac72\right) = 28

A monic cubic with roots p,q,rp, q, r is

x3(sum)x2+(sum of pairs)x(product)=0x^3 - (\text{sum})x^2 + (\text{sum of pairs})x - (\text{product}) = 0

so the new equation is

x35x2+6x28=0x^3 - 5x^2 + 6x - 28 = 0

Sketching a cubic

Four things make a sketch complete:

  1. End behaviour from the sign of aa.
  2. The yy-intercept, which is dd.
  3. The roots, from factorising — try the factors of dd and use the factor theorem.
  4. The turning points, if the question wants them, from calculus.

For y=x36x2+11x6y = x^3 - 6x^2 + 11x - 6: positive aa so bottom-left to top-right; yy-intercept (0,6)(0,-6); roots at x=1,2,3x = 1, 2, 3.

The nature of the roots

A cubic with real coefficients has either:

  • three real roots (possibly with repeats), or
  • one real root and two complex conjugate roots.

Complex roots of a polynomial with real coefficients always come in conjugate pairs, so they arrive two at a time. With only three roots to distribute, at least one must be real.

Graphically: three distinct real roots means three crossings; one real root means the curve crosses once and its two turning points sit on the same side of the axis (or it has none at all).