SymPy无法对中间表达式求导，如何实现中间节点符号微分？

DevOps 小满

2026-6-27

解决方案：保留SymPy中的中间变量用于求导

问题出在SymPy默认会自动化简表达式，导致你定义的中间变量d、e被直接替换成a*b、a*b+c的展开形式，后续调用sp.diff(L, d)时，SymPy无法识别d作为独立节点。要解决这个问题，需要强制SymPy保留中间运算的节点结构，不自动化简。

方法1：使用`evaluate=False`上下文管理器

将所有表达式的创建过程放在禁用自动计算的上下文环境中，确保每个中间变量都作为独立节点保留：

import sympy as sp

# 定义原始符号变量
a, b, c = sp.symbols('a b c')

# 在禁用自动化简的上下文内构建表达式链
with sp.evaluate(False):
    d = a * b       # 保留为乘法节点，不展开
    e = d + c       # 保留为加法节点，不展开
    L = e           # 假设L为最终损失（根据视频实际需求调整，比如L = -e）

# 现在可以正常对中间变量求导
print(sp.diff(L, d))  # 输出 1
print(sp.diff(L, e))  # 输出 1
print(sp.diff(L, a))  # 输出 b（链式法则自动生效）

方法2：显式使用SymPy运算类并指定`evaluate=False`

如果你不想用上下文管理器，可以直接使用sp.Mul、sp.Add等底层运算类，手动关闭自动化简：

import sympy as sp

a, b, c = sp.symbols('a b c')

# 显式创建未化简的中间节点
d = sp.Mul(a, b, evaluate=False)
e = sp.Add(d, c, evaluate=False)
L = e

# 验证求导
print(sp.diff(L, d))  # 输出 1

关键说明

之前你尝试with sp.evaluate(False):未成功，大概率是因为没有把整个表达式链都放在上下文内（比如只创建了d，但e或L是在上下文外定义的），导致后续运算仍被自动化简。
可以用sp.pprint(L)查看表达式结构，确认中间变量d、e是否被保留：
```
sp.pprint(L)
# 输出：d + c（而不是a*b + c）
```