面ABC垂直于面BCD
又CD垂直于BC
=﹥ CD垂直于面ABC内所有直线
=﹥ CD垂直于AB
又AB垂直于AC
=﹥ AB垂直于面ACD
又面ABD为过直线AB的一个面
=﹥ 面ABD垂直于面ACD