Sympy符号计算（使用python求导，解方程组）