In the Veritasium’s video “How imaginary numbers were invented” there is a beautiful depiction of the history of imaginary numbers during the epic struggle among eminent mathematicians of XV century for solving the cubic equation. Yet, at 18:03 we find this bold sentence: “the cubic equation led to the invention of there new numbers and liberated algebra from geometry“. Again, at 22:11 we can hear the sentence “only by giving up math’s connection to reality could it guide us to a deeper truth about the way the universe works“.
This is quite the opposite attitude of geometric algebra: the core idea within is to show that everything is geometry and even more abstract algebraic structures can have a direct (thus real) geometric interpretation. Imaginary numbers are perhaps the most tantalizing evidence of this approach.
Following what we said in the geometric resolution of the second degree equations page, we will show here a geometric resolution of (depressed) cubic equation – the same dealt in the Veritasium’s video – using complex numbers that are actually simple geometric entities.
To geometrically find out the solutions of the third degree equations in depressed form x ^ 3 + px + q = 0 (lacking the second degree term) we will use a geogebra sheet we have prepared.
Similarly to what we said for the geometric resolution of the second degree equations, we will have two sliders for the coefficients and two others to manage the radius and angle of our unknown.
Whatever the combination of the coefficients, we note that while the angle sweeps the whole range from to , the green segment (which corresponds to the linear term) , makes a turn while the blue one (which corresponds to the cubic term) makes three turns. The situation is somewhat reminiscent of the Ptolemaic system, with its deferents and epicycles, and in fact the curve described by the vertex, with fixed, is a two-lobed epitrochoid.
First of all it is convenient to search for the real solutions, then put the angle slider on the values (positive real solutions) and then or for the any real negative solutions. Once the real solution or solutions have been identified, the remaining ones can be searched for, in accordance with the following table:
real solutions | three, distinct | three, at least two coincidents | one only |
There is a method that simplifies the search for pairs of complex solutions: just solve this triangle:
We will find that the following relations hold:
therefore the relation that characterizes the triangle solution of the reduced equation of the third degree is:
or also
and it will be enough to apply the sine theorem to find as a function of :
Example 1 – positive delta: one real solution only
Example 2 – similar to the previous case
Example 3 – negative delta: three real solutions
Example 4 – similar to the previous case but three distinct curves
Example 5 – similar to (1) and (2)
Example 6 – null delta: three real solutions having at least two coincident
The only equation with three coincident real solutions is in the form , which in the reduced form transformation becomes whose solution is a point in the origin with multiplicity 3.