三分之一角公式,為三角恆等式的一種,是三等分角問題在代數上的一個解。由於該解不一定是規矩數因此也可以證明三等分角尺規作圖的不可行性[1] 。
尺規作圖三等分角已被證實不可行,其也與三分之一角公式非規矩數的推導有關,其證明如下:設可以用尺規作圖將任意角三等分,代表對任意角度是 θ {\displaystyle \theta } 的角,均可以由尺規作圖得到 角度為 θ 3 {\displaystyle {\frac {\theta }{3}}} 的角。這等價於說在已知單位長度和 cos θ {\displaystyle \cos {\theta }} 的時候能做出 cos θ 3 {\displaystyle \cos {\frac {\theta }{3}}} 的長度。設L是包含了 cos θ {\displaystyle \cos {\theta }} 和單位長度1的域。用尺規作圖可以得到 z = cos θ 3 {\displaystyle z=\cos {\frac {\theta }{3}}} ,說明域擴張的階數是2的冪次:
然而根據三倍角公式:
運用多項式的知識可以證明, z {\displaystyle z} 在L中的最小多項式的階數必定不大於3,也就是說是1,2或者3[1]:512。比如說當角度 θ = 60 ∘ {\displaystyle \theta =60^{\circ }} 時,L就是 Q {\displaystyle \mathbb {Q} } ( cos θ = 1 2 ∈ Q {\displaystyle \cos {\theta }={\frac {1}{2}}\in \mathbb {Q} } )三倍角公式變成:
這個多項式不可約,所以這個方程的解不屬於有理數集 Q {\displaystyle \mathbb {Q} } ,所以可以證明 [ Q ( z ) : Q ] = 3 {\displaystyle [\mathbb {Q} (z):\mathbb {Q} ]=3} 。[2]然而3不是2的冪次,這和之前的結論矛盾。如此便說明,無法用尺規作圖將任意角三等分[1]:525-526。 ◻ {\displaystyle \Box }
而上述三次方程透過三次方程求根公式[3]求出來的解即為三分之一角公式。
把它改為:
把 cos θ 3 {\displaystyle \cos {\frac {\theta }{3}}\,} 當成未知數, cos θ {\displaystyle \cos \theta \,} 當成常數項,解一元三次方程式即可求出
利用歐拉公式可以有效地簡化三分之一角公式
|publisher=