空间平行两直线长度之比等于其投影长度之比。