数学的二面角问题是用法向量 然后用cos求解对吗 面面垂直是不是也是用法向量相乘等于0?