Inverse Operations: Subtraction & Division

1. Redefining Subtraction and Division

Our journey into the axiomatic structure of algebra reveals a more elegant and streamlined system than you might have imagined. The operations of subtraction and division are not fundamental axioms themselves. Instead, they are defined using the concepts of additive and multiplicative inverses.

The following reading provides the formal definitions.

As the reading states, the definitions are:

• Subtraction: The expression $a-b$ is defined as shorthand for $a+(-b)$, which is the sum of $a$ and the additive inverse of $b$.
• Division: The expression $a÷b$ (or $\frac{a}{b}$) is defined as shorthand for $a\cdot \frac{1}{b}$, which is the product of $a$ and the multiplicative inverse (or reciprocal) of $b$. This definition requires that $b\ne 0$.

This is a powerful simplification! It means any rule or property related to subtraction or division can be derived by treating them as addition or multiplication problems involving inverses.

The image below summarizes the key properties of real numbers that make this possible. Focus on the "Invertible" row, which shows the existence of the additive inverse ($-x$) and the multiplicative inverse ($x^{-1}$ or $\frac{1}{x}$), the cornerstones of today's lesson.

Interestingly, this means subtraction and division are conceptually parallel. Subtraction "undoes" addition by adding the opposite, and division "undoes" multiplication by multiplying by the reciprocal.

The following reading makes this parallel explicit.

2. Justifying the "Invert and Multiply" Rule

You have likely been taught the rule for dividing fractions: "invert and multiply." Now, with our formal definition of division, we can prove why this rule is not just a trick, but a logical consequence of the axioms.

The statement $\frac{a}{b}÷\frac{c}{d}$ is, by our definition, equivalent to $\frac{a}{b}\cdot \left(\text{the multiplicative inverse of }\frac{c}{d}\right)$. The rule works because the multiplicative inverse of $\frac{c}{d}$ is $\frac{d}{c}$.

But how do we prove this rigorously? One elegant method is to write the division as a complex fraction and then use a clever trick: multiply by 1. Since multiplying by 1 (the multiplicative identity) doesn't change the value of an expression, we can multiply our complex fraction by a carefully chosen fraction that is equal to 1.

The following video provides a clear, step-by-step algebraic proof. This is a perfect example of the kind of fundamental reasoning you are looking to master.

This proof is beautiful because it relies on only a few fundamental ideas:

1. Division can be written as a fraction.
2. Multiplying by 1 does not change an expression's value.
3. A number multiplied by its multiplicative inverse (reciprocal) is 1.

3. The Logical Impossibility of Division by Zero

Now we can address a famous prohibition in mathematics: you cannot divide by zero. Why not? Is it just a rule someone made up? No—it's a logical necessity. Our definition of division as "multiplying by the inverse" holds the key.

Dividing by zero would mean multiplying by the multiplicative inverse of zero. However, the Multiplicative Inverse Axiom explicitly states that every non-zero number has a multiplicative inverse. It leaves zero out.

The crucial question is why the axiom must exclude zero. What would happen if we tried to define a multiplicative inverse for zero? Let's call it $0^{-1}$. If it existed, it would have to satisfy the property $0\cdot 0^{-1}=1$.

The following video demonstrates that allowing this leads to a catastrophic breakdown of logic.

The proof is a classic reductio ad absurdum (proof by contradiction):

1. Assume the opposite of what you want to prove: Assume zero does have a multiplicative inverse, $0^{-1}$, such that $0\cdot 0^{-1}=1$.
2. Use this assumption along with the other established axioms to derive consequences.
3. Show that these consequences lead to a logical contradiction (e.g., $1=0$).
4. Conclude that the original assumption must be false.

Because allowing zero to have a multiplicative inverse would force our entire axiomatic system into contradiction, we must forbid it. And since division by a number is defined as multiplication by its inverse, division by zero is therefore undefined.

Summary and Next Steps

Today, you have deepened your understanding of the fundamental structure of algebra. We have shown that the familiar operations of subtraction and division are not axioms themselves but are convenient shorthands built upon the concepts of inverse elements.

• Key Takeaways:
  • Subtraction is not a fundamental operation; it is defined as adding the additive inverse: $a-b\equiv a+(-b)$.
  • Division is not a fundamental operation; it is defined as multiplying by the multiplicative inverse: $a÷b\equiv a\cdot (1/b)$.
  • The "invert and multiply" rule for dividing fractions is a logical consequence of the definition of division and properties of multiplicative inverses.
  • Division by zero is undefined because zero does not have a multiplicative inverse. Allowing it to have one would introduce a logical contradiction ($1=0$) that would collapse the entire system of axioms.

In our next lesson, we will address another conventional but crucial part of mathematics: the order of operations (PEMDAS/BODMAS). Now that we have established the axiomatic basis for our operations, we need a clear and unambiguous set of rules for evaluating expressions that contain several of them at once.