求证：$\tan ^21^\circ+\tan ^22^\circ+\tan ^23^\circ+\cdots+\tan ^288^\circ+\tan ^289^\circ=\dfrac{15931}{3}$．
【难度】
【出处】
无
【标注】
【答案】
略
【解析】
由棣莫佛公式，有\[\cos nx+{\rm i}\sin nx=\left(\cos x+{\rm i}\sin x\right)^n,\]于是\[\begin{split}
\cos nx &={\rm C}_n^0\cos^nx-{\rm C}_n^2\cos^{n-2}x\sin^2x+{\rm C}_n^4\cos^{n-4}x\sin^4x-\cdots,\\
\sin nx &={\rm C}_n^1\cos^{n-1}x\sin x-{\rm C}_n^3\cos^{n-3}x\sin^3x+{\rm C}_n^5\cos^{n-5}x\sin^5x-\cdots,\end{split}\]也即\[\begin{split}\cos nx &=\cos^nx\cdot \left({\rm C}_n^0-{\rm C}_n^2\tan^2x+{\rm C}_n^4\tan^4x-\cdots\right),\\
\sin nx &=\cos^{n-1}x\cdot \sin x\cdot \left({\rm C}_n^1-{\rm C}_n^3\tan^2x+{\rm C}_n^5\tan^4x-\cdots\right),\end{split}\]在第二个式子中，令 $n=180$，$x$ 分别为 $1^\circ,2^\circ,3^\circ,\cdots,89^\circ$，可得 $\tan^21^\circ,\tan^22^\circ,\tan^23^\circ,\cdots,\tan^289^\circ$ 是关于 $t$ 的方程\[{\rm C}_{180}^1-{\rm C}_{180}^3t+{\rm C}_{180}^5t^2-\cdots+{\rm C}_{180}^{179}t^{89}=0\]的 $89$ 个实根，于是根据韦达定理，有\[\tan ^21^\circ+\tan ^22^\circ+\tan ^23^\circ+\cdots+\tan ^288^\circ+\tan ^289^\circ=-\dfrac{-{\rm C}_{180}^{177}}{{\rm C}_{180}^{179}}=\dfrac{15931}{3}.\]
\cos nx &={\rm C}_n^0\cos^nx-{\rm C}_n^2\cos^{n-2}x\sin^2x+{\rm C}_n^4\cos^{n-4}x\sin^4x-\cdots,\\
\sin nx &={\rm C}_n^1\cos^{n-1}x\sin x-{\rm C}_n^3\cos^{n-3}x\sin^3x+{\rm C}_n^5\cos^{n-5}x\sin^5x-\cdots,\end{split}\]也即\[\begin{split}\cos nx &=\cos^nx\cdot \left({\rm C}_n^0-{\rm C}_n^2\tan^2x+{\rm C}_n^4\tan^4x-\cdots\right),\\
\sin nx &=\cos^{n-1}x\cdot \sin x\cdot \left({\rm C}_n^1-{\rm C}_n^3\tan^2x+{\rm C}_n^5\tan^4x-\cdots\right),\end{split}\]在第二个式子中，令 $n=180$，$x$ 分别为 $1^\circ,2^\circ,3^\circ,\cdots,89^\circ$，可得 $\tan^21^\circ,\tan^22^\circ,\tan^23^\circ,\cdots,\tan^289^\circ$ 是关于 $t$ 的方程\[{\rm C}_{180}^1-{\rm C}_{180}^3t+{\rm C}_{180}^5t^2-\cdots+{\rm C}_{180}^{179}t^{89}=0\]的 $89$ 个实根，于是根据韦达定理，有\[\tan ^21^\circ+\tan ^22^\circ+\tan ^23^\circ+\cdots+\tan ^288^\circ+\tan ^289^\circ=-\dfrac{-{\rm C}_{180}^{177}}{{\rm C}_{180}^{179}}=\dfrac{15931}{3}.\]
答案
解析
备注
