Math Labs

解法: 体の拡大によるヴァンツェルの代数的不可能性証明(1837年)

ステップ 1/7: 角の三等分問題とヴァンツェルの計画
ざっくり言うと

古代ギリシャの幾何学者たちは、定規とコンパスでどんな角も二等分できた——いくつかの弧を描くだけで正確に半分に切ることができた。同じ道具でどんな角も三等分できるかと問うのは自然である。

1837年、ピエール・ローラン・ヴァンツェルはコンパスを手に取ることなくこれを検証する方法を見つけた:図を代数に翻訳するのである。彼は、定規とコンパスで作図できるあらゆる長さが、その長さの算術に関する非常に厳しい規則に従わなければならないことを示し、単純な 60∘60^\circ の角を三等分することがその規則に従うかどうかを調べた。

60∘=3×20∘60^\circ = 3\times 20^\circ
詳しい解説

与えられた角 θ\theta を定規とコンパスで三等分するとは、有限回の正当なユークリッド操作によって θ/3\theta/3 の角を得ることを意味する。「正当な操作」を検査可能にするため、ヴァンツェルは問題全体を算術的に言い換える。座標では、角の作図はその余弦の作図に等しい(単位円への垂線を下ろすと cos⁡θ\cos\theta から θ\theta が復元され、逆も成り立つ)ので、θ\theta の三等分は cos⁡(θ/3)\cos(\theta/3) が作図可能な実数であるときに限り可能である。

θ=60∘\theta = 60^\circ の選択が経済的な反例である。cos⁡60∘=1/2\cos 60^\circ = 1/2 は作図可能なので 60∘60^\circ 自体は描ける — そしてあとは 20∘20^\circ、同値的には x=2cos⁡20∘x = 2\cos 20^\circ が作れないことを示せばよい。作図不能な例が一つあれば普遍的な主張は破れる。主張された普遍的三等分手続きはこの角に対しても機能しなければならないからである。

リウヴィルの雑誌に掲載されたヴァンツェルの1837年の論文は、三つの代数的移動でこの計画を展開する。(1) 定規とコンパスの各段は利用可能な座標の体を高々二次拡大だけ広げるので、作図可能な数は Q\mathbb{Q} 上で 22 の冪の次数を持つ(ステップ1–2)。(2) 三倍角の公式は cos⁡20∘\cos 20^\circ を三次方程式 x3−3x−1=0x^3 - 3x - 1 = 0 の根に変える(ステップ3)。(3) その三次式は Q\mathbb{Q} 上既約であり(ステップ4)、次数 33 — 22 の冪ではない — を与える(ステップ5)。

このステップの用語
作図可能な(実)数
単位線分から出発し、既に作図された点によって定まる直線と円の交点だけを繰り返し取ることで 00 と 11 から到達できる実数。
このステップで使う知識