为什么 型如 Ax+By+Cz=a的平面方程它的法向量为(A,B,C)这是怎样推导出的?