Python 3との暗黙の区別？

Question

Python 3で暗黙の方程式をどのように導出できますか？ dy/dx=-x/y、ときにこれを試してください：
例x^2+y^2=25分化がある

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を取得できますか？

Answer 1

SymPyは何をしたいんどの機能idiffを持って

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

Answer 2

あなたが解決使用して、それを並べ替えることができますので、あなたは、微分方程式を持っている：

solve(sol, diff(y, x, 1)) 

Answer 3

次の2つの変数x、yは、暗黙の方程式f(x, y) = 0によって関連しているときと述べ陰関数定理を使用することができ、 xに関してyの導関数は、- (df/dx)/(df/dy)（部分的な導関数が連続的である限り、そして）に等しい。

x, y = symbols('x, y') 
f = x**2 + y**2 - 25 
-diff(f,x)/diff(f,y) 

-x/y