直线与平面垂直的定义