$n$ 倍角公式居然还写过这玩意
\begin{aligned}
\sin n\vartheta &= \sum\limits_{i=0}^{\left\lfloor\frac{n-1}{2}\right\rfloor}(-1)^iC_n
2022-11-06