空间法向量与z轴垂直,隐含条件?