How to depress a cubic
The title of this post sounds like the opening to a bad joke: How do you depress a cubic? ... Insert your own punch line.
A depressed cubic is a simplified form of a cubic equation. The odd-sounding terminology suggests that this is a very old idea, older than the current connotation of the word depressed. That is indeed the case. According to Etymonline the term depress originally meant put down by force, conquer" and the psychological use of the of the word came later. To this day you'll occasionally hear of a button being depressed.
A depressed cubic equation is depressed in the sense that the quadratic term has been removed. Such an equation has the form
Once you've put the equation in depressed form you've conquered the quadratic term.
So how do you put a cubic equation in depressed form? First, divide by the leading coefficient, then use the change of variables [1]
For example, suppose we start with the equation
We first turn this into
Then we set x = t - 19/33. This gives us
which has no quadratic term.
We can use Mathematica to show that this works in general:
Simplify[x^3 + b x^2 + c x + d /. x -> (t - b/3)]
This returns
This post shows that an analogous change of variables works for higher-order polynomials as well.
If you look into elliptic curves, you'll often see them defined as a set of points satisfying
Why no quadratic term? Because you can always remove it using the process above. Well, not quite always. The depression trick doesn't work for elliptic curves over finite fields of characteristic 2 or 3. If you'd like to read more about this exception, see this post.
How to solve a depressed cubic equationThat is the subject of the next post.
Related[1] You could do the change of variables first, using x = t - b/a. This removes the quadratic term, but leaves the leading coefficient a.
The post How to depress a cubic first appeared on John D. Cook.