垂线与垂面
如果l⊥α，直线l叫做平面α的垂线，平面α叫做直线l的垂面
