如何让SymPy实现最小值与绝对值的转换及表达式简化？

首先要明确：你给出的表达式本身并不恒等于0，分两种实数场景验证：

• 当s ≥ t时，Min(s,t)=t，Abs(s-t)=s-t，代入得：s - 2t - (s-t) = -t，仅当t=0时结果为0；
• 当s ≤ t时，Min(s,t)=s，Abs(s-t)=t-s，代入得：s - 2s - (t-s) = -t，同样仅当t=0时结果为0。

如果是要验证类似s + t - 2*Min(s,t) = Abs(s-t)这类恒等式，SymPy可以通过以下方式实现Min与Abs的转换及化简：

一、分段展开后化简 #

SymPy默认的simplify()不会主动处理Min/Abs的分段逻辑，需要先用piecewise_expand()展开成分段函数，再结合化简：

import sympy
s, t = sympy.symbols('s t', real=True)
# 修正后的恒等式表达式
expr = s + t - 2*sympy.Min(s, t) - sympy.Abs(s - t)
# 展开成分段形式，直接可见结果为0
print(expr.piecewise_expand())
# 进一步化简得到0
print(expr.piecewise_expand().simplify())

二、手动触发Abs与Min/Max的转换 #

使用rewrite()方法可以直接实现Abs和Min/Max的双向转换：

1. 将Abs转换为Min组合：

sympy.Abs(s - t).rewrite(sympy.Min)
# 输出：s + t - 2*Min(s, t)

2. 将Min转换为含Abs的形式：

sympy.Min(s, t).rewrite(sympy.Abs)
# 输出：(s + t - Abs(s - t))/2

三、关键注意事项 #

• 必须声明实数假设：变量定义时要加上real=True，否则SymPy无法利用实数域的性质进行转换；
• 默认simplify的局限性：simplify()不会自动处理分段函数逻辑，必须先通过piecewise_expand()触发分段展开；
• 恒等式验证：若要确认表达式是否恒等于某值，可使用sympy.equals(expr, 0)，但前提是表达式本身确实是恒等式。

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