20180216

空間内に二本の直線があり, それらを L_{1} と L_{2} とする. L_{1} と L_{2} が平行でない時, L_{1} の元 p_{1} と L_{2} の元 p_{2} で p_{1} と P_{2} の距離が min({d;∃x(∃y((x∈L_{1})∧(y∈L_{2})∧(d は x と y の距離に等しい)))}) になる p_{1} と p_{2} は一通りしかない.
その p_{1} と p_{2} が異なる点ならば, p_{1} と p_{2} を通る直線は L_{1} と L_{2} と直交する.