加法逆元

每個數都有一個能把它徹底抵消的搭檔。向前走 8 步，再向後走 8 步，你就恰好回到了出發點。那個往回走的數——使總和歸零的那個數——就是加法逆元，也叫相反數。

正式地說，數 a 的加法逆元是 −a，因為 a + (−a) = 0。零是加法的單位元，它是自己的逆元，因為 0 + 0 = 0。要找一個數的相反數，只需把它的符號翻轉：5 的相反數是 −5，而 −7 的相反數是 7（負負得正）。

在數軸上，一個數與它的加法逆元分居 0 的兩側，到 0 的距離相等，所以它們有相同的絕對值。正因為每個數都存在加法逆元，減法才得以成立：減去一個數，等同於加上它的相反數，即 x − a = x + (−a)。