由平行线一点向另一条线做无数个连线,
垂线的平方 = 其他连线的平方 - 垂点与连接点线段的平方
根据直角三角形两短边平方和等于斜边平方
得知平行线间垂线段最短