直线

File:Linear functions2.PNG

三条直线：红线与蓝线有相同的斜率, 红线与绿线有相同的y-截距。

直线，是一个点在平面或空间沿着一定方向和其相反方向运动的轨迹，是不弯曲的线。直线是几何学的基本概念，在不同的几何学体系中有着不同的描述。在这里主要描述欧几里得空间中的直线。其他曲率非零状况下的直线，请参考非欧几里得几何。

欧几里得几何研究曲率为零的空间下状况，它并未对点、直线、平面、空间给出定义，而是通过公理来描述点线面的关系。欧几里得几何中的直线可以看作是一个点的集合，这个集合中的任意一点都在这个集合中的其他任意两点所确定的直线上。

“过两点有且只有一条直线”是欧几里得几何体系中的一条公理，“有且只有”意即“确定”，即两点确定一直线。

在几何学中，直线没有粗细，没有端点，没有方向性，具有无限的长度，具有固定的位置。

线性方程[编辑]

在解析几何中，我们常用线性方程描述一条直线。

二维直角坐标系方程[编辑]

平行于x-或y-轴

最简单的直线方程是平行于x-轴或y-轴的直线：

<math>x=a \;</math> 或 <math>\; y=b</math>，

当中 <math> a </math> 和 <math>b</math> 分别是x-和y-截距。

一般式

对于所有的直线，都可以形式

来表示。

这表示示形式并不是唯一的，但习惯上常限制 <math> A \ge 0 </math> 及 <math> \gcd(A,B,C)=1 </math> 。在此限制下，同一条直线只有一种表达形式。

在这形式下，直线的斜率是 <math>-\frac{A}{B}</math> ，x-截距是 <math>-\frac{C}{A}</math> ，y-截距是 <math>-\frac{C}{B}</math> 。

斜截式

在直线不平行于y-轴时，若斜率是 <math> m </math> ，y-截距是 <math>b</math> ，则有方程

<math>y=mx+b</math> 。

在这形式下，直线的表达形式是唯一的。

二点式

若直线穿过两点 <math>(x_1,y_1) </math> 和 <math>(x_2,y_2) </math> ，则有方程

<math> \frac{x-x_1}{x_2-x_1} = \frac{y-y_1}{y_2-y_1} </math>。

等价地，可以用行列式

<math>\begin{vmatrix} x & y & 1 \\x_1 & y_1 & 1 \\x_2 & y_2 & 1 \end{vmatrix} = 0</math>

表示。

点斜式

若直线穿过一点 <math>(x_0,y_0) </math> ，而且斜率是 <math> m </math>，则有方程

<math>y-y_0=m\,(x-x_0)</math>。

截距式

若直线的x-和y-截距分别是 <math> a </math> 和 <math>b</math> ，则方程为

<math>{x \over a}+{y \over b}=1</math>。

法线式

过原点向直线作一垂直线段，若该线长度为 <math>p</math> ，且与正x-轴的倾斜角为 <math> \alpha </math> ，则有方程

<math>x \cos \alpha +y \sin \alpha -p=0</math>。

向量式

若直线穿过一点 <math> \mathbf{a} = \begin{bmatrix}

   x_0\\
   y_0\\
 \end{bmatrix}</math> ，且有方向向量 <math> \mathbf{u} = \begin{bmatrix}
   u_x\\
   u_y\\
 \end{bmatrix}</math> ，則有向量方程

<math> \mathbf{r} = \mathbf{a} + \lambda \mathbf{u} </math>，

当中 <math>\mathbf{r}= \begin{bmatrix}

   x\\
   y\\
 \end{bmatrix}</math> ，而 <math>\lambda</math> 是一任意實數。

须要注意的是，这直线的表达形式并不是唯一的。

参数式

从向量式出发，可以参数 <math>\lambda</math> 表示方程

<math> \begin{alignat}{5}

x &&\; = \;&& x_0 &&\; + \;&& u_x \lambda & \\ y &&\; = \;&& y_0 &&\; + \;&& u_y \lambda \end{alignat}</math> ，

其中 <math>\lambda</math> 是一任意实数。

三维直角坐标系方程[编辑]

在三维坐标上，由于一条等式只代表一个平面，一条直线须由最少两条等式定义。

平行于x-、y-或z-轴

平行于x-、y-或z-轴的直线有方程

<math> \begin{alignat}{3}

y &&\; = \;&& b & \\ z &&\; = \;&& c \end{alignat} \,</math> 、<math>\, \begin{alignat}{3} x &&\; = \;&& a & \\ z &&\; = \;&& c \end{alignat}\,</math> 或 <math> \, \begin{alignat}{3} x &&\; = \;&& a & \\ y &&\; = \;&& b \end{alignat}</math> 的形式。

一般式

对于任何直线，一般式都能以两个非平行平面定义：

<math> \begin{alignat}{9}

A_1x &&\; + \;&& B_1y &&\; + \;&& C_1z \;&& + \;&& D_1 \;&& = \;&& 0 & \\ A_2x &&\; + \;&& B_2y &&\; + \;&& C_2z \;&& + \;&& D_2 \;&&= \;&& 0 \end{alignat}</math> ，

其中 <math>A_1:B_1:C_1 \ne A_2:B_2:C_2</math> 。

由于从一条直线可引申出无限对平面，这表示方式并不是唯一的。因此又能考虑以三个共线平面定义：

<math> \begin{alignat}{7}

Ax &&\; - \;&& By &&\; + \;&& D \;&& = \;&& 0 & \\ Cy &&\; - \;&& Az &&\; + \;&& E \;&& = \;&& 0 & \\ Bz &&\; - \;&& Cx &&\; + \;&& F \;&& = \;&& 0 \end{alignat}</math>，

或合并记作

<math>Ax-By+D=Cy-Az+E=Bz-Cx+F=0</math>，

其中系数须乎合关系 <math>AF+BE+CD=0</math> ，以保证三个平面相交于同一直线。

事实上，这三条等式分别对应着直线在xy-、yz-和xz-平面的投影。

在限制 <math> A \ge 0 </math> 及 <math>\gcd(A,B,C,D,E,F)=1</math> 下，同一条直线只有一种表达形式。

（注：对于平行于轴平面的直线，例如 <math> 2y-3z+1=x-1=0</math> ，会有以下表示方式：

<math> \begin{alignat}{7}

3x &&\; \;&& &&\; - \;&& 3 \;&& = \;&& 0 \\ 2y &&\; - \;&& 3z &&\; + \;&& 1 \;&& = \;&& 0 \\

&&\; - \;&& 2x &&\; + \;&& 2 \;&& = \;&& 0

\end{alignat}</math> 。

对于定义一条直线，这步骤是非必要的。但在本页往后的部分，这表示方式能简化一些公式。）

斜截式

类似于二维的情形，在直线不平行于yz-轴平面时，可以写成

<math> \begin{alignat}{5}

y &&\; = \;&& mx &&\; + \;&& b \\ z &&\; = \;&& nx &&\; + \;&& c \end{alignat}</math>

的形式。

在这形式下，直线的表达形式是唯一的。

（注：对于直线平行于yz-平面时，以上方式并不适用。但直线仍可表示成

<math> \begin{alignat}{2}

x \;& = \; a \\ z \;& =\; ny + c \end{alignat}</math> 。）

二点式

若直线穿过两点 <math>(x_1,y_1,z_1) </math> 和 <math>(x_2,y_2,z_2) </math> ，则有方程

<math> \frac{x-x_1}{x_2-x_1} = \frac{y-y_1}{y_2-y_1} = \frac{z-z_1}{z_2-z_1} </math> 。

等价地，可以用行列式

<math>\begin{vmatrix} x & y & 1 \\x_1 & y_1 & 1 \\x_2 & y_2 & 1 \end{vmatrix} = \begin{vmatrix} y & z & 1 \\y_1 & z_1 & 1 \\y_2 & z_2 & 1 \end{vmatrix} = \begin{vmatrix} z & x & 1 \\z_1 & x_1 & 1 \\z_2 & x_2 & 1 \end{vmatrix} = 0</math>

表示。

向量式

若直线穿过一点 <math> \mathbf{a} = \begin{bmatrix}

   x_0\\
   y_0\\
   z_0\\
 \end{bmatrix}</math> ，且有方向向量 <math> \mathbf{u} = \begin{bmatrix}
   u_x\\
   u_y\\
   u_z\\
 \end{bmatrix}</math> ，則有向量方程

<math> \mathbf{r} = \mathbf{a} + \lambda \mathbf{u} </math> ，

当中 <math>\mathbf{r}= \begin{bmatrix}

   x\\
   y\\
   z\\
 \end{bmatrix}</math> ，而 <math>\lambda</math> 是一任意實數。

须要注意的是，这直线的表达形式并不是唯一的。

参数式

从向量式出发，可以参数 <math>\lambda</math> 表示方程

<math> \begin{alignat}{5}

x &&\; = \;&& x_0 &&\; + \;&& u_x \lambda & \\ y &&\; = \;&& y_0 &&\; + \;&& u_y \lambda & \\ z &&\; = \;&& z_0 &&\; + \;&& u_z \lambda \end{alignat}</math> ，

其中 <math>\lambda</math> 是一任意实数。

直线与解析几何[编辑]

点与直线的距离[编辑]

一般情况下，点与直线的距离，是指点到直线的最短距离，即垂直距离。

在二维直角坐标中，直线 <math>Ax+By+C=0</math> 与点 <math>(p,q)</math> 的最短距离为

<math>d=\frac{\left| Ap+Bq+C \right|}{\sqrt{A^2+B^2}}</math>

给出向量式 <math> \mathbf{r} = \mathbf{a} + \lambda \mathbf{u} </math> 和点 <math>\mathbf{p} = \begin{bmatrix}

   p\\
   q\\
 \end{bmatrix}</math> ，則有距離

<math>d=\frac{ \left| (\mathbf{a}-\mathbf{p}) \times \mathbf{u} \right|}{\left| \mathbf{u} \right|}</math>

在三维直角坐标中，直线 <math> \begin{alignat}{7} Ax &&\; - \;&& By &&\; + \;&& D \;&& = \;&& 0 & \\ Cy &&\; - \;&& Az &&\; + \;&& E \;&& = \;&& 0 & \\ Bz &&\; - \;&& Cx &&\; + \;&& F \;&& = \;&& 0 \end{alignat}</math> 与点 <math>(p,q,r)</math> 的最短距离为

<math>d=\sqrt{\frac{(Ap-Bq+D)^2 + (Cq-Ar+E)^2 + (Br-Cp+F)^2}{A^2+B^2+C^2}} </math>。

给出向量式 <math> \mathbf{r} = \mathbf{a} + \lambda \mathbf{u} </math> 和点 <math>\mathbf{p} = \begin{bmatrix}

   p\\
   q\\
   r\\
 \end{bmatrix}</math> ，則有距離

<math>d=\frac{ \left|(\mathbf{a}-\mathbf{p}) \times \mathbf{u} \right|}{\left| \mathbf{u} \right|}</math>

两条相交直线的相交点[编辑]

不考虑重合的情形，在二维平面中，两条相交直线可以相交或平行。

给定两条直线 <math>A_1x+B_1y+C_1=0</math> 和 <math>A_2x+B_2y+C_2=0</math> ，二者相交的条件是

<math> A_1:B_1 \ne A_2:B_2</math>。

或等价地，

<math>\begin{vmatrix} A_1 & B_1 \\A_2 & B_2 \end{vmatrix} \ne 0</math>，

当中 <math> \begin{vmatrix} a & b \\ c & d \end{vmatrix} = ad-bc </math>。

这时两线的相交点可从克莱姆法则求得

<math>x=-\frac{\begin{vmatrix} C_1 & B_1 \\C_2 & B_2 \end{vmatrix}}{\begin{vmatrix} A_1 & B_1 \\A_2 & B_2 \end{vmatrix}}</math> ， <math>y=-\frac{\begin{vmatrix} A_1 & C_1 \\A_2 & C_2 \end{vmatrix}}{\begin{vmatrix} A_1 & B_1 \\A_2 & B_2 \end{vmatrix}}</math>。

在三维空间中，不考虑重合的情形，两条直线可以相交、平行或歪斜（异面）。

给定两条直线 <math> \begin{alignat}{7} A_1x &&\; - \;&& B_1y &&\; + \;&& D_1 \;&& = \;&& 0 & \\ C_1y &&\; - \;&& A_1z &&\; + \;&& E_1 \;&& = \;&& 0 & \\ B_1z &&\; - \;&& C_1x &&\; + \;&& F_1 \;&& = \;&& 0 \end{alignat}</math> 及 <math> \begin{alignat}{7} A_2x &&\; - \;&& B_2y &&\; + \;&& D_2 \;&& = \;&& 0 & \\ C_2y &&\; - \;&& A_2z &&\; + \;&& E_2 \;&& = \;&& 0 & \\ B_2z &&\; - \;&& C_2x &&\; + \;&& F_2 \;&& = \;&& 0 \end{alignat}</math> ，二者相交的条件是

<math>\begin{vmatrix} A_1 & B_1 \\A_2 & B_2 \end{vmatrix} </math> 、 <math>\begin{vmatrix} B_1 & C_1 \\B_2 & C_2 \end{vmatrix} </math> 及 <math>\begin{vmatrix} C_1 & A_1 \\C_2 & A_2 \end{vmatrix} </math> 不全为 <math>0</math> ，且

<math>A_1F_2+A_2F_1+B_1E_2+B_2E_1+C_1D_2+C_2D_1=0</math>。

这时两线的相交点可从克莱姆法则求得

<math>x=-\frac{\begin{vmatrix} D_1 & B_1 \\D_2 & B_2 \end{vmatrix}}{\begin{vmatrix} A_1 & B_1 \\A_2 & B_2 \end{vmatrix}}=\frac{\begin{vmatrix} B_1 & F_1 \\B_2 & F_2 \end{vmatrix}}{\begin{vmatrix} B_1 & C_1 \\B_2 & C_2 \end{vmatrix}}</math> ， <math>y=\frac{\begin{vmatrix} A_1 & D_1 \\A_2 & D_2 \end{vmatrix}}{\begin{vmatrix} A_1 & B_1 \\A_2 & B_2 \end{vmatrix}}=-\frac{\begin{vmatrix} E_1 & A_1 \\E_2 & A_2 \end{vmatrix}}{\begin{vmatrix} C_1 & A_1 \\C_2 & A_2 \end{vmatrix}}</math> ， <math>z=\frac{\begin{vmatrix} C_1 & E_1 \\C_2 & E_2 \end{vmatrix}}{\begin{vmatrix} C_1 & A_1 \\C_2 & A_2 \end{vmatrix}}=-\frac{\begin{vmatrix} F_1 & C_1 \\F_2 & C_2 \end{vmatrix}}{\begin{vmatrix} B_1 & C_1 \\B_2 & C_2 \end{vmatrix}}</math> 。

两条相交直线的夹角[编辑]

若两线相交，则会形成夹角。两线之间的夹角，通常指不大于90°的一只。

在二维平面上，给定直线 <math>y=mx+b</math> ，该线与x-轴的夹角为

<math>\tan \theta = \left| m \right| </math> 。

给定两条直线 <math>y=m_1x+b_1</math> 和 <math>y=m_2x+b_2</math> ，二者互相垂直当且仅当

<math>m_1 m_2 = -1</math> 。

而其他情况，两线相交所形成的夹角 <math> \theta </math> （<math>0^\circ \le \theta < 90^\circ</math>），则由

<math> \tan \theta = \left| \frac{m_1-m_2}{1+m_1m_2} \right| </math>

给出。

给定相交直线向量式 <math> \mathbf{r} = \mathbf{a_1} + \lambda \mathbf{u_1} </math> 和 <math> \mathbf{r} = \mathbf{a_2} + \mu \mathbf{u_2} </math> ，则有

<math> \cos \theta = \frac{\mathbf{u_1} \cdot \mathbf{u_2}}{\left| \mathbf{u_1}\right| \left| \mathbf{u_2} \right|}</math> 。

在三维空间中，给定两条相交直线 <math>\begin{alignat}{5} y &&\; = \;&& m_1x &&\; + \;&& b_1 \\ z &&\; = \;&& n_1x &&\; + \;&& c_1 \end{alignat}</math> 和 <math>\begin{alignat}{5} y &&\; = \;&& m_2x &&\; + \;&& b_2 \\ z &&\; = \;&& n_2x &&\; + \;&& c_2 \end{alignat}</math> ，二者互相垂直当且仅当

<math>m_1 m_2 + n_1 n_2= -1</math> 。

而其他情况，两线相交所形成的夹角 <math> \theta </math> （<math>0^\circ \le \theta < 90^\circ</math>），则由

<math>\tan \theta = \frac{\sqrt{(m_1 - m_2)^2 + (n_1 -n_2)^2 + \begin{vmatrix} m_1 & m_2 \\n_1 & n_2 \end{vmatrix}^2}}{\left|1 + m_1 m_2 + n_1 n_2 \right|}

</math>

给出，当中 <math> \begin{vmatrix} a & b \\ c & d \end{vmatrix} = ad-bc </math> 。

若取 <math>n_1=n_2=0</math> ，则公式退化成二维的形式。

给定相交直线向量式 <math> \mathbf{r} = \mathbf{a_1} + \lambda \mathbf{u_1} </math> 和 <math> \mathbf{r} = \mathbf{a_2} + \mu \mathbf{u_2} </math> ，则有

<math> \cos \theta = \frac{\mathbf{u_1} \cdot \mathbf{u_2}}{\left| \mathbf{u_1}\right| \left| \mathbf{u_2} \right|}</math>。

两条直线的距离[编辑]

一般情况下，两条直线的距离，是指最短距离。

二维情况下，两条相交直线的距离必然为 <math>0</math> 。

若有两条平行直线 <math>Ax+By+C_1=0</math> 及 <math>Ax+By+C_2=0</math> ，则有距离

<math>d=\frac{\left| C_1-C_2 \right|}{\sqrt{A^2+B^2}}</math>。

给定平行向量式 <math> \mathbf{r} = \mathbf{a_1} + \lambda \mathbf{u} </math> 和 <math> \mathbf{r} = \mathbf{a_2} + \mu \mathbf{u} </math> ，则有

<math>d=\frac{\left|(\mathbf{a_1}-\mathbf{a_2}) \times \mathbf{u}\right|}{\left|\mathbf{u}\right|}</math>。

三维情况下，两条相交直线的距离同样必然为 <math>0</math> 。

若有两条平行直线 <math> \begin{alignat}{7} Ax &&\; - \;&& By &&\; + \;&& D_1 \;&& = \;&& 0 & \\ Cy &&\; - \;&& Az &&\; + \;&& E_1 \;&& = \;&& 0 & \\ Bz &&\; - \;&& Cx &&\; + \;&& F_1 \;&& = \;&& 0 \end{alignat}</math> 及 <math> \begin{alignat}{7} Ax &&\; - \;&& By &&\; + \;&& D_2 \;&& = \;&& 0 & \\ Cy &&\; - \;&& Az &&\; + \;&& E_2 \;&& = \;&& 0 & \\ Bz &&\; - \;&& Cx &&\; + \;&& F_2 \;&& = \;&& 0 \end{alignat}</math> ，则有距离

<math>d =\sqrt{ \frac{(D_1-D_2)^2+(E_1-E_2)^2+(F_1-F_2)^2}{A^2 + B^2 +C^2}}</math>。

给定平行直线向量式 <math> \mathbf{r} = \mathbf{a_1} + \lambda \mathbf{u} </math> 和 <math> \mathbf{r} = \mathbf{a_2} + \mu\mathbf{u} </math> ，则有

<math>d=\frac{\left|(\mathbf{a_1}-\mathbf{a_2}) \times \mathbf{u}\right|}{\left|\mathbf{u}\right|}</math>。

两条歪斜直线（即既非相交，亦非平行）有方程 <math> \begin{alignat}{7} A_1x &&\; - \;&& B_1y &&\; + \;&& D_1 \;&& = \;&& 0 & \\ C_1y &&\; - \;&& A_1z &&\; + \;&& E_1 \;&& = \;&& 0 & \\ B_1z &&\; - \;&& C_1x &&\; + \;&& F_1 \;&& = \;&& 0 \end{alignat}</math> 及 <math> \begin{alignat}{7} A_2x &&\; - \;&& B_2y &&\; + \;&& D_2 \;&& = \;&& 0 & \\ C_2y &&\; - \;&& A_2z &&\; + \;&& E_2 \;&& = \;&& 0 & \\ B_2z &&\; - \;&& C_2x &&\; + \;&& F_2 \;&& = \;&& 0 \end{alignat}</math> ，则有距离

<math>d=\frac{ \left| A_1F_2+A_2F_1+B_1E_2+B_2E_1+C_1D_2+C_2D_1 \right|}{\sqrt{ \begin{vmatrix} A_1 & B_1 \\A_2 & B_2 \end{vmatrix}^2+\begin{vmatrix} B_1 & C_1 \\B_2 & C_2 \end{vmatrix}^2 + \begin{vmatrix} C_1& A_1 \\C_2 & A_2 \end{vmatrix}^2}}</math> ，

当中 <math> \begin{vmatrix} a & b \\ c & d \end{vmatrix} = ad-bc </math> 。

给定歪斜直线向量式 <math> \mathbf{r} = \mathbf{a_1} + \lambda \mathbf{u_1} </math> 和 <math> \mathbf{r} = \mathbf{a_2} + \mu\mathbf{u_2} </math> ，则有距离

<math>d=\frac{\left|(\mathbf{a_1}-\mathbf{a_2}) \cdot (\mathbf{u_1} \times \mathbf{u_2})\right|}{\left|\mathbf{u_1} \times \mathbf{u_2} \right|}</math>。

参考资料[编辑]

俞正光、李永乐、詹汉生编，《线性代数与解析几何》，清华大学出版社。
吕林根，《解析几何》，高等教育出版社。
Line （页面存档备份，存于互联网档案馆），Wolfram MathWorld。
Equations of a Straight Line （页面存档备份，存于互联网档案馆），Cut-the-Knot。

查论编几何学术语
点	顶点交点中点角同界角极值点最值点临界点驻点鞍点
直线和曲线	线段射线直线切线（主）法线副法线曲线圆锥曲线双曲线抛物线正弦曲线蚌线蜗线螺线（阿基米德螺线、等角螺线……）摆线（最速降线问题）悬链线曳物线渐开线渐屈线渐近线测地线边周界弦弧矢垂直平分线代数曲线椭圆曲线超椭圆星形线三尖瓣线方圆形勒洛三角形
平面图形	圆（广义圆）椭圆扇形弓形环形多边形三角形四边形五边形六边形多边形正多边形梯形平行四边形菱形矩形正方形鹞形卵形线梭形星形五角星六角星
立体图形	多面体正多面体四面体长方体立方体平行六面体棱柱反棱柱棱锥棱台圆柱体圆锥圆台椭球（长球体、扁球体）球体球缺球冠球台准线母线
曲面	二次曲面旋转曲面抛物面双曲面马鞍面球面椭球面类球面环面莫比乌斯带流形黎曼曲面
高维空间	超平面超面超曲面胞多胞形超球体超方形超立方体克莱因瓶四维柱体柱
图形关系	相似全等对称平行垂直相交相切镜像旋转反演截面缩放
三角形关系	相似三角形全等三角形
量	距离长度周长弧长高度面积表面积体积容积角度曲率挠率离心率凹凸性有向曲面可展曲面直纹曲面
作图	尺直尺三角尺圆规尺规作图二刻尺作图
分支	平面几何立体几何三角学解析几何微分几何拓扑学图论折纸数学欧几里得几何非欧几里得几何（双曲几何、球面几何……）分形
理论	定理公理定义数学证明
File:Symbol category class.svg分类 File:Symbol portal class.svg主题 File:Commons-logo.svg共享资源 File:People icon.svg专题

直线

目录

线性方程[编辑]

二维直角坐标系方程[编辑]

三维直角坐标系方程[编辑]

直线与解析几何[编辑]

点与直线的距离[编辑]

两条相交直线的相交点[编辑]

两条相交直线的夹角[编辑]

两条直线的距离[编辑]

相关条目[编辑]

参考资料[编辑]

导航菜单

直线

线性方程[编辑]

二维直角坐标系方程[编辑]

三维直角坐标系方程[编辑]

直线与解析几何[编辑]

点与直线的距离[编辑]

两条相交直线的相交点[编辑]

两条相交直线的夹角[编辑]

两条直线的距离[编辑]

相关条目[编辑]

参考资料[编辑]

导航菜单

搜索