一个不等式

发现一个不等式, 因此记录一下 (应该是正确的…吧)

$$\sum _{i=1}^n{k}_i\sin ({\theta }_i)⩾\frac{\sqrt{2}}{2}\sin \left(\frac{\sum _{i=1}^n{k}_i{\theta }_i}{\sum _{i=1}^n{k}_i}\right)\sum _{i=1}^n{k}_i,{\theta }_i\in [0,\frac{\pi }{2}]$$

对于 $\cos$ 函数也有类似的结果.