Sympy表达式化简优化：如何将m*a+m*b+n*a+n*b因式分解为(a+b)(m+n)

直接用SymPy的factor()方法就能解决你的问题，这是专门针对多项式因式分解的函数，比simplify()或collect()更适合完成你要的分组因式转换。

示例代码 #

from sympy import symbols, factor
m, a, b, n = symbols('m a b n')
expr = m*a + m*b + n*a + n*b
result = factor(expr)
print(result)  # 输出 (a + b)*(m + n)

为什么之前的方法不行？ #

• simplify()是通用化简函数，SymPy判断原表达式和因式分解后的形式“复杂度相当”，所以不会自动执行因式分解操作。
• collect()只是按指定变量合并同类项，不会进一步做跨变量的因式分组。

处理减法等复杂情况 #

factor()同样能处理带减法的表达式，比如：

expr_sub = m*a - m*b + n*a - n*b
print(factor(expr_sub))  # 输出 (a - b)*(m + n)

不管变量数量多少，只要表达式能因式分解，factor()都会自动处理，不用手动遍历组合。

其他推荐库 #

• SymEngine：SymPy的C++后端，计算速度远快于SymPy，尤其适合处理大型表达式，用法和SymPy完全兼容，同样支持factor()方法。
• 商业软件如Mathematica、Maple的因式分解能力更强，但需要付费使用；如果追求开源免费，SymPy/SymEngine足够覆盖绝大多数场景。

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