如何查看SymPy内置函数的显式数学公式？以jn函数为例

• 别用==做符号等价判断：SymPy里的==是检查两个表达式的结构是否完全一致，不是判断数学上是否等价。jn(0, x)和sin(x)/x结构不同，直接返回False是正常的。
• 用equals()方法验证等价性：这是SymPy专门用来判断两个符号表达式数学等价的方法，执行jn(0, x).equals(sin(x)/x)会返回True，直接确认两者等价。
• 针对性化简验证：如果想用化简的方式确认，可以用三角函数专用的化简函数trigsimp，执行trigsimp(jn(0, x) - sin(x)/x)会得到0，证明等式成立。普通的simplify对特殊函数的化简不够针对性，换用trigsimp更有效。
• 查看SymPy内置函数的数学定义：
  • 直接在Python环境里查看函数文档：执行help(jn)或者在IPython/Jupyter里输入jn?，文档里会明确说明函数对应的数学公式。
  • 查看SymPy源码：贝塞尔函数的实现位于sympy/functions/special/bessel.py文件中，里面的注释和代码会清晰展示函数的定义逻辑。

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