因为两个向量a和b的点积等于：
其中θ是两个向量之间的角度。
因此，垂直向量的点积为零，因为cos（π/2）和cos（3π/2）都等于零。
因此，仍然需要证明上述等价性是正确的——可以在这里找到证明。
嗨，李
我对你的函数做了一些研究，如果我得到了，请告诉我
将参数列表除以3，以便为变量a、b、c设置不同的初始位置。
在每次迭代中，来自不同原点的2个向量被发送以测试垂直度，只有和点积等于0的向量被记录在返回的列表中。
开放集需要修改什么？
谢伊 谢谢李
我用这个代码找到了两个垂直点。但它只能在90度角下工作。如果ucs旋转，它将不工作，
我能做什么数学题吗？
(defun isOrtho(pt1 pt2)
(or
(equal (car pt1)(car pt2) 1e-
(equal (cdr pt1)(cdr pt2) 1e-
)
)
谢谢
谢伊 如果使用WCS点，请将这些点转换为UCS，例如：
4
页:
1
[2]