Python sympy的使用

将公式转换成latex语法

就是一个函数的事情：latex()

from sympy import *  
# 先声明都有哪些基础变量
a,b,c,k,m,s= symbols('a,b,c,k,m,s')
# ss，h，w1等是构造的一个个数学函数
ss=k*(a-b*c)/(2*(4*m*b-k**2-2*m*b*s))
h=m*(a-b*c)/(4*m*b-k**2-2*m*b*s)
w1=c*(4*m*b*(1-s)-k**2)+2*m*a*s
w2=2*(4*m*b-k**2-2*m*b*s)
w=w1/w2+a/(2*b)

print(latex(w))

化简公式

函数：simplify()

from sympy import *

a,b,c,k,m,s= symbols('a,b,c,k,m,s')
# 首先一步步构造数学函数
w1=c*(4*m*b*(1-s)-k**2)+2*m*a*s
w2=2*(4*m*b-k**2-2*m*b*s)
w=w1/w2+a/(2*b)
# 先使用simplify
print(latex(simplify(w)))

验证两个数学函数是否等价

思路：将两个数学函数相减，并化简，如果结果为0，则证明两个数学函数是等价的

from sympy import *

a,b,c,k,m,s= symbols('a,b,c,k,m,s')
# p是第一个数学函数
p=(a+k*ss)/(2*b)+(w+h*(1-s))/2

# 再一步步构造第二个数学函数pp
p1=a*k**2+2*m*a*b*(1-s)
p2=4*b*(4*m*b*(1-s)-k**2)
p3=3*a/(4*b)+p1/p2

p4=m*b*(1-s)-k**2
p5=4*m*b*c*(1-s)-c*k**2+2*m*a*s
p6=p4*p5

p7=2*(4*m*b*(1-s)-k**2)
p8=4*m*b-k**2-2*m*b*s
p9=p7*p8
pp=p3+p6/p9
# 将两个函数相减，再化简并输出
print(simplify(p-pp))

欢迎大家关注我的微信公众号：

公众号 支付宝红包码，你领红包我赚赏金；土豪请任意收钱码打赏