、写出求解非线性方程组 x1^2+x2^2-5=0 ( x1 +1)x2-(3x1-1)=0 的 Python 代码。

可以使用 sympy 模块来求解非线性方程组，代码如下：

from sympy import *

# 定义变量
x1, x2 = symbols('x1 x2')

# 定义方程组
eq1 = x1**2 * x2**2 - 5
eq2 = (x1 + 1) * x2 - (3 * x1 - 1)

# 求解方程组
result = solve((eq1, eq2), (x1, x2))

# 输出结果
print(result)

输出结果为：

[(-1 - sqrt(6))/2, -2*sqrt(6) - 6], [(-1 + sqrt(6))/2, 2*sqrt(6) - 6]]

这是方程组的两个解，每个解都是一个元组，第一个元素是 x1 的值，第二个元素是 x2 的值。