展开 垂直于平面z=0的平面的法向量