展开 面面垂直法向量的性质