定义 已知直线上两点坐标，利用斜率公式推导出的直线方程形式。
从哪来 建立在“一、相交直线”（确定直线需两个独立条件）和“二、平行直线”（斜率相等或不存在）的基础上。
为什么 直线由两点唯一确定。设两点为 $P_1(x_1, y_1)$ 和 $P_2(x_2, y_2)$。 若 $x_1 \neq x_2$，斜率 $k = \frac{y_2 - y_1}{x_2 - x_1}$。 由点斜式 $y - y_1 = k(x - x_1)$ 代入 $k$，整理得 $\frac{y - y_1}{y_2 - y_1} = \frac{x - x_1}{x_2 - x_1}$。 此式对称且直观，避免了先求斜率再代点的繁琐步骤，且当 $y_1 = y_2$ 时，分母为0，对应水平直线 $y = y_1$，逻辑自洽。