直线平面垂直的判定及其性质