相交 (幾何) - 维基百科,自由的百科全书
此條目已被提出存廢討論。請前往此處就该条目是否应该被删除进行讨论。? |
基本定義
[编辑]在幾何學中,相交(Intersection)是指兩個或多個幾何圖形在空間中擁有至少一個公共點的位置關係。相交的公共部分可以是點、線、面或更高維度的幾何體,具體取決於圖形的類型與維度[citation:5][citation:8]。
平面幾何中的相交
[编辑]- 直線與直線:在歐氏平面中,兩條非平行直線必相交於一點;若兩直線平行或重合,則不相交或完全重合[citation:5]。
- 直線與曲線:例如直線與圓相交時,若直線到圓心的距離小於半徑,則相交於兩點;若等於半徑則相切於一點[citation:1][citation:5]。
- 曲線與曲線:如兩圓相交,可能交於一點(相切)或兩點[citation:1]。
三維空間中的相交
[编辑]- 平面與平面:兩平面若不平形,則相交於一條直線;若平行則不相交[citation:8]。
- 直線與平面:若直線不平行於平面,則相交於一點[citation:8]。
相交類型與性質
[编辑]點相交
[编辑]最簡單的相交形式,例如兩直線交於一點,或直線與平面交於一點[citation:5][citation:8]。
線相交
[编辑]常見於平面或空間中面的交集,例如兩平面相交於一條直線,或曲面與平面相交形成曲線[citation:8]。
面相交
[编辑]三維空間中,兩個立體(如立方體)可能相交形成公共平面或曲面區域[citation:7][citation:8]。
特殊相交形式
[编辑]- 相切:視為相交的特例,如圓與直線僅接觸於一點[citation:1][citation:5]。
- 垂直:相交形成直角,如坐標軸的交點[citation:5]。
數學表述
[编辑]- 集合論描述:對於幾何對象 和 ,若其交集 ,則稱 與 相交[citation:8]。
- 代數幾何中的相交重數:在代數簇的相交理論中,相交點的重數由局部環的Tor函子計算,例如塞爾公式 [citation:1][citation:2]。
與其他幾何概念的關係
[编辑]相交 vs. 平行
[编辑]- 在歐幾里得幾何中,平行線定義為永不相交的直線[citation:5]。
- 在非歐幾何中(如雙曲幾何),「平行」的定義改變,可能存在多條過線外一點且與原線不相交的直線;而在射影幾何中,平行線被視為在「無窮遠處」相交[citation:3][citation:4][citation:6]。
相交 vs. 包含
[编辑]若一圖形完全位於另一圖形內部,則為包含關係而非相交[citation:8]。
應用與計算
[编辑]- 計算幾學:判斷矩形是否相交可通過比較頂點坐標的極值,例如若兩矩形在坐標軸投影區間均有重疊則相交[citation:7]。
- 地理信息系統(GIS):相交工具用於提取多層空間數據的公共部分,輸出類型可為點、線或面[citation:8]。
- 計算機圖形學:光線與物體的相交檢測是光線追蹤算法的核心步驟[citation:7]。