解法: 体の拡大によるヴァンツェルの代数的不可能性証明(1837年)
ざっくり言うと
長さ の線分から出発し、点を一つずつ作図していく様子を思い描いてほしい。新しい各点は二直線の交点、直線と円の交点、または二円の交点から生まれる——そして座標で書けば、この3つの場合はすべて一次方程式または二次方程式を解くことに帰着する。
だから定規とコンパスで新しい点を置くたびに、それを表す数はすでに存在していたか、既に持っていた数の平方根を新たに1つ取ることで生まれたかのどちらかである。立方根も5乗根も、1回の作図ステップの中には決して現れない。
詳しい解説
与えられた2つの単位点から となる座標系を固定する。新しく作図可能な点は、それぞれ直線または円である2つの図形の交点であり、いずれも現在の体 内の座標で定まっている。その連立方程式を解くと、一次方程式(二直線の場合)、または に係数を持つ二次方程式(直線と円、あるいは二円の方程式の の項を引き合って直線と円の連立に帰着させた場合)が得られる。したがって各新座標は 自身に属するか、ある による二次拡大 に属し、 となる(Wantzel 1837, §I)。
有限回の作図ステップの後、各ステップの次数が または である塔 が得られる。これはあらゆる定規とコンパスによる作図の背後にある代数的骨格であり、ヴァンツェルが不可能性の理論全体を導き出す唯一の事実である。
次のステップでは、塔に沿って次数を掛け合わせることで、この塔を任意の単一の作図可能な数に対する数値的制約に変換する。
- 体(たい、代数学)
- 加法、減法、乗法、および零でない元による除法について閉じている数の集合——例えば有理数の全体 。
- 体の拡大次数
- より小さい体 上のベクトル空間とみなしたときの の次元。直感的には、 の元を記述するのに 上で何個の独立な座標が必要かを表す。