我想获得一个符号表达式，它是atan2(y,x)的派生词，其中y和x是一些带有变量z的表达式。我可以安全地假设diff(atan2(y,x),z)给了我我想要的东西吗？
在math.stackexchange.com中，有一个证明atan2在（-pi，pi）中是连续可微的，但是在SymPy中是可微的吗？
答案 0 :(得分：3)
atan2(y, x)与x和y的偏导数由SymPy计算为
-y/(x**2 + y**2)
x/(x**2 + y**2)
，并且这些表达式是连续的，只要x, y不会一次变为零。 （当然，假设实参为x，y，我认为没有人在atan2中加上复数）。
上面的公式是硬编码的here，因此我们可以确定SymPy将返回它们。