如何使用SymPy打印二项式等式？并调整表达式显示格式

1. 展示完整二项式等式 #

如果用的是SymPy这类符号计算库，直接用Eq类构建等式就能实现左右两侧的完整展示：

from sympy import symbols, binomial, factorial, Eq, display

n, k = symbols('n k')
left = binomial(n, k)
right = factorial(n)/(factorial(n - k) * factorial(k))
# 展示完整等式
display(Eq(left, right))

2. 调整表达式中(-k+n)为(n-k) #

有两种实用方法：

• 方法一：用simplify()自动整理符号顺序
  对右侧表达式调用simplify()，SymPy会自动调整项的排列顺序：

  right_simplified = right.simplify()
  display(Eq(left, right_simplified))
  

• 方法二：显式替换符号组合
  若自动整理不生效，可直接指定替换规则：

  from sympy import Add
  right_rewritten = right.replace(lambda expr: isinstance(expr, Add) and expr.args == (-k, n), n - k)
  display(Eq(left, right_rewritten))
  

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