Additive Inverses

Additive Inverses and Negation

The field axioms give every real number an additive inverse: a number that can be added to it to produce zero. Addition in the Real Numbers established basic identities for these inverses, including that the inverse of an inverse is the original number and that the inverse of a sum is the sum of the inverses. This tutorial uses those results to look more closely at what negation does, how it relates to subtraction, and how to handle a minus sign applied to a whole expression.

The symbol \(-x\) names a number. In contrast, \(x-y\) names a difference, defined by adding the additive inverse of \(y\):

This definition makes subtraction an operation built from addition and additive inverses. It also explains why a minus sign has two closely related uses: in \(-y\), it denotes the additive inverse of \(y\); in \(x-y\), it instructs us to add that inverse to \(x\). Parentheses help show exactly what is being negated. For example, \(-(a+b)\) is the additive inverse of the entire sum \(a+b\), whereas \(-a+b\) means \((-a)+b\). These expressions need not have the same value.

The uniqueness of additive inverses, established from the field axioms earlier in this course, is useful whenever we show that a particular expression has sum zero with a given number. We can then identify that expression as the number's additive inverse. The rules already proved in Addition in the Real Numbers include

We will cite these identities rather than prove them again. The middle identity says that negation can be undone by negating once more. The next theorem records a useful consequence: negation itself is a reversible function.

Negation as a Function

The codomain is \(\mathbb{R}\) because the additive inverse of a real number is real. The fact that applying \(N\) twice returns the input says that \(N\) is its own inverse function. In particular, negation is not a process that loses information.

Proof. The previously established identity \(-(-x)=x\) gives, for every \(x\in\mathbb{R}\),

Therefore \(N\circ N=\operatorname{id}_{\mathbb{R}}\). This identity also proves injectivity: if \(N(x)=N(y)\), applying \(N\) to both sides gives

so \(x=y\). To prove surjectivity, let \(y\in\mathbb{R}\). Choose \(x=-y\), which is real. Then

Thus every real number is an output of \(N\), so \(N\) is surjective as well as injective. Since \(N\circ N=\operatorname{id}_{\mathbb{R}}\), the function \(N\) is its own inverse: \(N^{-1}=N\). \(\square\)

This theorem gives a precise meaning to the idea that negation can be undone. If \(-x\) is known, applying negation again recovers \(x\). It also shows that two numbers with equal additive inverses must themselves be equal. Negation changes a value, but it does not merge distinct real numbers into the same output.

The Additive Inverse of a Difference

Subtraction can be treated using the definition \(x-y=x+(-y)\). Applying the inverse-of-a-sum identity then gives a useful formula for negating a difference. This formula is easy to misremember, so its derivation is worth following carefully: the order of the terms reverses.

Proof. By the definition of subtraction, \(x-y=x+(-y)\). Apply the previously established identity for the additive inverse of a sum, then use \(-(-y)=y\):

By commutativity of addition, \((-x)+y=y+(-x)\). By the definition of subtraction, \(y+(-x)=y-x\). Combining these equalities proves that \(-(x-y)=y-x\). \(\square\)

The order reversal is essential. Negating \(x-y\) does not give \(x+y\), nor does it give \(x-y\) again in general; it gives \(y-x\). One quick check is to add the proposed answer \(y-x\) to the original difference:

Thus \(y-x\) is indeed the unique additive inverse of \(x-y\). The check works for all real \(x\) and \(y\), including cases where either number is zero or where \(x=y\).

Signs and Parentheses in Expressions

The rules for additive inverses help simplify expressions, but they do not permit a minus sign to be moved casually. The expression \(-(x-y)\) is the inverse of an entire difference, so the difference theorem applies. In contrast, \(-x-y\) means \((-x)+(-y)\). A reliable approach is to use the definition of subtraction first, then use a previously established inverse identity.

Why the Rules Matter

Additive inverses make addition reversible: they provide the number that cancels a given summand. The translation result from Addition in the Real Numbers expresses this more broadly: adding a fixed real number defines a bijection, and adding its inverse undoes that translation. Negation is another bijection, as proved above, and it reverses the additive changes represented by differences.

A frequent error is to treat a minus sign in front of parentheses as though it affected only the first term. For example, \(-(x-y)\) means the inverse of the entire expression \(x-y\), and the correct result is \(y-x\). It is not \(-x-y\). The latter is the inverse of \(x+y\), as follows from the inverse-of-a-sum identity. Checking by addition is a dependable way to catch the mistake: a proposed additive inverse must sum with the original expression to zero.

Another useful discipline is to keep subtraction in its defined form while simplifying. Replacing \(x-y\) by \(x+(-y)\) makes the role of each inverse explicit. It prevents confusion between the operation of subtracting \(y\) and the number \(-y\) itself. Once the expression is written with addition and additive inverses, associativity, commutativity, and the established inverse identities justify each rearrangement.