一般の３次方程式は
$$ax^3+bx^2+cx+d=0 \cdots (1)$$
（ただし、$a, \: b, \: c, \: d \in \mathbb{R},\: a \neq 0$）
と表すことができますが、巧みな式変形によって
$$x^3+px+q=0 \quad p, \: q \in \mathbb{R} \cdots (*)$$
のように表すことが出来、導こうとしている根の公式はこの方程式に対するものです。
ではどのように変形するかというと、$a \neq 0$ であるから $(1)$ の両辺を $a$ で割って
$$x^3+\dfrac{\:b\:}{a}x^2+\dfrac{\:c\:}{a}x+\dfrac{\:d\:}{a}=0$$
と出来ます。説明をかんたんにしたいので
$$x^3+b'x^2+c'x+d'=0 \cdots (2)$$
のように書き直します。この式から2次の項が消去できれば $(*)$ を得ます。
$x=y-\dfrac{\:b'\:}{3}$ によって未知数を変換するとうまく行きます。実際 $(2)$ に代入すると
$$\Big(y-\dfrac{\:b'\:}{3}\Big)^3+b'\Big(y-\dfrac{\:b'\:}{3}\Big)^2+c'\Big(y-\dfrac{\:b'\:}{3}\Big)+d'=0,$$
$$y^3+\Big(-\dfrac{1}{\:3\:}b'^2+c'\Big)y+\Big(\dfrac{2}{\:27\:}b'^2-\dfrac{1}{\:3\:}b'c'+d'\Big)=0$$
となり、式は込み入っていますが見事に２次の項が消去できました。この式で $y$ の係数を $p$、定数項を $q$ にし、$y$ を $x$ にして書き直したのが $(*)$ です。
ところで、どのようにして未知数の変換 $x=y-\dfrac{\:b'\:}{3}$ を得たか分かりましたか。「こうすれば上手くいく」も１つの答えですが、時間を掛ければ気づく人もいると思います。
$$(x+a)^3=x^3+3ax^2+3a^2x+a^3$$
の右辺の２次の項に着目して、$b'x^2$ を消去しようと思えば $a=-\frac{\:b'\:}{3}$ としますよね。
仕組みは単純ですが、発見するのはかんたんではありません。
まして $(1)$ が $(*)$ に変形でき、この形が一般的に解けるなんて思えますか。
上でやっていることを具体例で確認しておきましょう。
例 根から導いた方程式 $x^3+3x^2-6x-8=0$ を上の未知数の変換を用いて解いてみます。
なお、この方程式の根は $-4, \: -1, \:2$ です。
$x=y-1$ とすると
$$(y-1)^3+3(y-1)^2-6(y-1)-8=0,$$
$$y^3-9y=0.$$
これを解くと
$$y(y+3)(y-3)=0,$$
$$y=-3, \: 0, \: 3.$$
したがって、元の方程式の根は $x=y-1$ によって
$$x=-4, \: -1, \: 2$$
となり、根が一致しています。▮
次回、３次方程式の根の公式を導きます。▢
