Remark 1. This writeup is a fresh writeup because somehow, and tragically, the original post got permanently deleted.
Our goal is to answer a simple question: how do we solve the cubic equation? Namely, given constants with
, if we know that the real number
satisfies the equation
how might we determine the possible values of ? Firstly, we had better be sure that this equation can be solved, and the power of
is the ticket to why that holds.
Theorem 1. The cubic equation has at least one real solution.
Proof. Omitted; we can achieve this result by adapting the proof of Theorem 2 in this post.
There is a general “cubic” formula, but we shall work with special cases in which the root in Theorem 1 could be obtained with trial-and-error.
We abbreviate the left-hand side by . Then, we call
a root of the polynomial
if and only if
. In particular,
Lemma 1. For any real number ,
Proof. Firstly, we expand the right-hand side to obtain
Then we replace with
to obtain
Lemma 2. For any real number , there exist unique real constants
such that
Proof. Making the substitutions and applying Lemma 1,
where we set and
.
Lemma 2 paves the way for the special case of the remainder and factor theorems—the general case follows a factorisation of by generalising the argument in Lemma 1.
Theorem 1. Given any real number , there exists a unique polynomial
and a unique real number
, called the remainder, such that
Furthermore, —this result is known as the remainder theorem. Finally, this remainder equals zero if and only if
is a root of
—this result is known as the factor theorem. In this case, we say that
is a factor of the polynomial
.
Proof. By Lemma 2,
yielding and
.
For uniqueness, set to obtain
. Then
For , dividing by
yields
. For a more complete argument regarding uniqueness, see this post.
While we have discussed the result in an overly abstract manner, perhaps it is worth elucidating the theory with an example.
Example 1. Solve the cubic equation .
Solution. Define . By almost-obvious observation,
Therefore, by the factor theorem, is a factor of
. Hence, there exist constants
such that
Comparing the coefficients of and the constant term respectively,
and
. Comparing the coefficient of
,
Therefore,
Since , we must have either
In the former, . In the latter, we solve using the quadratic formula: first compute the discriminant
. Then
Therefore, or
.
Remark 2. Solutions can take the form of surds.
Example 2. Solve the cubic equation .
Solution. We leave a similar-to-Example 1 solution left as an exercise to the reader. By taking advantage of the similar numbers, we divide the equation by :
Now make the substitution to obtain a rather suspect equation:
By re-arranging the terms, we obtain the exact same equation as that in Example 1, just with different letters:
Therefore, by Example 1, we have or
. Since
, the former yields
, and the latter takes a bit more work by rationalising the denominator:
As mentioned, there is a cubic formula, and it also turns out there is a quartic formula, i.e. a general formula to solve the equation
where . How about a quintic formula?
The answer turns out to be no, and requires a study of generalised algebra to prove.
For now, we deal with more contained higher powers, of the form , called binomials.
—Joel Kindiak, 28 May 26, 1358H
Leave a comment