直线的交点坐标与距离公式

引入

两条直线的交点，为什么要用方程组来求？

点到直线的距离公式里为什么有绝对值，还有 $\sqrt{A^2+B^2}$？

两条平行线之间的距离，为什么不能直接用两个截距相减？

解析几何的度量问题都可以归结为”用坐标表达几何量”。交点对应方程组的解，距离对应投影的长度。

正文

定义

两条直线的交点是同时满足两条直线方程的点，其坐标是相应二元一次方程组的解。

交点与方程组解的关系

设 $l_1:A_{1}x+B_{1}y+C_1=0$，$l_2:A_{2}x+B_{2}y+C_2=0$。

方程组解的情况	行列式 $D=A_1{B}_2-A_2{B}_1$	两直线关系
唯一解	$D\ne 0$	相交于一点
无解	$D=0$ 且 $C$ 不成比例	平行
无穷多解	$D=0$ 且系数成比例	重合

这个对应关系是线性方程组的几何解释：方程组的解集就是直线的交集。

两点间距离

$|AB|=\sqrt{(x_2-x_1{)}^2+(y_2-y_1{)}^2}$

这是勾股定理的直接应用：横坐标差与纵坐标差构成直角三角形的两条直角边。

点到直线的距离

$d=\frac{|A{x}_0+B{y}_0+C|}{\sqrt{A^2+B^2}}$

其中直线为 $Ax+By+C=0$，点为 $P(x_0,y_0)$。

公式的三个部分各有含义：

部分	含义
$A{x}_0+B{y}_0+C$	把点代入直线方程左侧，衡量点”偏离”直线的程度
绝对值	距离非负，点可能在直线两侧
$\sqrt{A^2+B^2}$	法向量 $(A,B)$ 的模，用于归一化

为什么除以 $\sqrt{A^2+B^2}$？ 因为 $Ax+By+C$ 的值与 $(A,B)$ 的模成正比：把方程两边同乘 $2$，左侧值翻倍，但直线没变。除以法向量模，恰好消去这种任意性。

推导思路：过 $P$ 作直线的垂线，垂足为 $Q$，则 $\overrightarrow{PQ}$ 与法向量 $(A,B)$ 平行，$d=|\overrightarrow{PQ}|$ 等于 $\overrightarrow{PQ}$ 在法向量方向上的投影长度。

两条平行线间的距离

设 $l_1:Ax+By+C_1=0$，$l_2:Ax+By+C_2=0$（系数 $A$、$B$ 必须相同），则

$d=\frac{|C_1-C_2|}{\sqrt{A^2+B^2}}$

使用前提是 $A$、$B$ 已经化成相同。如果两条线写成 $x+2y+1=0$ 与 $2x+4y+5=0$，必须先统一系数，否则公式不成立。

错误做法	正确做法
直接取 $	1-5
用截距相减	截距差不是垂直距离

距离公式的统一视角

距离类型	公式	本质
两点距离	$\sqrt{\Delta x^2+\Delta y^2}$	向量模
点线距离	$\dfrac{	Ax_{0}+By_{0}+C
平行线距离	$\dfrac{	C_{1}-C_{2}

三者都可以看作”向量在某个方向上的投影长度”，只是参照的对象不同。

对称问题

类型	做法
点关于点对称	中点是已知点，用中点坐标公式反求
点关于直线对称	中点在直线上 + 连线垂直于直线，联立求解
直线关于点对称	取直线上两点，分别求对称点，再连线
直线关于直线对称	转化为点关于直线对称

点关于直线对称的两个条件必须同时用：

1. 中点坐标满足直线方程
2. 连线方向与直线法向量平行（即连线垂直于直线）

只用一个条件会得到无穷多解。

常见误区

错误说法	问题
”平行线距离是两个截距之差”	需除以 $\sqrt{A^2+B^2}$ 且系数要统一
”点线距离不用绝对值”	距离非负
”两直线无交点就是平行”	也可能是重合（有无数交点）
“对称只需求中点”	还需垂直条件
”点到直线距离公式可以直接用于参数方程”	需先化为一般式

引出

为什么点到直线的距离公式与向量投影是同一件事？

把这个公式推广到空间，点到平面的距离公式是什么形式？

两条直线的夹角，能否用距离公式推导出来？

• 直线的方程：五种形式
• 直线的倾斜角与斜率：方向与垂直条件
• 圆与方程：圆与直线的位置关系
• 空间向量：距离公式的升维版本
• 解析几何：解析几何的目录
• 数学：数学学科入口