SymPy对Latex2SymPy转换的sin(-x)、sin(pi)未求值问题

我之前也碰到过类似的情况，其实这是trigsimp和SymPy默认求值策略的特性导致的，咱们一步步来解决：

问题原因 #

• trigsimp的核心定位是化简三角函数的组合表达式（比如乘积、和差式），对于单一的sin(-x)，它默认不会主动应用奇偶性规则展开——毕竟sin(-x)本身是完全正确的符号表达式，trigsimp不会做“无必要”的展开操作。而当两个sin(-x)相乘时，乘积形式触发了trigsimp的化简逻辑，才会间接得到sin(x)**2。
• 对于sin(pi)这类常数三角函数，SymPy默认处于符号模式，不会自动将其求值为0，需要主动触发求值操作。

具体解决方法 #

1. 处理sin(-x)这类奇偶性化简 #

用expand_trig函数主动展开三角函数的奇偶性规则，再结合trigsimp（如果需要后续化简）：

from latex2sympy.process_latex import process_sympy
from sympy import *

inputLatex = '\\sin{-x}'
expr = process_sympy(inputLatex)
# 展开三角函数奇偶性
expanded_expr = expand_trig(expr)
print(expanded_expr)  # 输出: -sin(x)

# 如果是复杂表达式，可结合trigsimp
inputLatex_complex = '\\sin{-x} + \\cos{-x}'
expr_complex = process_sympy(inputLatex_complex)
result = trigsimp(expand_trig(expr_complex))
print(result)  # 输出: cos(x) - sin(x)

2. 处理sin(pi)这类常数三角函数求值 #

可以用evalf()、N()或者带evaluate=True的simplify来触发数值/符号求值：

inputLatex = '\\sin{\\pi}'
expr = process_sympy(inputLatex)

# 数值求值
print(expr.evalf())  # 输出: 0
print(N(expr))       # 输出: 0

# 符号化得到0
print(simplify(expr, evaluate=True))  # 输出: 0

3. 通用处理流程 #

如果想统一处理转换后的表达式，可以把expand_trig和求值逻辑结合起来：

def process_and_simplify(latex_str):
    expr = process_sympy(latex_str)
    # 先展开三角函数，再化简，最后求值常数项
    simplified = trigsimp(expand_trig(expr))
    return simplified.evalf() if simplified.is_constant() else simplified

# 测试单一项
print(process_and_simplify('\\sin{-x}'))  # 输出: -sin(x)
# 测试常数项
print(process_and_simplify('\\sin{\\pi}'))  # 输出: 0
# 测试乘积项
print(process_and_simplify('\\sin{-x}\\sin{-x}'))  # 输出: sin(x)**2

内容的提问来源于stack exchange，提问作者A. Barrozo