一条直线垂直于平面,它就是平面的垂线.这个平面就叫做直线的垂面.垂线和平面的交点叫做垂足.
点到垂足的线段叫做垂线段.垂线段的长度叫做这个点到平面的距离.