本当に難しい三次方程式の話(その 1)
何でたかが二次方程式をそこまで小難しくやったのかというと, 実は今日から数回にわたってお話する三次方程式の議論のための伏線でありました. だからここからが本題です.
我々は Tschirnhaus 変換によって三次方程式は
の形のものだけを考えればよいことがわかっているので, 以下そのように取り扱う. そこで前回二次方程式で考えた のようなものを作りたいのだが, それは三次方程式だと 係数の有理式
となる. ここで私は でなくわざと と書いた. 察しの良い方ならもうお分かりであろう, これは「数学ガール/ガロア理論」の第 7 章で現れた Lagrange resolvent の片割れそのものである. ただ ではなく, 群の作用がわかりやすくなるように と書いた.
さてこれに の元 を作用させてみると
と, Lagrange resolvent の相方が出現する. これは と を用いて と書ける. 実際に計算して確かめてみてほしい. 我々はいつでも を使って良いことに注意すること.
一方 に を作用させると
となる. そのほかについても計算すれば
となって 6 個とも確かに異なる値である. またこれらから
がわかるので
とおけば
がわかる. 当面は体 に頑張っていただくことにしよう. (続く)