没有定义一个向量的法向量
只有两个向量的垂直定义
两个向量垂直,则它们对应分量的乘积之和等于0
如 (x1,x2,x3) 与 (2,-6,-10) 垂直 <=> 2x1-6x2-10x3 = 0

平面的法向量即与两个已知向量都垂直的向量, 有无穷多, 解方程即得