16/04/29 13:41:19.07 eWELDFBy.net
>>156
スケールを適当に規格化して座標系に落とすと、ABをx軸 区間[0,1]の線分として
をの上の点p=(x,0)、
CDを、C=(Cx,Cy), D=(Dx,Dy)のベクトルとして、ｑ＝ｔC+(1-t)D。
すると、x, tはともに区間[0,1]しかとれない。この条件で
D^2 = |p-q|^2 をx, tの関数として定義して、x,tの区域内で
∂D^2/∂x = 0 かつ ∂D^２/∂t=0 とはできなことを証明したらどでしょう。