两直线交点计算器

平面上两条不平行直线恰有一个交点。把两条直线写成一般式 a₁x+b₁y=c₁ 与 a₂x+b₂y=c₂，求交点等价于解这个二元一次方程组。克莱默法则给出显式解：行列式 D=a₁b₂−a₂b₁ 非零时，x=(c₁b₂−c₂b₁)/D，y=(a₁c₂−a₂c₁)/D。

当 D=0 时两直线平行：若系数成比例（含常数项）则两线重合有无穷多交点，否则平行无交点。斜率视角下，D=0 即两线斜率相等。

两条直线的交点是解析几何的基本运算：联立两个方程解出唯一的 (x, y)。对一般式 a₁x + b₁y = c₁ 与 a₂x + b₂y = c₂，克拉默法则给出直接公式：分母 D = a₁b₂ − a₂b₁（系数行列式），x = (c₁b₂ − c₂b₁)/D，y = (a₁c₂ − a₂c₁)/D。D ≠ 0 时交点唯一；D = 0 时两直线平行或重合，没有唯一交点——这个判别式把三种位置关系（相交、平行、重合）压缩进一个数值检查，是程序化处理的理想形式。

行列式 D 的几何意义值得展开：它等于两条直线方向向量 (b₁, −a₁) 与 (b₂, −a₂) 张成的平行四边形的有向面积，也就是两直线「方向差异」的度量。D 的绝对值越小，两直线越接近平行，交点位置对系数的微小扰动越敏感——这是数值计算中的病态情形。实际系统（CAD、游戏引擎）会设阈值：|D| 小于某个 epsilon 就按平行处理，避免输出一个天文数字坐标。

直线求交是无数上层算法的地基。计算几何中，多边形裁剪（Sutherland-Hodgman 算法）逐边求交点；地图渲染中，瓦片边界裁剪路网线串；机器人路径规划中，射线与障碍边的交点决定可视域；计算机图形学中，2D 求交是 3D 光线求交的降维原型。掌握这一个 2×2 情形的公式与边界处理，等于掌握了这些系统的公共内核。

工程上更常见的需求其实是「线段求交」而非「直线求交」：判断两条有限线段是否相交、交点在哪里。标准做法是先用跨立实验（straddle test）快速判定相交性——两条线段互相跨立（每条线段的两个端点分处另一条所在直线的两侧）则相交；相交后再用参数方程求交点并验证参数落在 [0, 1] 区间。直线求交公式是其中的最后一步，但判定逻辑才是工程复杂度所在。

使用本工具时按一般式输入四个系数即可，工具同时给出判别式 D 的值与位置关系结论。若你的直线是斜截式 y = kx + m，转成一般式就是 kx − y = −m（即 a = k、b = −1、c = −m）。两条竖直线（斜率不存在）在斜截式里无法表达，但一般式 x = c 毫无障碍——这是一般式在程序化场景优于斜截式的原因之一。