已知直线m,和平面a,如果n包含于a,那么m垂直n是m垂直a的