ベクトル平面における2直線の交点は、直線の方程式を連立して解くことができます。その場合は傾きによる場合分けをしなければなりません。ふたつの直線をベクトルとして外積で考えると、一般的に交点が導けます。ふたつの線分が交わる場合ふたつの線分を考えたとき、交点との関係は3つの場合に分けられます。第1に、ふたつの線分が直接交わる場合です。下図001のふたつの線分ACとBDは、互いに点Pで交わります。このとき、APとCPの比は、三角形ABDとCBDの面積の比に等しくなります。図001■ふたつの線分が交わる場合なぜなら、三角形AEPとCFPはつぎの理由により相似で、それぞれの高さAEとCFの比がAPとCPの比に等しいからです。ふたつの高さは、三角形ABDとCBDの高さでもあります。∠CPF三角形の2辺をベクトルとして外積を求めると、その大きさは2辺からなる平行四辺形の面積に等しくなります。したがって、その半分が三角形の面積です。3次元空間のベクトルAとBの外積はA×Bで表され、つぎのような新たなベクトルとして得られます(表001)。ふたつのベクトルAからBに回したとき右ネジが進む方向に定められるため、外積には交換法則が成り立ちません。ふたつのベクトルAとBを含む平面に垂直(図002左)。ベクトルAからBに向かう回転を考えたとき、その回し方で右ネジの進む方向(図002左)。ベクトルAからBを平行四辺形の隣り合う2辺としたとき、ベクトルの外積の大きさ|A×B|はこの平行四辺形の面積|A||B|sinθと等しい(図002右)。bz)とすると、外積はつぎの式で定められます。aybx)2次元平面で考えると、z座標値(azとbz)はつねに0です。aybx)となります。by)の外積は、このz座標値で表します。ベクトルAに対してBが右ネジの位置、つまり時計回りにあるとき値は正になります。ふたつの線分が交わらない場合ふたつの線分が直接交わらない場合は、互いに直線として交点を求めます。すると第2に、どちらかの線分上で交わる場合があります(図003)。このときも前項01(図001)と同じく、三角形ABDとCBDの面積つまり高さの比が、線分APとCPの比に等しくなります。残る第3は、ふたつの直線が互いの線分の外で交わる場合です(図004)。前のふたつと比べると、少しわかりづらいかもしれません。三角形AEPとCFPが相似になることは変わりません。∠CPFAPとCPの比は、ふたつの三角形ABDとCBDそれぞれの高さであるAEとCFの比に等しくなります。ベクトルの外積から面積比を求める以上3つの場合のいずれも、ふたつの三角形ABDとCBDの面積比から、直線ACとBDの交点Pが求められることを示しました。つぎに、実際に外積を使って比率を導きます。三角形ABDとCBDの面積は、ベクトルBDとそれぞれベクトルAB、ならびにBCとの外積を2で割れば求められます。2ただし、通常面積は外積の絶対値を用います。ここではあえてそのままの値を使います。下図005のふたつの場合は、いずれも同じ(右ネジの)向きのベクトルから外積を求めているため、符号が同じですので、比率はつねに正になります。BD×BC)図005■ふたつの外積の符号が同じ場合ところが3つ目の場合は、ふたつの外積BD×ABとBD×BCの符号が逆になります。これがあえて外積の絶対値をとらなかった理由です。下図006では、外積BD×ABは右ネジと逆の半時計回りですので、負の値になります。それはつまり、交点PがACと逆方向の外分点であることを示すのです。したがって、前掲の比率を求める式は、この場合もそのまま使えます。BD×BC)図006■ふたつの外積の符号が異なる場合ただし、ふたつの直線ACとBDが平行になると交点はできません(図007)。このとき、三角形ABDとCBDの面積は等しく、ふたつの外積BD×ABとBD×BCの符号が逆になるので、つぎの等式が成立ちます。ACの比率は分母が0になるため求まりません。y)の座標はつぎのとおりです。ふたつの線分が交わるかどうかを調べるさらに外積を使って、ふたつの線分が直接交わるかどうか調べてみましょう。それは、前述の第1の場合でした(図008)。互いに交わるということは、ひとつのベクトル(BD)から見て、もうひとつのベクトルの両端(AとC)が左右別の側に分かれることを意味します。図008■ふたつの線分が交わる場合そこで、ひとつのベクトルの始点(B)から他のベクトルの両端(AとC)へのふたつのベクトル(BAとBC)を、新たに考えます。初めのベクトル(BD)から見て、ふたつのベクトル(BAとBC)は互いに逆回りの位置です。それぞれのベクトルと初めのベクトルとの外積を求めれば、互いに符号が逆になります。ふたつの数値の符号が逆になることは、その積が負になることで確かめられます。0もっとも、ひとつの線分(BD)が短くてもうひとつ(AC)に届かない前述第2の場合(図005左)がありえます。そこで、もうひとつのベクトル(AC)からも同じようにふたつのベクトルとの外積(AC×ABとAC×D)を求めて、その結果も符号が逆になったらふたつの線分は交わっているといえるのです。サンプルコード本稿で解説した外積の実際の使い方については、「平面上の2直線の交点を外積で求めるサンプルコード」をお読みください。ふたつの直線が平行の場合について解説、および05「サンプルコード」を追加。