$π/19$ 三角函数 3次代数数

hbghlyj

证明$\alpha=\cos \frac{2 \pi}{19}-\cos \frac{3 \pi}{19}-\cos \frac{5 \pi}{19}$是一个整系数3次多项式的根

kuing

想起了这帖 kuing.cjhb.site/forum.php?mod=viewthread&tid=8007 不知有否关联🤔

kuing

模仿上述链接中的分组，靠运气撞出以下证法：

记 `t=\pi/19`，以及
\begin{align*}
a&=\cos2t-\cos3t-\cos5t,\\
b&=-\cos t-\cos7t+\cos8t,\\
c&=\cos4t+\cos6t-\cos9t,
\end{align*}
则有
\begin{align*}
a+b+c&=-\frac12,\\
ab+bc+ca&=-\frac32,\\
abc&=\frac78,
\end{align*}
即得证。

hbghlyj

致各位论坛网友：

由于 hbghlyj 操作数据库失误导致由 2023-9-26 至 2023-11-5 间期的所有帖子的内文都被清空，在此给大家真诚道歉。

现在我们正在浏览这期间的帖子，努力回忆内容，尽可能地多恢复一些，如果您还记得本帖原本的内容，也希望您能编辑回来，麻烦各位了。