在数学中，**相交**是两个几何图形之间关系的一种。两个图形相交是指它们有公共的部分，或者说同时属于两者的点的集合不是空集。若两个几何图形在某个地方有且只有一个交点，则可以称为相切而不是相交。如果两个图形完全重合，则一般不称为相交。

集合论中，两个集合**相交**是指它们的交集不是空集。

直线的相交
-----

在欧几里得平面上，两条直线要么平行，要么相交，要么重合。这时欧几里得第五公设的推论。相交的两条直线恰好有一个交点。在非欧几何中，按几何特性（曲率），可以分为两类。罗巴切夫斯基几何中两条直线要么平行，要么相交，但平行线不止一条。黎曼几何中两条直线总是相交。

三维空间或更高维空间中，两条直线相交则必定共面。

圆的相交
----

歐幾里得幾何中，同一平面上的两个圆之间的关系有四种：相离、相切、相容和相交。相离指两圆没有交点而且没有一个圆在另一个圆内部。相切是指两圆只有一个交点。相交是指两圆有多于一个交点。相容是指两圆没有交点且一个圆在另一个内部。

两个圆相交当且仅当两个圆心之间的距离严格小于两圆的半径之和，并严格大于两圆的半径之差。

解析几何中的判别方法
----------

在平面解析几何中，设两条直线的方程为：

(\mathcal{D}\_1) :\, \ a\_1 x + b\_1 y = c\_1
(\mathcal{D}\_2) :\, \ a\_2 x + b\_2 y = c\_2
那么(\mathcal{D}\_1)与 (\mathcal{D}\_2) 相交当且仅当行列式：

\begin{vmatrix} a\_1 & b\_1 \\ a\_2 & b\_2\end{vmatrix}=a\_1 b\_2 - a\_2 b\_1 不等于零。
对于两圆相交，设两个圆的方程是：

(\mathcal{C}\_1) :\, \ (x - x\_1)^2 + (y - y\_1)^2 = r\_1^2
(\mathcal{C}\_2) :\, \ (x - x\_2)^2 + (y - y\_2)^2 = r\_2^2
那么(\mathcal{C}\_1)与 (\mathcal{C}\_2) 相交当且仅当：

|r\_1 - r\_2| < \sqrt{(x\_1 - x\_2)^2 + (y\_1 - y\_2)^2 }< |r\_1 + r\_2|

例子
--

### 直线

* 设两条直线的方程是：

(\mathcal{D}\_1) :\, \ 3 x + 5 y = 18
(\mathcal{D}\_2) :\, \ 6 x - y = 3
由于行列式：\begin{vmatrix} 3 & 5 \\ 6 & -1 \end{vmatrix}=-33 \neq 0 ，两直线相交。交点为(1, 3)。

* 设两条直线的方程是：

(\mathcal{D}\_1) :\, \ 3 x + 5 y = 18
(\mathcal{D}\_2) :\, \ 6 x + 10 y = 3
由于行列式：\begin{vmatrix} 3 & 5 \\ 6 & 10 \end{vmatrix}= 0 ，两直线不相交（实际上平行）。

### 圆

* 设两个圆的方程是：

(\mathcal{C}\_1) :\, \ (x - 1)^2 + (y +4)^2 = 6^2 = 36
(\mathcal{C}\_2) :\, \ (x + 3)^2 + (y +1)^2 = 2^2 = 4
这时两个圆心的距离是：\sqrt{[1 - (-3)]^2 + [-4 - (-1)]^2} = 5，|6 - 2|< 5 <|6+2|，因此两圆相交。

参见
--

* 拓扑
* 几何学

参考来源
----

* R.A.约翰逊 著，单壿 译.. 上海教育出版社. 1999. ISBN 7-532-06392-0 请检查`|isbn=`值 (帮助).
* 盛为民.. 浙江大学出版社. 2008. ISBN 7-308-06149-0 请检查`|isbn=`值 (帮助).

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
几何学术语 |
| --- |
|  |
| 点 | 
* 頂點
* 交點
* 中點
* 角
* 極值點
* 最值點
* 臨界點
* 驻点
* 鞍點

 |
|  |
| 直线和曲线 | 
* 线段
* 射线
* 直线
* 切线
* （主）法线
* 副法線
* 曲线
* 圆锥曲线
* 双曲线
* 抛物线
* 正弦曲線
* 蚌线
* 蜗线
* 螺线（阿基米德螺线、等角螺线……）
* 摆线（最速降線問題）
* 悬链线
* 曳物线
* 漸開線
* 渐屈线
* 渐近线
* 测地线
* 邊
* 周界
* 弦
* 弧
* 垂直平分線
* 代數曲線
* 椭圆曲线
* 超橢圓
* 星形线
* 三尖瓣线
* 方圓形
* 勒洛三角形

 |
|  |
| 平面圖形 | 
* 圆（广义圆）
* 椭圆
* 扇形
* 弓形
* 环形
* 多边形
* 三角形
* 四邊形
* 五边形
* 六边形
* 多边形
* 正多边形
* 梯形
* 平行四边形
* 菱形
* 矩形
* 正方形
* 鷂形
* 卵形线
* 梭形
* 星形
* 五角星
* 六角星

 |
|  |
| 立體圖形 | 
* 多面体
* 正多面體
* 四面體
* 長方體
* 立方體
* 平行六面体
* 棱柱
* 反棱柱
* 棱锥
* 棱台
* 圆柱体
* 圆锥
* 圆台
* 椭球（長球體、扁球體）
* 球體
* 球缺
* 球冠
* 球台
* 準線
* 母線

 |
|  |
| 曲面 | 
* 二次曲面
* 旋轉曲面
* 抛物面
* 雙曲面
* 马鞍面
* 球面
* 橢球面
* 類球面
* 环面
* 莫比乌斯带
* 流形
* 黎曼曲面

 |
|  |
| 高維空間 | 
* 超平面
* 超面
* 超曲面
* 胞
* 多胞形
* 超球體
* 超方形
* 超立方體
* 克莱因瓶
* 四維柱體柱

 |
|  |
| 圖形關係 | 
* 相似
* 全等
* 對稱
* 平行
* 垂直
* 相交
* 相切
* 相離
* 镜像
* 旋转
* 反演
* 截面
* 缩放

 |
|  |
| 三角形關係 | 
* 相似三角形
* 全等三角形

 |
|  |
| 量 | 
* 距离
* 长度
* 周长
* 弧长
* 高度
* 面积
* 表面積
* 体积
* 容積
* 角度
* 曲率
* 撓率
* 離心率
* 凹凸性
* 有向曲面
* 可展曲面
* 直紋曲面

 |
|  |
| 作圖 | 
* 尺
	+ 直尺
	+ 三角尺
* 圆规
* 尺规作图
* 二刻尺作圖

 |
|  |
| 分支 | 
* 平面幾何
* 立体几何
* 三角学
* 解析几何
* 微分几何
* 拓扑学
* 图论
* 摺紙數學
* 欧几里得几何
* 非欧几里得几何（双曲几何、球面幾何……）
* 分形

 |
|  |
| 理論 | 
* 定理
* 公理
* 定义
* 數學證明

 |
|  |
| 
* 分类**分类**
* 主题**主题**
* 共享资源页面**共享资源**
* 专题**专题**

 |

 |