三分之一角公式

三分之一角公式，為三角恆等式的一種，是三等分角問題在代數上的一個解。由於該解不一定是規矩數因此也可以證明三等分角尺規作圖的不可行性 。 尺規作圖三等分角已被證實不可行，其也與三分之一角公式非規矩數的推導有關，其證明如下：設可以用尺規作圖將任意角三等分，代表對任意角度是 θ {\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的幂次： [ L ( z ) : L ] = 2 s {\displaystyle [\mathrm {L} (z):\mathrm {L} ]=2^{s}} 然而根據三倍角公式： cos ⁡ θ = 4 cos 3 ⁡ θ 3 − 3 cos ⁡ θ 3 = 4 z 3 − 3 z {\displaystyle \cos \theta =4\cos ^{3}{\frac {\theta }{3}}-3\cos {\frac {\theta }{3}}=4z^{3}-3z} 。 运用多项式的知识可以证明， z {\displaystyle z} 在L中的最小多项式的阶数必定不大于3，也就是说是1，2或者3:512。比如说当角度 θ = 60 ∘ {\displaystyle \theta =60^{\circ }} 时，L就是 Q {\displaystyle \mathbb {Q} } （ cos ⁡ θ = 1 2 ∈ Q {\displaystyle \cos {\theta }={\frac {1}{2}}\in \mathbb {Q} } ）三倍角公式变成： 4 z 3 − 3 z = cos ⁡ 60 ∘ = 1 2 {\displaystyle 4z^{3}-3z=\cos {60^{\circ }}={\frac {1}{2}}} ，即是： 8 z 3 − 6 z − 1 = 0 {\displaystyle 8z^{3}-6z-1=0} 这个多项式不可约，所以这个方程的解不属于有理数集 Q {\displaystyle \mathbb {Q} } ，所以可以证明 [ Q ( z ) : Q ] = 3 {\displaystyle [\mathbb {Q} (z):\mathbb {Q} ]=3} 。然而3不是2的幂次，这和之前的结论矛盾。如此便说明，無法用尺規作圖將任意角三等分:525-526。 ◻ {\displaystyle \Box } 而上述三次方程透過三次方程求根公式求出來的解即為三分之一角公式。 利用三倍角公式 sin ⁡ 3 θ = 3 sin ⁡ θ − 4 sin 3 ⁡ θ {\displaystyle \sin 3\theta =3\sin \theta -4\sin ^{3}\theta \,} cos ⁡ 3 θ = 4 cos 3 ⁡ θ − 3 cos ⁡ θ {\displaystyle \cos 3\theta =4\cos ^{3}\theta -3\cos \theta \,} 把它改為： sin ⁡ θ = 3 sin ⁡ θ 3 − 4 sin 3 ⁡ 1 3 θ {\displaystyle \sin \theta =3\sin {\frac {\theta }{3}}-4\sin ^{3}{\frac {1}{3}}\theta \,} cos ⁡ θ = 4 cos 3 ⁡ θ 3 − 3 cos ⁡ 1 3 θ {\displaystyle \cos \theta =4\cos ^{3}{\frac {\theta }{3}}-3\cos {\frac {1}{3}}\theta \,} 把 cos ⁡ θ 3 {\displaystyle \cos {\frac {\theta }{3}}\,} 當成未知數， cos ⁡ θ {\displaystyle \cos \theta \,} 當成常數項，解一元三次方程式即可求出 x 1 = 1 2 − sin ⁡ θ + sin 2 ⁡ θ − 1 3 + − sin ⁡ θ + sin 2 ⁡ θ − 1 3 2 {\displaystyle x_{1}={\frac {1}{2{\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}}+{\frac {\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}{2}}\,} x 2 = − 1 + i 3 4 − sin ⁡ θ + sin 2 ⁡ θ − 1 3 − ( 1 − i 3 ) − sin ⁡ θ + sin 2 ⁡ θ − 1 3 4 {\displaystyle x_{2}=-{\frac {1+i{\sqrt {3}}}{4{\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}}-{\frac {(1-i{\sqrt {3}}){\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}{4}}\,} x 3 = − 1 − i 3 4 − sin ⁡ θ + sin 2 ⁡ θ − 1 3 − ( 1 + i 3 ) − sin ⁡ θ + sin 2 ⁡ θ − 1 3 4 {\displaystyle x_{3}=-{\frac {1-i{\sqrt {3}}}{4{\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}}-{\frac {(1+i{\sqrt {3}}){\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}{4}}\,} 當-90°≤ θ {\displaystyle \theta \,} ≤90°時 sin ⁡ 1 3 θ = x 3 = − 1 − i 3 4 − sin ⁡ θ + sin 2 ⁡ θ − 1 3 − ( 1 + i 3 ) − sin ⁡ θ + sin 2 ⁡ θ − 1 3 4 {\displaystyle \sin {\frac {1}{3}}\theta =x_{3}=-{\frac {1-i{\sqrt {3}}}{4{\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}}-{\frac {(1+i{\sqrt {3}}){\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}{4}}\,} 當90°≤ θ {\displaystyle \theta \,} ≤450°時 sin ⁡ 1 3 θ = x 1 = 1 2 − sin ⁡ θ + sin 2 ⁡ θ − 1 3 + − sin ⁡ θ + sin 2 ⁡ θ − 1 3 2 {\displaystyle \sin {\frac {1}{3}}\theta =x_{1}={\frac {1}{2{\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}}+{\frac {\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}{2}}\,} 當450°≤ θ {\displaystyle \theta \,} ≤630°時 sin ⁡ 1 3 θ = x 3 = − 1 − i 3 4 − sin ⁡ θ + sin 2 ⁡ θ − 1 3 − ( 1 + i 3 ) − sin ⁡ θ + sin 2 ⁡ θ − 1 3 4 {\displaystyle \sin {\frac {1}{3}}\theta =x_{3}=-{\frac {1-i{\sqrt {3}}}{4{\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}}-{\frac {(1+i{\sqrt {3}}){\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}{4}}\,} 當630°≤ θ {\displaystyle \theta \,} ≤990°時 sin ⁡ 1 3 θ = x 2 = − 1 + i 3 4 − sin ⁡ θ + sin 2 ⁡ θ − 1 3 − ( 1 − i 3 ) − sin ⁡ θ + sin 2 ⁡ θ − 1 3 4 {\displaystyle \sin {\frac {1}{3}}\theta =x_{2}=-{\frac {1+i{\sqrt {3}}}{4{\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}}-{\frac {(1-i{\sqrt {3}}){\sqrt[{3}]{-\sin \theta +{\sqrt {\sin ^{2}\theta -1}}}}}{4}}\,} 利用欧拉公式可以有效地簡化三分之一角公式 cos ⁡ θ n = ℜ ( cos ⁡ θ + i sin ⁡ θ n ) = 1 2 ( cos ⁡ θ + i sin ⁡ θ n + cos ⁡ θ − i sin ⁡ θ n ) {\displaystyle \cos {\frac {\theta }{n}}=\Re \left({\sqrt[{n}]{\cos \theta +i\sin \theta }}\right)={\frac {1}{2}}\left({\sqrt[{n}]{\cos \theta +i\sin \theta }}+{\sqrt[{n}]{\cos \theta -i\sin \theta }}\right)} sin ⁡ θ n = ℑ ( cos ⁡ θ + i sin ⁡ θ n ) = 1 2 i ( cos ⁡ θ + i sin ⁡ θ n − cos ⁡ θ − i sin ⁡ θ n ) {\displaystyle \sin {\frac {\theta }{n}}=\Im \left({\sqrt[{n}]{\cos \theta +i\sin \theta }}\right)={\frac {1}{2i}}\left({\sqrt[{n}]{\cos \theta +i\sin \theta }}-{\sqrt[{n}]{\cos \theta -i\sin \theta }}\right)} 所以 cos ⁡ θ 3 = 1 2 ( cos ⁡ θ + i sin ⁡ θ 3 + cos ⁡ θ − i sin ⁡ θ 3 ) {\displaystyle \cos {\frac {\theta }{3}}={\frac {1}{2}}\left({\sqrt[{3}]{\cos \theta +i\sin \theta }}+{\sqrt[{3}]{\cos \theta -i\sin \theta }}\right)} sin ⁡ θ 3 = 1 2 i ( cos ⁡ θ + i sin ⁡ θ 3 − cos ⁡ θ − i sin ⁡ θ 3 ) {\displaystyle \sin {\frac {\theta }{3}}={\frac {1}{2i}}\left({\sqrt[{3}]{\cos \theta +i\sin \theta }}-{\sqrt[{3}]{\cos \theta -i\sin \theta }}\right)} 三等分角 Warner. Modern algebra. Courier Dover Publications. 1990. ISBN 9780486663418 （英语）.  曹亮吉. 《三等分任意角可能吗？》. 原載於科學月刊第九卷第四期. http://episte.math.ntu.edu.tw. [2013-05-28]. （原始内容存档于2014-06-23）.  外部链接存在于|publisher= (帮助) Guilbeau, Lucye, The History of the Solution of the Cubic Equation, Mathematics News Letter, 1930, 5 (4): 8–12, JSTOR 3027812, doi:10.2307/3027812