平面垂直,法向量也是相互垂直的.相乘为0请问该怎么相乘呢？点乘,就是x1y1+x2y2+x3y3 = 0