MathLabs
定理已证明

D=0 时:无解或无穷多解

命题陈述

若 ad−bc=0ad-bc=0,方程组 {ax+by=ecx+dy=f\begin{cases}ax+by=e\\cx+dy=f\end{cases} 永远不会恰好只有一个解:当 ed−bf≠0ed-bf\neq0 时无解,当 ed−bf=0ed-bf=0 时(只要 a,ba,b 不同时为零)有无穷多个解。

为什么成立?

D=0 意味着两条直线斜率相同:从几何上看,它们要么完全平行、永不相交(无解),要么实际上是同一条直线被画了两次(每个点都是解)——绝不会只有一个交点。

证明思路

前一个定理中的消元步骤并不需要 ad−bc≠0ad-bc\neq0:它们说明 {ax+by=ecx+dy=f\begin{cases}ax+by=e\\cx+dy=f\end{cases} 的任何解 (x,y)(x,y) 都必须满足 (ad−bc)x=ed−bf(ad-bc)x=ed-bf,与 DD 的取值无关。当 ad−bc=0ad-bc=0 时,左边 (ad−bc)x(ad-bc)x 对任意 xx 都等于 0⋅x=00\cdot x=0,于是这个必要方程退化为数值命题 0=ed−bf0=ed-bf。

**情形 ed−bf≠0ed-bf\neq0(无解)。** 此时命题 0=ed−bf0=ed-bf 简单地为假,与 xx 和 yy 无关。由于方程组的任何解都必须使这个假命题成立,所以不可能存在解。从几何上看,两个方程描述的是斜率相同(因为 D=0D=0)但截距不同的直线,即两条平行且不相交的直线。

**情形 ed−bf=0ed-bf=0(无穷多解)。** 此时必要方程是真但空洞的命题 0=00=0,消去y没有给出任何信息——对任何 xx 它都自动成立。具体来说,由于 D=ad−bc=0D=ad-bc=0 且 (a,b)≠(0,0)(a,b)\neq(0,0),存在常数 kk 使 c=kac=ka、d=kbd=kb(第二个方程的x、y系数与第一个成比例);再结合 ed−bf=0ed-bf=0 可得 f=kef=ke,于是第二个方程 cx+dy=fcx+dy=f 恰好就是第一个方程 ax+by=eax+by=e 的 kk 倍。满足第一个方程的每个点 (x,y)(x,y) 自动满足第二个方程(把第一个方程乘以 kk 即可),因此整条直线 ax+by=eax+by=e——无穷多个点——都是方程组的解。

用到此定理的主题

分步证明

该定理暂无分步证明。