交差(幾何学)

赤い点は 2 本の線が交差する点を表します。

幾何学において幾何学的オブジェクト(点の集合として捉えられる)間の交点とは、2つ以上のオブジェクト(直線、曲線、平面、曲面など)に共通する点、直線、または曲線のことです。ユークリッド幾何学における最も単純な例は、 2つの異なる直線間の交点です。この交点は、1つの頂点と呼ばれることもあります)であるか、存在しないか(直線が平行な場合)のいずれかです。その他の幾何学的交点の種類には、以下のものがあります。

平面(高次元空間に埋め込まれた線状の幾何学的オブジェクト)の交差の判定は、線型代数の単純な課題、すなわち連立一次方程式の解法です。一般に、交差の判定は非線型方程式につながり、これはニュートン反復法などを使用して数値的に解くことができます。直線と円錐曲線(円、楕円、放物線など)または二次曲線(球、円柱、双曲面など)との交差の問題は、簡単に解ける二次方程式につながります。二次曲線同士の交差は、代数的に解ける四次方程式につながります。

幾何学における交差の概念は、ジュゼッペ・ペアノの著作において、集合の操作である交差(集合論)の地位にまで拡張されました

飛行機の中で

2行

2本の非平行線の交点を求める

クラメールの規則または変数を代入することで、交点の座標が得られます 。

(直線が平行な場合は、0 で割る必要があるため、これらの式は使用できません。)

2つの線分

2つの線分の交点

2つの非平行線分 と については、必ずしも交点が存在するとは限りません(図を参照)。これは、対応する線分の交点が必ずしも線分に含まれる必要がないためです。この状況を確認するために、線分の媒介変数表現を使用します。

対応するパラメータが条件を満たす場合、線分は対応する直線の共通点でのみ交差する。パラメータは線形システムの解である 。

これはクラメールの定理(上記参照)を用いてstについて解くことができます。条件が満たされる場合、対応する媒介変数表現にまたはを挿入し、交点 を得ます

例: 線分線型システム の場合、

および。つまり、直線は点で交差します

注:線分の代わりに点のペアによって決定される線を考慮すると、各条件は削除でき、メソッドは線の交点を生成します (上記を参照)。

線と円

線と円の交差

交差点については

xまたはyの直線方程式を解きそれを円の方程式に代入すると、解は次のようになる(二次方程式の公式を使用) 。

この条件が厳密な不等式で成り立つ場合、交点は 2 つあります。この場合、線は円の割線と呼ばれ、交点を結ぶ線分は円の弦と呼ばれます。

が成り立つ場合、交点は1つだけ存在し、直線は円に接します。弱不等式が成り立たない場合、直線は円と交差しません。

円の中心点が原点でない場合は、[1]を参照してください。直線と放物線または双曲線の交点も同様に扱うことができます。

2つの円

2つの円の交点の決定

直線と円の交差という前述の例に帰着します。与えられた2つの方程式を引き算すると、直線の方程式が得られます。

この特別な線は、2 つの円の根号線です。

x軸上に中心を持つ2つの円の交点。その根号線は濃い赤色です。

特殊なケース :
この場合、原点は最初の円の中心であり、2番目の中心はx軸上にあります(図参照)。根直線の方程式は次のように簡略化され、交点は次の ように表すことができます。

円の場合、共通点はありません。円の場合、共通点は1つあり、根線は共通接線です。

上記のような一般的なケースは、シフトと回転によって特殊なケースに変換できます。

2 つの円盤(2 つの円の内部)の交差により、レンズと呼ばれる形状が形成されます

円と楕円の交差

2つの円錐曲線

楕円/双曲線/放物線と別の円錐曲線との交差問題は、二次方程式の連立方程式に帰着しますが、特殊な場合には、1つの座標を消去するだけで容易に解くことができます。円錐曲線の特殊な性質を利用して解を求めることができます。一般に、交点はニュートン反復法で方程式を解くことで決定できます。a) 両方の円錐曲線が暗黙的に(方程式によって)与えられている場合、2次元ニュートン反復法が用いられます。b) 一方が暗黙的に与えられ、もう一方がパラメトリックに与えられている場合、1次元ニュートン反復法が必要となります。次のセクションを参照してください。

2つの滑らかな曲線

2つの曲線の交差
交差点に接触(左)、接触(右)

連続的に微分可能な(つまり、急激な曲がりがない) 2 つの曲線(2 次元空間)には、平面上の共通点があり、この点に次のものがある場合、交点が存在します(図を参照)。

a) 異なる接線(交差交差交差後)、または
b) 接線が共通で、互いに交差している(接点に接した)。

両方の曲線に点Sとそこに接線が共通しているが、交差していない場合は、それらの曲線はSで接しているだけです。

接触する交点は稀にしか現れず、扱いが難しいため、以下の考察ではこのケースは除外する。いずれの場合も、必要な微分条件はすべて前提とされている。交点の決定は、常に1つまたは2つの非線形方程式を導き、ニュートン反復法で解くことができる。現れるケースのリストは以下のとおりである。

パラメトリック曲線と暗黙曲線の交差
2つの暗黙曲線の交差
  • 両方の曲線が明示的に与えられている場合、それらを等しくすると次の式が得られる。
  • 両方の曲線がパラメトリックに与えられている場合:
これらを等しくすると、2 つの変数を持つ 2 つの方程式が得られます。
  • 一方の曲線がパラメトリックに与えられ、もう一方が暗黙的に与えられている場合:
これは、明示的な場合を除けば最も単純なケースです。 の媒介変数表現を曲線の方程式に代入すると、次の方程式が得られます。
  • 両方の曲線が暗黙的に与えられている場合
ここで、交点はシステムの解である。

ニュートン反復法はいずれも、両方の曲線を視覚化することで得られる便利な初期値を必要とします。パラメータ的に与えられた曲線、あるいは明示的に与えられた曲線は、任意のパラメータtまたはxに対して対応する点を容易に計算できるため、容易に視覚化できます。一方、暗黙的に与えられた曲線の場合、この作業はそれほど容易ではありません。この場合、初期値と反復法を用いて曲線点を決定する必要があります。[2]を参照してください。

例:

1:円を描きます(図を参照)。
関数のニュートン反復法
実行する必要があります。開始値として、-1 と 1.5 を選択できます。
交点は(−1.1073, −1.3578)、(1.6011, 4.1046)である。
2:
(図を参照)。
ニュートン反復法
実行する必要がある。線形システムの解は
点 において、初期値として(−0.5, 1)と(1, −0.5)を選択できます。
線形システムはクラメールの規則によって解くことができます。
交点は(−0.3686, 0.9953)と(0.9953, −0.3686)です。

2つのポリゴン

2つの多角形の交差:ウィンドウテスト

2つの多角形の交点を特定したい場合、多角形の任意の線分のペアの交点を調べることができます(上記参照)。線分の多い多角形の場合、この方法はかなり時間がかかります。実際には、ウィンドウテストを使用することで交差アルゴリズムを高速化できます。この場合、多角形を小さなサブポリゴンに分割し、任意のサブポリゴンの最小のウィンドウ(座標軸に平行な辺を持つ長方形)を決定します。時間のかかる2つの線分の交点の特定を開始する前に、任意のウィンドウのペアに共通点がないかテストします。[3]を参照してください。

宇宙(三次元)

3次元空間では、曲線と曲面の間には交点(共通点)が存在します。以下のセクションでは、横断交差のみを扱います。

線と平面

線と面の交差

3 次元の一般的な位置における線と平面の交点は点です。

一般的に、空間上の直線は媒介変数で表現され 、平面は方程式で表現されます。この方程式にパラメータ表現を代入すると、線形方程式が得られます。

交差点のパラメータです

線形方程式に解がない場合、その線は平面上にあるか、平面に平行になります。

3機の飛行機

線が 2 つの交差する平面によって定義され、3 番目の平面によって交差する必要がある場合、3 つの平面の共通交点を評価する必要があります。

線形独立法線ベクトルを持つ3つの平面の交点は

証明には、スカラー三重積の規則を用いる必要がある。スカラー三重積が0の場合、平面は三重交差を持たないか、直線(または3つの平面がすべて同じ場合は平面)となる。

曲線と面

曲線と面の交差

平面の場合と同様に、以下のケースは非線形システムとなり、1次元または3次元のニュートン反復法を使用して解くことができます。[4]

  • パラメトリック曲線
パラメトリックサーフェス
  • パラメトリック曲線
暗黙の表面

例:

パラメトリック曲線
暗黙の表面(図参照)。
交点は、(−0.8587, 0.7374, −0.6332)、(0.8587, 0.7374, 0.6332)です。

と球の交差は単純な特殊なケースです。

線と平面の場合と同様に、一般的な位置における曲線と面の交差は個別の点から構成されますが、曲線は面内に部分的または全体的に含まれる場合があります。

直線と多面体

2つの表面

交差する2つの面は交差曲線を形成します。最も単純な例は、平行でない2つの平面の交差線です。

球と平面

球面と平面の交点が空点や一点でない場合、それは円です。これは次のように表すことができます。

S を中心Oの球面P をSと交差する平面としますOE をPに垂直に描きEPと交わります。AB を交差点上の任意の2つの異なる点とします。すると、AOEBOE は、共通の辺OEを持ち、斜辺AOBO が等しい直角三角形になります。したがって、残りの辺AEBEも等しいです。これは、交差点のすべての点が平面P上の点Eから同じ距離にあることを証明しています。言い換えると、交差点のすべての点は中心Eを持つ円C上にあります。[5]これは、 PSの交差点がCに含まれることを証明していますOE は円の軸であることに注意してください。

ここで、円C上の点Dを考えてみましょう。C はPに含まれるためDも P に含まれます。一方、三角形AOEDOE は、共通辺OEを持ち、辺EAEDが等しい直角三角形です。したがって、斜辺AODO は等しく、 Sの半径に等しいため、D はSに含まれます。これは、 C がPSの交点に含まれることを証明しています

結果として、球面上には与えられた3点を通る円が1つだけ存在する。[6]

この証明は、円上の点はすべてその極の1つから共通の角度距離にあることを示すために拡張することができます。[7]

楕円を作成できる円錐曲線も比較してください

2つの球体

2つの球面の交差が円であることを示すために、(一般性を失うことなく)一方の球面(半径)が原点を中心としていると仮定する。この球面上の点は

また、一般性を失うことなく、半径 の2番目の球面が、原点からの距離にある正のx軸上の点を中心としていると仮定する。その点は

球面の交点は、両方の方程式を満たす点の集合である。方程式を引き算すると、

特異な場合、球面は同心円状になります。2つの可能性があります。 の場合、球面は一致し、交差は球面全体になります。 の場合、球面は互いに交わらず、交差は空になります。a がゼロ以外の場合、交差はこのx座標の垂直面上にあり、両方の球面と交差するか、両方の球面に接するか、両方の球面の外側にある可能性があります。結果は、球面と平面の交差に関する前述の証明から導き出されます。

参照

注記

  1. ^ Erich Hartmann: コンピュータ支援設計のための幾何学とアルゴリズム。講義ノート、ダルムシュタット工科大学、2003 年 10 月、p. 17
  2. ^ Erich Hartmann: コンピュータ支援設計のための幾何学とアルゴリズム。講義ノート、ダルムシュタット工科大学、2003 年 10 月、p. 33
  3. ^ Erich Hartmann: CDKG: Computerunterstützte Darstellende und Konstruktive Geometrie。講義ノート、ダルムシュタット工科大学、1997 年、p. 79 (PDF; 3,4 MB)
  4. ^ Erich Hartmann: コンピュータ支援設計のための幾何学とアルゴリズム。講義ノート、ダルムシュタット工科大学、2003 年 10 月、p. 93
  5. ^ 証明はホッブスの命題304に従う
  6. ^ ホッブス、提案308
  7. ^ ホッブス、提案310

参考文献

  • ホッブス, CA (1921). 『立体幾何学』 GHケント. pp. 397 ff.

さらに読む

  • Haines, Eric (2021年6月6日). 「交差(レイトレーシングリソースページ)」.リアルタイムレンダリング. 2023年12月14日閲覧.様々な一般的なオブジェクトの交差ルーチンのグリッド。書籍やウェブ上のリソースを参照できます。
  • ニコラス・M・パトリカラキス、前川隆『コンピュータ支援設計・製造のための形状調査』、Springer、2002年、ISBN 3540424547、9783540424543、408ページ。[1]
  • Sykes, M.; Comstock, CE (1922). 『立体幾何学』 Rand McNally. pp. 81 ff.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Intersection_(geometry)&oldid=1319215119"