MathLabs
定理已证明

a≠0 时解唯一

命题陈述

若 a≠0a\neq0,方程 ax+b=0ax+b=0 恰有一个解,即 x=−bax=-\dfrac{b}{a}。

为什么成立?

这正是称之为“一次”方程的原因:只要 a 不为零,一个未知数就对应一个明确的答案,绝不会有两个,也绝不会无解。

证明思路

存在性。 从 ax+b=0ax+b=0 出发,两边同加 −b-b 不会破坏平衡,得到 ax=−bax=-b。因为 a≠0a\neq0,两边可以同除以 aa,平衡依旧保持,得到 x=−bax=-\dfrac{b}{a}。把它代回原方程,a(−ba)+b=−b+b=0a\left(-\dfrac{b}{a}\right)+b=-b+b=0,确实满足方程——解存在。

唯一性。 设 x1x_1、x2x_2 都是解,即 ax1+b=0ax_1+b=0 且 ax2+b=0ax_2+b=0。两式相减消去 bb,得 ax1−ax2=0a x_1 - a x_2 = 0,即 a(x1−x2)=0a(x_1-x_2)=0。由于 a≠0a\neq0,两数之积为零只能是另一个因子为零,故 x1−x2=0x_1-x_2=0,即 x1=x2x_1=x_2。因此不可能有两个不同的数同时是解:上面求出的解就是唯一的解。

用到此定理的主题

分步证明

该定理暂无分步证明。