两个平行平面的公垂线段的长度叫做这两个平行平面的距离