铅垂线的水平投影反映线段的实长。