Subtraction on Numbers is Not Associative

From ProofWiki
Jump to navigation Jump to search

Theorem

The operation of subtraction on the numbers is not associative.

That is, in general:

$a - \paren {b - c} \ne \paren {a - b} - c$


Proof

By definition of subtraction:

\(\ds a - \paren {b - c}\) \(=\) \(\ds a + \paren {-\paren {b + \paren {-c} } }\)
\(\ds \) \(=\) \(\ds a + \paren {-b} + c\)


\(\ds \paren {a - b} - c\) \(=\) \(\ds \paren {a + \paren {-b} } + \paren {-c}\)
\(\ds \) \(=\) \(\ds a + \paren {-b} + \paren {-c}\)

So we see that:

$a - \paren {b - c} = \paren {a - b} - c \iff c = 0$

and so in general:

$a - \paren {b - c} \ne \paren {a - b} - c$

$\blacksquare$


Sources