>>358
多分それで大丈夫だろう

しかし,一般論を考えるのはよいことだとは思うが,こんな面倒な計算は俺は御免だ
やはり共通垂線が最小値を与えることを示すのが簡単でよい
>>343 でも言ったがもう少し補足しておくと
共通垂線に垂直で,与えられた2直線をそれぞれ含むような2平面を考えればよい