|
2#
发表于 2018-12-7 16:50
| 只看该作者
本帖最后由 hejoseph 于 2018-12-7 16:51 编辑
$\cos(\pi/7)$ 是方程 $8x^3-4x^2-4x+1=0$ 的根,解这个三次方程可得
\[
\cos\frac{\pi}{7}=\frac{\sqrt{7}}{3}\cos\left(\frac{1}{3}\arccos\left(-\frac{\sqrt{7}}{14}\right)\right)+\frac{1}{6}
\]
后面的步骤看上面式子就可以得到了。 |
|