因为等式的变形并不永远是充要条件。你在变形的某一步推导实际上个不可逆的推导，前一步是后一步的充分非必要条件。
我一直觉得解方程的增根这一块是讲解充分条件和必要条件的很好的素材，可以让学生体会到这些条件并不是一些抽象的莫名其妙的逻辑上的废话，而是真的会在推导的过程中自然出现的现象。也可以让学生理解到 逻辑 和 计算 之间的联系，你做计算的时候其实时时刻刻都在做逻辑推导，只是你不自知而已，而且你默认计算的每一步都是等价推导，你以为所有的计算过程都是可逆的。
这是一个从 https://www.zhihu.com/question/587429313/answer/2922142292 下的原始话题分离的讨论话题