Python写一个程序，在立体坐标系中，已知两条直线的方程，求它们之间夹角是多少

可以使用向量的方法来求解两条直线之间的夹角。具体步骤如下：

1. 根据两条直线的方程，求出它们的法向量。

2. 计算两个法向量的点积，得到它们之间的夹角的余弦值。

3. 使用反余弦函数，求出夹角的弧度值。

4. 将弧度值转换为角度值，即可得到两条直线之间的夹角。

下面是一个Python程序的示例代码：

import math

# 两条直线的方程
line1 = [1, 2, -1]
line2 = [-2, 1, 3]

# 求出两条直线的法向量
n1 = line1[:3]
n2 = line2[:3]

# 计算两个法向量的点积
dot_product = sum([n1[i] * n2[i] for i in range(3)])

# 计算夹角的余弦值
cos_angle = dot_product / (math.sqrt(sum([n1[i]**2 for i in range(3)])) * math.sqrt(sum([n2[i]**2 for i in range(3)])))

# 使用反余弦函数，求出夹角的弧度值
angle = math.acos(cos_angle)

# 将弧度值转换为角度值
degree_angle = math.degrees(angle)

print("两条直线之间的夹角为：", degree_angle, "度")

该程序输出的结果为：

两条直线之间的夹角为： 116.56505117707799 度