「十三角形」の版間の差分

削除された内容 追加された内容
14行目:
:<math>2\cos\frac{4\pi}{13} + 2\cos\frac{6\pi}{13} = \frac {-2 + \sqrt[3]{-260-156\sqrt{3}i } + \sqrt[3]{-260+156\sqrt{3}i } }{6} = \frac {1}{3} \left( -1 + \sqrt{13} \cdot \sqrt[3] {\frac {-5-3\sqrt{3}i }{2\sqrt{13}}} + \sqrt{13} \cdot \sqrt[3] {\frac {-5+3\sqrt{3}i }{2\sqrt{13}}} \right)</math>
:<math>2\cos\frac{8\pi}{13} + 2\cos\frac{12\pi}{13} = \frac {-2 + \sqrt[3]{-260-156\sqrt{3}i } \omega^2 + \sqrt[3]{-260+156\sqrt{3}i } \omega }{6} = \frac {1}{3} \left( -1 + \sqrt{13} \cdot \sqrt[3] {\frac {-5-3\sqrt{3}i }{2\sqrt{13}}}\omega^2 + \sqrt{13} \cdot \sqrt[3] {\frac {-5+3\sqrt{3}i }{2\sqrt{13}}}\omega \right)</math>
 
[[:en:Trigonometric constants expressed in real radicals#List of trigonometric constants of 2π/n|Trigonometric constants expressed in real radicals]]より
:<math>\cos\frac{2\pi}{13} = \frac{1}{12}\left(\sqrt[3]{104-20\sqrt{13}+12\sqrt{-39}}+\sqrt[3]{104-20\sqrt{13}-12\sqrt{-39}}+\sqrt{13}-1\right)</math>
 
=== 正十三角形の作図 ===