为何将$a$作为$(a-b)/(b-a)=c$的主元会产生悖论？

咱们来拆解这个推导里的问题，我之前尝试把 $a$ 作为方程 $\frac{a-b}{b-a}=c$ 的主元推导，步骤如下：

• 第一步：两边同乘 $b-a$，得到 a - b = cb - ca
• 第二步：移项整理，将含 $a$ 的项移到左边，含 $b$ 的项移到右边，得到 a + ca = b + cb
• 第三步：对两边因式分解，提取公因式后得到 a(c + 1) = b(c + 1)
• 第四步：两边除以 $c + 1$，最终得出 a = b

但把 $a = b$ 代回原方程时，就会得到 $\frac{a-a}{a-a}=c$，也就是 $\frac{0}{0}=c$——这显然是矛盾的，问题的核心就出在推导的第一步操作上。

关键逻辑漏洞 #

原方程 $\frac{a-b}{b-a}=c$ 存在一个隐藏的前提条件：分母 $b - a$ 不能为0，也就是 $a \neq b$。但在第一步两边同乘 $b - a$ 时，我们默认了这个乘数不为0，可后续推导却得出了 $a = b$，这就意味着我们实际上是给等式两边乘了0——而数学中，给等式两边同乘0是不被允许的，因为这会让原本不等价的式子变成“伪等价”，直接破坏了推导的严谨性。

其实换个角度先化简原方程就能看明白：$\frac{a-b}{b-a} = \frac{-(b-a)}{b-a} = -1$（前提是 $b \neq a$），所以原方程本质上等价于 $c = -1$，同时 $a \neq b$。这时候根本没法把 $a$ 作为主元求解，因为只要 $a$ 不等于 $b$，$c$ 就固定为-1，$a$ 可以是任何不等于 $b$ 的数值。

内容的提问来源于stack exchange，提问作者Thomas Holloway