空間の直線の長さの最小値