定理已证明
a≠0 时解唯一
命题陈述
若 a=0,方程 ax+b=0 恰有一个解,即 x=−ab。
为什么成立?
这正是称之为“一次”方程的原因:只要 a 不为零,一个未知数就对应一个明确的答案,绝不会有两个,也绝不会无解。
证明思路
存在性。 从 ax+b=0 出发,两边同加 −b 不会破坏平衡,得到 ax=−b。因为 a=0,两边可以同除以 a,平衡依旧保持,得到 x=−ab。把它代回原方程,a(−ab)+b=−b+b=0,确实满足方程——解存在。
唯一性。 设 x1、x2 都是解,即 ax1+b=0 且 ax2+b=0。两式相减消去 b,得 ax1−ax2=0,即 a(x1−x2)=0。由于 a=0,两数之积为零只能是另一个因子为零,故 x1−x2=0,即 x1=x2。因此不可能有两个不同的数同时是解:上面求出的解就是唯一的解。