平面a//c,c垂直平面b,推出平面a垂直平面b