线面垂直的判定及性质