平面的法向量是何概念?它与该平面垂直吗?平面方程有几种?