第4章 / GALOIS THEORY

ガロア理論 ― 方程式の対称性

この章で解く謎2次・3次・4次方程式には解の公式があるのに、5次方程式にはない。なぜか?

解どうしの入れ替えがつくる群(ガロア群)から、方程式が √ や ∛ で解けるかどうかを読み取る。3次方程式を自分で解き、5次方程式に解の公式がない理由までたどり着く。旅の終着点。

ステージを選ぼう!

STAGE1 から順番にクリアしよう(前のステージをクリアすると次が解放されます)

1
5次方程式に解の公式がない謎⏱ 約20分
解の公式の歴史

2次・3次・4次には解の公式があるのに、5次にはない。300年かかった謎の歴史と、ガロアが見つけた「解の入れ替え」という視点の入り口。

はじめる →
2
対称式と判別式⏱ 約20分
解を入れ替える

解をどう入れ替えても変わらない式は、解を知らなくても係数から計算できる。入れ替えで符号だけ変わる式に √ を1回使うと、2次方程式が解ける。

はじめる →
3
カルダノの公式とラグランジュの方⏱ 約20分
3次方程式を解く

u=α+ωβ+ω²γ の3乗は、解をどう入れ替えても2つの値しかとらない。この発見から、3次方程式の解の公式を自分の手で導く。

はじめる →
4
ガロア群とガロアの基本定理⏱ 約20分
ガロア群

方程式の解の入れ替えのうち、有理数の計算では見分けられないものだけを集めると群になる。x³−2 では正三角形の対称性と同じ群が現れる。

はじめる →
5
正規部分群と可解群⏱ 約20分
べき根で解けるとは

√ を1つ加えると、ガロア群はどんな部分群に縮むのか。左右どちらからずらしても同じに分かれる部分群と、3次・4次方程式に解の公式がある理由。

はじめる →
6
S5 が可解群でない証明と交換子⏱ 約20分
5つの入れ替え

a をして b をして、a を戻して b を戻す。この「交換子」で3つ組の巡回が作れるかどうかが、4次と5次の分かれ目だった。

はじめる →
7
x⁵−6x+3 がべき根で解けな⏱ 約20分
解けない5次方程式

x⁵−6x+3=0 の5つの解は、√ や ∛ をどう組み合わせても書けない。実数解の個数と複素共役から、ガロア群が5つの入れ替え全体になることを示す。

はじめる →