MathLabs

解法:旺泽尔利用域扩张给出的代数不可能性证明(1837年)

第 4/7 步:把"三等分 60∘60^\circ"变成一个三次方程
通俗地说

有一条捷径把一个角和它的三倍角联系起来:余弦的三倍角公式。取 θ=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 的一个纯代数问题:它的根 x=2cos⁡20∘x = 2\cos 20^\circ 是否可作图?下一步将通过计算 PP 在 Q\mathbb{Q} 上的次数来回答这个问题。

本步骤中的术语
三倍角公式
三角恒等式 cos⁡3θ=4cos⁡3θ−3cos⁡θ\cos 3\theta = 4\cos^3\theta - 3\cos\theta,用某角自身的余弦表示该角三倍角的余弦。
本步骤用到的知识