同解方程

两个方程同解，就像通往同一座城镇的两条路：看起来可能不同，但终点完全一样。对方程来说，这个共同的终点就是它们的解集。

同解方程拥有完全相同的解——凡是满足其中一个的取值都满足另一个，不多也不少。所以 x + 2 = 5 与 x = 3 是同解的：两者都只被 3 满足。

解方程就是从一个方程一步步走到更简单的同解方程，反复进行，直到变量独立出来。合法的变形——两边加上同一个量，或两边乘以一个非零的数——恰恰是保持同解性的那些操作。乘以零是禁止的，因为它会凭空制造出假解。