关于三角函数方程变形后根的变化及多项式与三角函数乘积根的疑问

阿华AIGC实验室

2026-4-21

嘿，我来帮你把这个问题理清楚～

首先咱们从原方程说起：$2\cos(x) - \sin(x) = 0$。你把它变形为$\cos(x)(2 - \tan(x)) = 0$，这里的核心问题其实是定义域的变化，这也是你产生困惑的根源。

为什么$\cos(x)=0$的根不是原方程的解？

原方程$2\cos(x) - \sin(x) = 0$对所有实数$x$都有定义，因为$\cos(x)$和$\sin(x)$的定义域是全体实数。但当你把方程拆成$\cos(x)(2 - \tan(x))$时，$\tan(x) = \frac{\sin(x)}{\cos(x)}$，这意味着$\tan(x)$在$\cos(x)=0$的点（也就是$x = \frac{\pi}{2} + k\pi$，$k$为整数）是没有定义的——分母不能为0嘛。

更关键的是，你可以直接代入验证：当$\cos(x)=0$时，$\sin(x) = \pm1$，原方程左边就变成$2*0 - (\pm1) = \mp1$，显然不等于0。所以这些$\cos(x)=0$的根，本来就不是原方程的解！

变形后的方程和原方程为什么不等价？

你变形的过程其实相当于给原方程两边“隐含地”除以了$\cos(x)$（因为把$\sin(x)$写成了$\cos(x)\tan(x)$），但这个操作的前提是$\cos(x) \neq 0$。所以变形后的方程$\cos(x)(2 - \tan(x)) = 0$，只有在$\cos(x) \neq 0$的前提下，才和原方程等价。这时候方程就简化为$2 - \tan(x) = 0$，也就是$\tan(x)=2$，这才是原方程的真正解——这也解释了为什么Wolfram Alpha的图像里只显示这些根。

为什么多项式类比不成立？

你提到用多项式$(x - \frac{\pi}{2})(x - \frac{3\pi}{2})$和$\cos(x)(2-\tan(x))$对比，这里要注意：多项式在全体实数上都有定义，没有定义域限制；但$\tan(x)$不一样，它在$x=\frac{\pi}{2}$和$\frac{3\pi}{2}$处是无意义的，所以整个表达式$\cos(x)(2-\tan(x))$在这些点根本不存在，自然不会出现在图像里。你构造的多项式乘以$(2-\tan(x))$后，在$x=\frac{\pi}{2}$和$\frac{3\pi}{2}$处，多项式部分为0，但$\tan(x)$无定义，整个式子还是没有定义，和$\cos(x)$的情况本质不同。