直线方程如何想 那会儿在初中还认定直线方程就是套公式，$y=kx+b$，考试就填。可到了高中，老师突然说：“别背，得琢磨。”后来一看，原来是出于平面解析几何不是靠死记硬背，而是靠空间想象力来构建的。就像盖房子，房子稳不稳，光看图纸没用，得看地基如何受力， mukaan。 先说说斜率 $k$ 到底是个啥意思。在坐标系里，斜率本质上是方向。你往右走一格，高度能升多少，这就定义了斜率。
要是一条直线是竖直的，比如 $x=0$，那它往右走一格，高度不变，也就是斜率为无穷大。
这时候你就得换个思路，不用斜率，直接写 $x=0$ 这种形式。
反过来，要是一条线是水平的，$y=5$，你往上走，高度不变，斜率是 0。
这时候 $b$ 就等于那个初始高度，而 $a=0$。 那一般的直线呢？它的倾斜角 $alpha$ 在 $0$ 到 $90$ 度之间。斜率 $k$ 就是 $tanalpha$。
这个三角函数关系实际上挺有意思。当 $alpha$ 挺小时，斜率挺小；$alpha$ 接近 $90$ 度时，斜率变得极大。
这就对应了刚刚说的竖直线和水平线。 有了 $k$，如何求 $b$？实际上挺好办。
要是知道直线上的两个点 $(x_1, y_1)$ 和 $(x_2, y_2)$，这两点连起来就是直线。线段长度的变化量和坐标差值相关，$Delta x = x_2 - x_1$，$Delta y = y_2 - y_1$。斜率 $k$ 就是 $frac{Delta y}{Delta x}$，也就是 $frac{y_2 - y_1}{x_2 - x_1}$。 那直线方程到底长啥样呢？斜截式 $y = kx + b$ 实际上是由两点式推导出来的。两点式是 $frac{y - y_1}{y_2 - y_1} = frac{x - x_1}{x_2 - x_1}$。分母不能为零，故此得聊聊一下。
要是 $x_2 = x_1$，那就是竖直线，斜率不存有，直接写 $x = x_1$。
要是 $y_2 = y_1$，那就是水平线，直接写 $y = y_1$。 再看一般式 $Ax + By + C = 0$。
这实际上和两点式挺像。把两点式交叉相乘，消掉分母，你就会拿到 $A(x - x_1) + B(y - y_1) = 0$。展开就是 $Ax - Ax_1 + By - By_1 = 0$，整理一下，两边同除以 $A$，就是 $x + frac{B}{A}y - frac{B}{A}y_1 - y_1 = 0$。
这时候能够看到，$A$ 和 $B$ 的比值就是斜率 $k = -frac{B}{A}$。而常数项 $C = -frac{B}{A}y_1 - y_1$。
这说明一般式里的 $A$ 和 $B$ 实际上代表了直线的“方向”和“截距”，比例关系固定后，整个方程就确定了。 举个具体的例子。假设有一条直线经过点 $(2, 3)$ 和 $(4, 5)$。先算斜率 $k = frac{5 - 3}{4 - 2} = frac{2}{2} = 1$。用斜截式写就是 $y = 1x + b$。再把点 $(2, 3)$ 代入，$3 = 1 times 2 + b$，解得 $b = 1$。
故此方程就是 $y = x + 1$，要么写成 $x - y + 1 = 0$。
这个例子展示了如何从具体点到公式的转换。 实际上你会发现，不同的写法都是同一个东西。斜截式适合计算，比如求交点；一般式适合画图，出于 $Ax + By + C = 0$ 直接对应到几何图形上比较好理解。有些时候，$A, B, C$ 是已知数，配方要么判别式能帮你判断交点存有性；有些时候，你需求把方程写成 $y = dots$ 来解难题。 另外，直线的方程一般不止一条。经过一个点的直线有无数条，它们都围绕这个点旋转。
要是只知道一个点 $(x_0, y_0)$，你选一个方向向量 $(m, n)$，那斜率就是 $n/m$。
一般式能够写成 $n(x - x_0) - m(y - y_0) = 0$，要么展开成 $mx - ny + (mx - nx_0 - my + my_0) = 0$。 有些形式比较特殊，比如对称式要么法式。法式就是直接把 $x, y$ 写成 $d$ 的形式，$x = d cosalpha + x_0$，$y = d sinalpha + y_0$。
这实际上和极坐标有点像，只是把角度换成了方向。
这时候斜率就是 $tanalpha$，参数 $d$ 就是从点到直线上某点的距离。 还有条件方程，比如两点在直线同侧，要么垂线关系。
这两个实际上是把直线看作集合，通过算距离要么向量内积来约束。
比如求两条直线垂直，那就是它们的斜率乘积为 $-1$（要么其中一个是无穷大），用向量点积为 0 来说。 最终得提一下，直线方程实际上是一个“几何对象”。在几何里，它不仅是公式，还是位置、方向、长度的载体。在代数里，它是一组知足条件的点。理解它，就得懂数与形的统一。
有时候列方程，有时候解方程，有时候画图，有时候验证，这都是同一个过程的不同侧面。 实际上最终总结，直线方程本质上就是描述一条直线的“位置”和“姿态”的数学语言。斜率拍板姿态，截距拍板位置。没了斜率，直线就垂直；没截距，直线就平移。
只要抓住了这两个核心，再加上有两点确定、三点共线这些工具，就能搞定绝大多数难题了。
这也正是解析几何的魅力，把静态的图形变成动态的方程，再让人把方程变回图形。
