查看原题
设 $m, n$ 为正整数且 $m \leq n$, 证明:
$$
\left|\sum_{k=m}^n\left(\cos \frac{k^2 \pi}{2 n}+i \sin \frac{k^2 \pi}{2 n}\right)\right| \leq \frac{n}{m} \text { 。(王枫供题) }
$$
                        
不再提醒