第76夜 | 压杆稳定3：临界压力计算的数学补丁
#材料力学 #压杆稳定 #屈曲 #欧拉公式 #考研 #微分方程
地点：
力学研讨室。黑板上还留着昨天推导欧拉临界力公式的字迹。
人物：
小生：眉头紧锁，死死盯着黑板上的复数 。 老师傅：端着茶杯，笑眯眯地看着他。
1. 迷雾再起：解不开的复数心结
小生：师傅，上一讲的力学结论我全明白了，临界力 确实推导得很漂亮。
第75夜 | 压感稳定2：临界应力与欧拉公式推导
但是，中间解微分方程那一段数学操作，让我如鲠在喉。 我们昨天的微分方程是 。假设 后，解出了一个虚数根 。 紧接着，您直接抛出了一个欧拉公式 ，然后把它的实部和虚部分开，说它们都是方程的解。 我主要有两个疑惑：第一，这个强行把指数和三角函数扯在一起的欧拉公式，到底是怎么来的？第二，就算欧拉公式是对的，凭什么一个复数解的实部和虚部拆开后，能直接变成两个合法的独立解？
老师傅：哈哈，我就知道你小子不会轻易放过这几个数学补丁。做学问就该这样，不能囫囵吞枣。今天咱们就暂时放下力学，纯粹用数学的利刃，把这两个疑惑给切开。
2. 欧拉公式的微积分证明
老师傅：先来看你的第一个疑惑：欧拉公式 凭什么成立？ 很多人喜欢用泰勒级数展开来证明它，但今天我教你一个更巧妙、也更符合我们解微分方程直觉的方法——求导法。 我们先来看等号左边。假设有一个函数 。小生，你对它求一次导数看看？
小生：根据指数函数的求导法则，把系数 提出来，得到 。 等等，既然 就是 ，那这个导数可以写成：
老师傅：很好。现在我们再看等号右边。假设另一个函数 。你也对它求一次导数。
小生：分别求导…… 的导数是 ， 的导数是 。所以：
老师傅：注意了，虚数单位 有一个核心定义： 。你试着把式子里的负号换成 ，再提取公因式看看。
小生：好！我把 写成 ，代入进去：
我把 提出来！
天呐！括号里的部分刚好就是 本身！所以：
老师傅：看出了什么？无论是左边的指数函数 ，还是右边的三角函数组合 ，它们竟然满足完全一模一样的微分方程：导数等于 乘以它自身！ 既然它们的“变化规律”完全一样，那我们再来看看它们的“初始状态”。当 时，它们各自等于多少？
小生：当 时，左边 。 右边 。 初始起点一模一样，每一步的变化规律也一模一样……
老师傅：没错。我们可以用积分的视角更严谨地看待这个“变化累积”的过程。根据微积分基本定理，任意一个函数的值，等于它的初始值加上整个过程变化率的累积积分，也就是：
既然 ，并且它们的变化规律（ 和 ）完全相同（导数都等于 乘以自身）。你可以想象，从 这一刻起，它们迈出的第一步完全一样；走完第一步后得到的新位置一样，导致下一步的变化率又一模一样……这种累积过程是完全同步的。根据微分方程解的唯一性，这两条曲线就会重合在一起的！
小生：所以， 是成立的！这证明太妙了，结合积分推导，完全绕开了无穷级数！
3. 拆解复数：实部与虚部的独立性
老师傅：欧拉公式的心结解开了，接下来是你的第二个疑惑：凭什么复数解的实部和虚部，可以单独拿出来当解？ 假设我们有一个复数函数 。既然我们承认它是原方程 的解，那我们把它硬生生代入进去，等式必须成立：
小生：这个式子看起来很乱，实数和虚数混在一起了。
老师傅：所以我们要利用导数的加法法则把它拆开。你把不带 的项（实部）放在一个括号里，带 的项（虚部）提出来放在另一个括号里。
小生：我来拆…… 首先把二阶导数拆开： 。 后面的项拆开： 。 然后把不带 的组合在一起，带 的组合在一起，就变成了：
老师傅：最关键的一步来了。小生，在数学上，一个复数 等于 0，这意味着什么？
小生：这意味着它在复平面上刚好落在原点。这要求它的横坐标（实部 ）和纵坐标（虚部 ）必须同时等于 0！
老师傅：一点就透！既然这整串式子等于 0，那就意味着它的实部括号和虚部括号，必须各自独立地等于 0！即：
你仔细看看这两个刚刚推导出来的等式，它们长得像什么？
小生：（瞪大眼睛）这不就是我们最初要解的那个微分方程 吗！ 这就等于在数学上严格证明了：实部 自己代入原方程是成立的，虚部 自己代入原方程也是成立的！再结合前面的欧拉公式 ，实部就是 ，虚部就是 。所以它们两个都是合法的解！
老师傅：正是如此。因为这是个线性方程，所以最终的通解就是这两个独立解的任意线性组合，即 。 虚数 在这里就像是一个绝妙的数学催化剂。它把正弦和余弦捆绑在指数的“胶囊”里，帮我们轻而易举地算出了导数，最后在复数相等的规则下，又功成身退，完美地分离出了两个实数解。
小生：原来如此！不仅物理模型天衣无缝，底层的数学逻辑也如此严密。这下子，欧拉临界力公式的来龙去脉，我是彻彻底底地吃透了！
