MathLabs

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

ステップ 4/7: 「60∘60^\circ を三等分する」を三次方程式に変える
ざっくり言うと

ある角とその3倍の角を結ぶ近道がある:コサインの三倍角の公式である。θ=20∘\theta=20^\circ とおくと 3θ=60∘3\theta=60^\circ というよく知られたきれいな角になり、『20∘20^\circ を作図できるか』という幾何学的な問いが『この特定の数はこの特定の三次方程式の根か』という純粋に代数的な問いに変わる。

これこそヴァンツェルが必要とした橋である:等号の片側に幾何学、もう片側に整数係数の方程式が並ぶ。

4cos⁡3(20∘)−3cos⁡(20∘)=12  →x=2cos⁡20∘  x3−3x−1=04\cos^3(20^\circ) - 3\cos(20^\circ) = \tfrac12 \;\xrightarrow{x=2\cos20^\circ}\; x^3 - 3x - 1 = 0
詳しい解説

角 θ\theta が作図可能であるのは、まさに長さ cos⁡θ\cos\theta が作図可能であるときである。角 θ\theta にある単位円上の点から xx 軸に垂線を下ろすと線分 cos⁡θ\cos\theta が得られ、逆に cos⁡θ\cos\theta から垂線を立てれば θ\theta が復元されるからである。θ=20∘\theta = 20^\circ とおくと、60∘60^\circ の三等分が可能であるのは、まさに 20∘20^\circ、すなわち cos⁡20∘\cos 20^\circ が作図可能であるときである。

三倍角の公式 cos⁡3θ=4cos⁡3θ−3cos⁡θ\cos 3\theta = 4\cos^3\theta - 3\cos\theta を θ=20∘\theta=20^\circ に適用すると 4cos⁡3(20∘)−3cos⁡(20∘)=cos⁡(60∘)=124\cos^3(20^\circ) - 3\cos(20^\circ) = \cos(60^\circ) = \tfrac12 となる。両辺に 22 を掛け、x=2cos⁡(20∘)x = 2\cos(20^\circ)(したがって cos⁡20∘=x/2\cos 20^\circ = x/2)と置換すると、これは 8(x/2)3−6(x/2)=18(x/2)^3 - 6(x/2) = 1、すなわち x3−3x−1=0x^3 - 3x - 1 = 0 になる。零でない有理数 22 による乗除は作図可能性を変えないので、cos⁡20∘\cos 20^\circ が作図可能であることと x=2cos⁡20∘x = 2\cos 20^\circ が作図可能であることは同値である。

こうして幾何学の問題全体が、整数係数の三次式 P(x)=x3−3x−1P(x) = x^3 - 3x - 1 に関する1つの代数的な問い——その根 x=2cos⁡20∘x = 2\cos 20^\circ は作図可能か——に帰着された。次のステップでは PP の Q\mathbb{Q} 上の次数を計算してこれに答える。

このステップの用語
三倍角の公式
角の3倍のコサインを、その角自身のコサインで表す三角関数の恒等式 cos⁡3θ=4cos⁡3θ−3cos⁡θ\cos 3\theta = 4\cos^3\theta - 3\cos\theta。
このステップで使う知識