线性方程组

方程与直线：代数与几何的双重视角

在高中数学中，二元一次线性方程组不仅仅是一组待求解的代数符号，它对应着笛卡尔坐标系中的几何几何轨迹。

• 单方程的本质：形如 $ax + by = c$（$a, b$ 不全为 $0$）的方程，其无穷多个数对解 $(x, y)$ 在平面直角坐标系中排列成一条连续的直线。
• 方程组的意义：联立方程组 $\begin{cases} a_1x + b_1y = c_1 \\ a_2x + b_2y = c_2 \end{cases}$，本质上是在寻找同时满足两个条件的点集。
• 核心对应：
  $\text{代数层面的公共解 } (x, y) \iff \text{几何层面的直线交点 } P(x, y)$
• 图形计算器的角色：绘制两线轨迹，利用内置算法追踪“交点（Intersection）”，即为方程组的实数解。

---

几何本质：三种位置关系与解的分类

平面上任意两条直线 $L_1$ 与 $L_2$ 的相对位置关系，严格决定了线性方程组解的结构：

• 相交（Intersecting）：斜率不同，存在唯一公共交点 $\implies$ 方程组有唯一解。
• 平行（Parallel）：斜率相同且截距不同，永不相交 $\implies$ 方程组无解（矛盾方程组）。
• 重合（Coincident）：斜率与截距均相同，轨迹完全重叠 $\implies$ 方程组有无穷多解。

---

判定准则：从斜截式到系数比

将两方程化为斜截式 $y = m_1x + k_1$ 与 $y = m_2x + k_2$（或标准形式系数比）：

• 高阶视角：系数比值 $\dfrac{a_1}{a_2} \neq \dfrac{b_1}{b_2}$ 等价于行列式 $a_1b_2 - a_2b_1 \neq 0$，即两直线的法向量不平行。

---

例题精讲：图象法联立求解（问题与化简）

【例题】 解二元一次方程组，并在平面直角坐标系中阐述其几何意义：
$\begin{cases} 2x - y = 1 & \quad (L_1) \\ x + y = 5 & \quad (L_2) \end{cases}$

• 第一步：转化为函数形式（便于作图与观察）
  • 由 $(L_1)$ 得：$y = 2x - 1 \implies$ 斜率 $m_1 = 2$，纵截距 $(0, -1)$
  • 由 $(L_2)$ 得：$y = -x + 5 \implies$ 斜率 $m_2 = -1$，纵截距 $(0, 5)$
• 判定特征：$m_1 \neq m_2$（$2 \neq -1$），两直线必在平面上有且仅有一个交点。

---

例题精讲：图象法联立求解（求解与验证）

• 第二步：联立求出交点坐标
  令 $2x - 1 = -x + 5 \implies 3x = 6 \implies x = 2$
  代入得 $y = 2(2) - 1 = 3$，解得交点坐标为 $(2, 3)$。
• 第三步：几何结论与代数结论统一
  方程组的解为 $\begin{cases} x = 2 \\ y = 3 \end{cases}$，在图像上表现为直线 $L_1$ 与 $L_2$ 交于点 $P(2, 3)$。
• 思维提升与易错警示：
  在图形计算器上，若两直线斜率极其接近（例如 $m_1 = 1.001, m_2 = 1.000$），在局部视野中可能误判为“平行无解”。代数判定斜率是严谨前提，图象观察提供直观验证。