直线与平面、平面与平面垂直的性质