我们如何在Python 3中推导出一个隐式方程？
示例x ^ 2 y ^ 2 = 25的区别是：dy / dx = -x / y,当试试这个：

from sympy import *

init_printing(use_unicode=True)

x = symbols('x')
y = Function('y')(x)

eq = x**2+y**2-25
sol = diff(eq, x)
print(sol)

但它显示：

2*x + 2*y(x)*Derivative(y(x), x)

怎么能得到-x / y？

解决方法:

SymPy具有功能idiff,可以满足您的需求

In [2]: idiff(x**2+y**2-25, y, x)
Out[2]:
-x
───
 y