空間内に二本の直線があり, それらを 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} と

続きを読む