如何在SageMath中无需手动代换，利用多方程求解单变量？

你遇到的问题本质是SageMath在求解时默认保留所有未指定的变量作为自由参数，不会自动消去中间变量（比如这里的q）。以下两种自动化方法可以避免手动代换：

方法1：使用eliminate函数先消去中间变量 #

先通过消元操作去掉不需要的中间变量q，再对目标变量v求解：

var("q, c, v, i, t")
# 定义方程组
eqs = [q == c * v, q == i * t]
# 消去中间变量q，得到不含q的方程
eliminated_eqs = eliminate(eqs, q)
# 求解目标变量v
solve(eliminated_eqs, v)

执行后会得到预期结果：[v == i*t/c]

方法2：直接联立方程的等价关系 #

利用两个方程中q的等价性，自动建立无中间变量的等式再求解：

var("q, c, v, i, t")
eqs = [q == c * v, q == i * t]
# 提取两个方程的左侧（均为q）建立等价等式
combined_eq = eqs[0].lhs() == eqs[1].lhs()
solve(combined_eq, v)

这种方式自动完成了代换逻辑，结果同样为[v == i*t/c]

补充说明 #

之前直接调用solve([q == c*v, q == i*t], v)返回空列表，是因为SageMath将q视为自由变量，无法得到仅由c、i、t表示的v的唯一解。通过显式消元或自动联立等价式，就能让SageMath按照需求推导结果，无需手动逐个代换，适合处理复杂多方程场景。

内容的提问来源于stack exchange，提问作者比尔盖子