Originally Posted by
Kolmagorov
Finally, a use for my graduate education! I will explain WHY it is impossible to divide by zero. We will need the concept of identities and inverses.
First, let's talk about addition. Zero is the unique number with the property that X+0=X, no matter what number X is. Because addition with zero leaves a number 'identically' the same, we call zero the additive identity.
Now, let's think about negative numbers. For any number X, -X is formally defined as the number so that when you add it to X, you get the additive identity back. That is, X + -X = 0. For that reason, we call -X the additive inverse. The additive inverse of a number is the number you need so that when you add them, you get zero.
Whenever we subtract numbers, we are really just adding the additive inverse. Subtraction is just shorthand for that. To a formalist, 3-2 is just a shortcut for 3 + (-2).
Okay, I hope that makes sense. Let's try and do the same thing with multiplication. What number can you multiply X by and get X again, no matter what X is? Clearly, 1. 1 is the multiplicative identity. You multiply by it, and you get identically what you started with.
So what should the multiplicative inverse be? It should be the number so that when you multiply by it, you get the multiplicative identity. So the multiplicative inverse of X is 1/X, because X * (1/x) = 1.
So remember how subtraction is just a shortcut for addition by the additive inverse. Well, you guessed it, division is just a shortcut notation for multiplication by the multiplicative inverse. So to a formalist, dividing by X is just a shortcut for multiplying by 1/X.
Ok, no problems yet. Now let's think about what we are REALLY doing when we divide by zero. Dividing by zero is really multiplying by the multiplicative inverse of zero. Ok, what is the multiplicative inverse of zero? What can you multiply by zero to get the multiplicative identity? What number Y exists so that 0*Y=1?
Well... there isn't one. No matter what you multiply by zero, you get zero back. It doesn't have a multiplicative inverse, and so dividing by zero is non-sensical. IT LITERALLY HAS NO MEANING.