截面的法线是垂线吗