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