加法逆元

每个数都有一个能把它彻底抵消的搭档。向前走 8 步，再向后走 8 步，你就恰好回到了出发点。那个往回走的数——使总和归零的那个数——就是加法逆元，也叫相反数。

正式地说，数 a 的加法逆元是 −a，因为 a + (−a) = 0。零是加法的单位元，它是自己的逆元，因为 0 + 0 = 0。要找一个数的相反数，只需把它的符号翻转：5 的相反数是 −5，而 −7 的相反数是 7（负负得正）。

在数轴上，一个数与它的加法逆元分居 0 的两侧，到 0 的距离相等，所以它们有相同的绝对值。正因为每个数都存在加法逆元，减法才得以成立：减去一个数，等同于加上它的相反数，即 x − a = x + (−a)。