解法: 体の拡大によるヴァンツェルの代数的不可能性証明(1837年)
ざっくり言うと
古代ギリシャの幾何学者たちは、定規とコンパスでどんな角も二等分できた——いくつかの弧を描くだけで正確に半分に切ることができた。同じ道具でどんな角も三等分できるかと問うのは自然である。
1837年、ピエール・ローラン・ヴァンツェルはコンパスを手に取ることなくこれを検証する方法を見つけた:図を代数に翻訳するのである。彼は、定規とコンパスで作図できるあらゆる長さが、その長さの算術に関する非常に厳しい規則に従わなければならないことを示し、単純な の角を三等分することがその規則に従うかどうかを調べた。
詳しい解説
任意の角 を定規とコンパスで三等分するとは、この2つの古典的な道具だけを用いて から角 を作図することを意味する。リウヴィルの『純粋・応用数学誌』に発表されたヴァンツェルの1837年の論文は、両方の問いを代数に帰着させることで、立方体倍積問題と合わせてこれを解決した:実数が作図可能であるのは、まさにそれが から有限個の平方根の抽出の連鎖によって到達できるときである(Wantzel 1837, §I)。
残りのステップで実行される計画は次の通りである:(1) 作図可能な長さはすべて 上で次数が の冪であることを示す;(2) の三等分を、 に対する三次方程式を解く問題に帰着させる;(3) その三次方程式が 上既約であることを示し、その根の次数が であることを導く;(4) は の冪ではないから は作図不可能であり、したがって は三等分できない。
一般的な方法を否定するには1つの反例で十分だから、この1つの角だけで、 のような特別な角は三等分できるにもかかわらず、すべての角に対して機能する定規とコンパスの手順は存在しないことが証明される。
- 作図可能な(実)数
- 単位線分から出発し、既に作図された点によって定まる直線と円の交点だけを繰り返し取ることで と から到達できる実数。