这是面面垂直的一个推论,如果两个相交平面同时垂直于第三个平面,那么它们的交线垂直于第三个平面