$\sin 1+\sin 2+\cdots+\sin 2018<1/\sin(1/2)$

isee

证明：$\sin 1+\sin 2+\cdots+\sin 2018<1/\sin(1/2)$.

hejoseph

直接求和
\begin{align*}
\sin 1+\sin 2+\cdots+\sin n=\frac{\cos(1/2)-\cos(1/2+n)}{2\sin(1/2)}
\end{align*}
接下来无难度了。

isee

回复 2# hejoseph

一眼看穿啦。。。。。。

kuing

所以这个选"函数"好些^

isee

回复 4# kuing


    嘿嘿，其实是准备选函数的，吓人就选不等式了，另外，略有改，只取了前面2018项，，，，并不确定不等式能成立咯。哈哈。

    分类其实太广，这属于三角复数类，最准。