分式约分后为什么还排除x=2？把候选值放回原式

约分保留的是受限范围内的等值

OpenStax分式方程章节要求先识别分母为零的值，并在原方程检查候选解。本文的具体数字与题目为编辑设计，参考其原则，不复制教材例题，也不声称学习效果测试。

(x²−4)/(x−2)在x=2时是0/0，没有定义。对于其他x，可将分子因式分解为(x−2)(x+2)，约去非零因式，得到x+2。限制是这一步成立的前提，不是运算完成后可删除的备注。

可以把原式想成比x+2少了一个允许输入。两者在x≠2处取值一致，并不说明它们作为函数拥有完全相同的定义域。单纯画一条直线而没标出空点，也可能掩盖这个差别。

题一：右侧为4，为什么无解？

原题是(x²−4)/(x−2)=4。写出x≠2，约分后得x+2=4，得到候选x=2。它不在允许范围，因此必须排除。原题没有其他候选，解集为空。

回原式时，分子为2²−4=0，分母为2−2=0，不能得到等于4的合法值。错误的验算是只把2放入x+2=4：它验证的是放宽了定义域的方程。

题二：右侧为5，怎么证明3可以留下？

只改右侧：先保留x≠2，然后x+2=5得到x=3。原式代入为(9−4)/(3−2)=5/1=5，分母非零，左右相等，所以解集为{3}。

这一题说明检查定义域并不意味着“分式方程都无解”。目标是排除不合法输入，而不是凭出现过分母就怀疑所有结果。

自己做两个变式，再看完整答案

先遮住答案，做A：(x²−9)/(x−3)=6；B：(x²−9)/(x−3)=7。每题都写限制、候选和原式回代，不只报一个数字。

A先写x≠3，因式分解后得x+3=6，候选3被排除，故无解。B同样要求x≠3，得x+3=7、候选4；原式为(16−9)/(4−3)=7，故解集{4}。

进一步解释恒等式(x²−4)/(x−2)=x+2：在允许范围它始终成立，所以解是所有x≠2的实数，不是“只要约分就全体实数”，也不是没有候选就无解。这与上面需要筛选单个候选的任务不同。

把错题记录写成检查动作

一个有用的记录是：“约分前先圈分母的零点；约分后沿用限制；最后回原式。”不要只写“粗心”或“以后记得验算”，因为这两句没有指明下一次该检查什么。

若题目还涉及平方或开根，可结合根式方程增根核对；遇到负数乘除影响不等号方向，再看不等式边界与变号。这些是不同运算的合法性问题，不用同一个口诀代替理由。