三分之一角公式,为三角恒等式的一种,是三等分角问题在代数上的一个解。由于该解不一定是规矩数因此也可以证明三等分角尺规作图的不可行性[1] 。
尺规作图
尺规作图三等分角已被证实不可行,其也与三分之一角公式非规矩数的推导有关,其证明如下:设可以用尺规作图将任意角三等分,代表对任意角度是
的角,均可以由尺规作图得到 角度为
的角。这等价于说在已知单位长度和
的时候能做出
的长度。设L是包含了
和单位长度1的域。用尺规作图可以得到
,说明域扩张的阶数是2的幂次:
![{\displaystyle [\mathrm {L} (z):\mathrm {L} ]=2^{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/300f8a683eaeb1eede97a5ffb9923c3cc0d96e34)
然而根据三倍角公式:
。
运用多项式的知识可以证明,
在L中的最小多项式的阶数必定不大于3,也就是说是1,2或者3[1]:512。比如说当角度
时,L就是
(
)三倍角公式变成:
,即是:
![{\displaystyle 8z^{3}-6z-1=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7114380ea6236c30501cf027fd359118249814de)
这个多项式不可约,所以这个方程的解不属于有理数集
,所以可以证明
。[2]然而3不是2的幂次,这和之前的结论矛盾。如此便说明,无法用尺规作图将任意角三等分[1]:525-526。
而上述三次方程透过三次方程求根公式[3]求出来的解即为三分之一角公式。
公式
- 利用三倍角公式
![{\displaystyle \sin 3\theta =3\sin \theta -4\sin ^{3}\theta \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe2b8785f6f7d9ad1c0c0d3efe15a26f1700ad80)
![{\displaystyle \cos 3\theta =4\cos ^{3}\theta -3\cos \theta \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e005910f2963beb3ad6ee3831c244398b0c7d24f)
把它改为:
![{\displaystyle \sin \theta =3\sin {\frac {\theta }{3}}-4\sin ^{3}{\frac {1}{3}}\theta \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c6b005b6787065c12d694a316011302252c0e36)
![{\displaystyle \cos \theta =4\cos ^{3}{\frac {\theta }{3}}-3\cos {\frac {1}{3}}\theta \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1681ed5a56bcefba59a69b6ed28ec5fa0ce7316)
把
当成未知数,
当成常数项,解一元三次方程式即可求出
![{\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}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d04fee0978d46a25786f16f432cfc817e8333ed)
![{\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}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/125a5f56c2d8af9b2df387eccc908c791008983d)
![{\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}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d66d2c2a458201aeb99d42275944463fcee6d067)
- 当-90°≤
≤90°时![{\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}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c18be0d962262e41dc0249494ac3e0fa21fb097)
- 当90°≤
≤450°时![{\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}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d143faf4e5cb88355c0f1327c3105f0970c351d)
- 当450°≤
≤630°时![{\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}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c18be0d962262e41dc0249494ac3e0fa21fb097)
- 当630°≤
≤990°时![{\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}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6608cb2d3fa6a1ce6d6c317444ac8c04a4a29674)
简化
利用欧拉公式可以有效地简化三分之一角公式
![{\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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71c3d32e31b02c92e787505c9eafa8fa4e8cd828)
![{\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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ea663e7086395418f2d54876843352a2d0bf147)
- 所以
![{\displaystyle \cos {\frac {\theta }{3}}={\frac {1}{2}}\left({\sqrt[{3}]{\cos \theta +i\sin \theta }}+{\sqrt[{3}]{\cos \theta -i\sin \theta }}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71852c3985400ea38b3ffeec1261ab515124a36e)
![{\displaystyle \sin {\frac {\theta }{3}}={\frac {1}{2i}}\left({\sqrt[{3}]{\cos \theta +i\sin \theta }}-{\sqrt[{3}]{\cos \theta -i\sin \theta }}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d366990b6ba7fbe4d9298633b66d71587045e50)
参见
参考文献