先证b中存在直线q平行于m:作m的平行线p交n于A,p与n所在平面c垂直于b.设c交b于q则q与p都在c内垂直于n,故p//q,即q//m.因此q垂直于平面a,又q包含于b,所以a垂直于b.当然若m包含于b,则pq为同一条直线证明更直接了