用python写一段程序，在空间直角坐标系中用于计算C点到A、B两点连线的垂线距离

以下是Python程序。

# 输入点A、B、C的坐标
x1, y1 = map(int, input("Enter coordinates of point A: ").split())
x2, y2 = map(int, input("Enter coordinates of point B: ").split())
x3, y3 = map(int, input("Enter coordinates of point C: ").split())

# 计算向量AB和AC的点积
dot_product = (x2-x1)*(x3-x1) + (y2-y1)*(y3-y1)

# 计算向量AB的长度的平方
length_sq = (x2-x1)**2 + (y2-y1)**2

# 计算垂线距离
distance = abs((y2-y1)*(x3-x1)-(y3-y1)*(x2-x1)) / (length_sq ** 0.5)

# 输出垂线距离
print("The perpendicular distance from point C to line AB is:", format(distance, ".2f"))

程序首先输入点A、B、C的坐标，然后计算向量AB和AC的点积，以及向量AB的长度的平方。最后，它使用这些值来计算垂线距离，并将其输出。