sympy 简化无法识别二项式的平方

Question

我有几个表达式，如果简化能够像屏幕截图中那样识别二项式的平方，那么简化将大大改善。

有没有办法让 sympy/simplify 做到这一点？

import sympy as sp
a, b = sp.symbols('a, b', positive=True)
sp.simplify(sp.sqrt(a**2))
test = a + b - sp.sqrt(a**2+b**2+2*a*b)
sp.simplify(test)

Answer 1

--- 这是 0，但 sympy/simplify 无法识别二项式的平方

不，不是，问题不在于同情，而在于你对数学的理解。

a + b - sqrt(a\*\*2 + b\*\*2 + 2\*a\*b)不等于0，它等于(a + b) +- (a + b)或者换句话说；它等于0 或2 * (a + b)，这是因为sqrt((a + b)**2) 等于+- (a + b)。

+-在这里表示“加号或减号”。