如何从e的虚指数推导实正弦余弦？二阶微分方程特征根疑问

没问题，我来帮你把这最后一步推导理清楚——你已经做了90%的工作，就差常数项的重新定义这关键一步了：

首先先回顾你已经完成的正确推导：

• 写出特征方程：m² + 4 = 0
• 求解得到特征根：$m_1=2i$，$m_2=-2i$
• 代入齐次解的通用形式 $ce^{{mx}$，得到：$c_1e}{-2ix} + c_2e^{2ix}$
• 用欧拉公式 $e^{ix}=\cos x + i\sin x$ 展开后，整理得到：
  $$c_1\cos{(2x)} + c_2\cos{(2x)} + i\sin{(2x)}(c_2-c_1)$$

接下来就是你卡住的地方，我们只需要合并同类项并重新定义常数：

1. 先把含 $\cos2x$ 和 $\sin2x$ 的项分别合并：
   $$(c_1 + c_2)\cos2x + i(c_2 - c_1)\sin2x$$
2. 因为我们求解的是实系数微分方程，最终的齐次解应该是实值函数，所以这里可以把组合后的系数重新定义为实数常数：
   • 令 $A = c_1 + c_2$
   • 令 $B = i(c_2 - c_1)$
     （这里的 $c_1$ 和 $c_2$ 可以是复数，但它们的线性组合会让 $A$ 和 $B$ 成为实数，比如当 $c_1$ 和 $c_2$ 取共轭复数时，虚部会完全抵消）
3. 把新的常数代入后，就得到了我们熟悉的实值解形式：
   $$y_h = A\cos2x + B\sin2x$$
   通常为了书写简洁，我们会直接把新的常数写成 $c_1$ 和 $c_2$，也就是你看到的参考解答里的 $y_h=c_1\cos2x +c_2\sin2x$。

本质上，这一步就是通过重新命名常数，把含虚数的线性组合转化为纯实数的三角函数组合，这样得到的解更符合我们对实值函数解的需求，也更便于后续处理非齐次项的特解。

内容的提问来源于stack exchange，提问作者Davy M