MathLabs

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

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

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

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

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

任意の角 θ\theta を定規とコンパスで三等分するとは、この2つの古典的な道具だけを用いて θ\theta から角 θ/3\theta/3 を作図することを意味する。リウヴィルの『純粋・応用数学誌』に発表されたヴァンツェルの1837年の論文は、両方の問いを代数に帰着させることで、立方体倍積問題と合わせてこれを解決した:実数が作図可能であるのは、まさにそれが Q\mathbb{Q} から有限個の平方根の抽出の連鎖によって到達できるときである(Wantzel 1837, §I)。

残りのステップで実行される計画は次の通りである:(1) 作図可能な長さはすべて Q\mathbb{Q} 上で次数が 22 の冪であることを示す;(2) 60∘60^\circ の三等分を、x=2cos⁡20∘x=2\cos 20^\circ に対する三次方程式を解く問題に帰着させる;(3) その三次方程式が Q\mathbb{Q} 上既約であることを示し、その根の次数が 33 であることを導く;(4) 33 は 22 の冪ではないから cos⁡20∘\cos 20^\circ は作図不可能であり、したがって 60∘60^\circ は三等分できない。

一般的な方法を否定するには1つの反例で十分だから、この1つの角だけで、90∘90^\circ のような特別な角は三等分できるにもかかわらず、すべての角に対して機能する定規とコンパスの手順は存在しないことが証明される。

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