yeah. You can construct a more consistent version… but sooner of later (and in most cases soner) it winds up with a completely illogical result which goes nowhere.
That’s a good point, but in that case you’re breaking the “rule” that any nonzero number, divided by itself, yields 1.
That is, in algebraic terms, every nonzero number should have a multiplicative inverse.
So if ab = ac
then a[sup]–1[/sup]ab = a[sup]–1[/sup]ac
and so b = c.
In this case, a = –1, b = –1, and c = 1.
Alright, but then the real absurdity becomes that division doesn’t cancel out multiplication (e.g., one wants a * b / b = a, and thus 1 * b / b = 1, and thus b / b = 1, in contradiction to (-1)/(-1) = 1). (I must be very slow in making these posts, because I see now that Thudlow Boink has made the same point)
Regardless, the reduction proof is just a vaguer, more roundabout way of illustrating what’s given more constructively, I feel, by the approach of ultrafilter et al: -1 * -1 = (0 - 1) * -1 = (0 * -1) - (1 * -1) = 0 - (-1) = 1. As far as “algebraic” approaches go, I prefer this more constructive demonstration; it seems to illustrate more where things “come from”, without requiring any starting assumption “Well, -1 * -1 is either 1 or -1”.
Er, “reductio”, not “reduction”
Sure, I know that and you know that, but if you have someone who doesn’t believe a negative multiplied by a negative makes a positive, I’m not sure who you can convince them that -1 divided by -1 is positive one. Even if they think they know the rule a number divided by itself equals 1, the whole -1/-1 would probably be as non-intuitive as -1 * -1 = +1. In other words, I don’t think the explanation will go far to clarify the situation.
To such a person, the reductio argument won’t do much good either, since it makes similar use of division cancelling out multiplication. I think you’d have to either demonstrate A) here, if we want division to cancel out multiplication, it has to go like this (and then they’re no longer a problematic case), B) forget the reductio, just demonstrate a pattern (e.g., the pattern m * (n - 1) = m * n - m) and suggest extending the pattern, or C) you’d use the explanation based on 180 degree turns.
the mind metaphorically conceptualizes numbers based upon our bodily experiences.
Math is a metaphor for creation.
Therefore, what bodily experience is a negative number times a negative number?
The left side of the math represents a prior experience of a collection of objects. The operator (multiplication) tells us that we are behaving to add a series of collections. The right side of the math tells us to execute this behavior X number of times.
The left side, as a negative number, is the experience of debt. Adding a collection of debts multiple times gives you a larger collection of debt. Debt requires you to understand the concept of possession and therefore, the lack of possession.
The right side, as a negative number, adds a series of collections opposite of the identity of the left side.
Therefore, a debt of a collection of objects (a negative number) times -the opposite of- adding a series of collections of this debt equals, or -creates-, what would be a positive collection.
This is like thinking, “each month I owe 5 dollars, I paid this debt for 12 months, what money is created if I traveled backwards in time collecting 5 dollars each month?”
Wouldn’t multiplying a “hole in the ground” by negative one not only refill the original hole, but additionally result in a new pile of dirt where the hole used to be, and equal to it in volume?
I think a better analogy is to accept as given that scalar numbers have signs denoting directionality on the line of real numbers. The number itself is only an absolute value of distance while the sign tells us the direction. If we pick an ordinary positive integer, say 9, then it’s easy to think of it as nine units of positive magnitude. Multiplying by -1 inverts that and gives us nine units of negative magnitude. For me at least, the rules of how positive and negative numbers interact make a lot more sense when I start with my simple example.
Simple. Something that’s not not, is.
But zombies do exist!
Depends on if the hole was already there to start with or if its digging was a “pending instruction”. That is, were we adding (-1 x -1) to a flat ground (0) or an already-present hole (-1)? If the latter, then we’d just be filling in a hole, resulting in a total of 0, as Finagle said. If the former, then that hole never existed and doesn’t need to be filled in, but would result in a pile of dirt like you describe.
Glad that’s cleared. Now let’s put the zombie down.
I believe this is exactly how it was explained to me in elementary school.
Granted, if you heard the whole story of my elementary school mathematics experience, you’d shudder and run away, but I’m almost certain I remember this demonstration on the chalkboard.
I answered this question many times as a math teacher. The debt example worked ok. The hole in the ground not so much.
The one I had the best luck is this…
If the tempature has been dropping 3 degrees an hours and it is 45 degrees now…what was the tempature 5 hours ago?
I know, sounds more complicated but for some reason people seemed to ‘get it’ better.
nm
jethro bodine and his fancy 6th grade education rises again!
Another way of approaching this is from the fundamental axioms of arithmetic
ab = (2a-a)(2b-b) <arithmatic a=2a-a and b= 2b-b>
= (2a2b) + (2a)(-b)+ (-a)(2b) +(-a)(-b) <distributive rule>
= (2a * (2b+ (-b)) + (-a)(2b) +(-a)(-b) <reverse distributive rule on first 2 terms>
= (2a b) + (-a)(2b) +(-a)(-b) <arithmatic (2b + (-b))=b>
= (a(2b) ) + (-a)(2b) +(-a)(-b) <commutative rule>
= ((a+(-a))2b) +(-a)(-b) <reverse distributive rule on first 2 terms>
= (02b) +(-a)(-b) <definition of additive inverse>
= (-a)*(-b) <definition of multiplicative inverse>
so for the axioms to hold (ab ) = (-a)(-b)
Here’s what, I think, is a cleaner way to look at it from “fundamental axioms” (though what counts as “fundamental axioms” depends on what one is interested in):
[There’s this slight notational messiness of using - both to indicate subtraction (as in 5 - 7) and negation (as in -7). I will use N(X) for the negation of X instead to make clearer the idea.]
0 = A * 0 = A * (B + N(B)) = A * B + A * N(B), no matter what A and B are. Accordingly, by subtracting A * B from both sides, we have that N(A * B) = A * N(B).
Thus, negating one of the factors in a product is as good as negating the whole product. This is the key realization from which everything follows.
Doing this twice, once to each factor, we have that negating both of the factors in a product is as good as double-negating the whole product. [In symbols, N(N(A * B)) = N(A) * N(B)]
Finally, double-negation is as good as doing nothing [if N(X) is X’s additive inverse, then X is N(X)'s additive inverse]. So negating both of the factors in a product is as good as keeping the product the same.
would explaining it like this be helpful at all?
3 x 3 is 3 groups of 3 equals 9
3 x -3 is 3 groups of the opposite of 3 (which is -3) equals -9
-3 x -3 is the opposite of 3 groups of -3 equals 9
i like this one -
One could take division as basic, and explain multiplication through division.
Divide a negative number by a positive and you have a negative number; this seems intuitively reasonable. Given that we want, if a/b = c, then a * c = b, we have that multipling a negative number by a negative number gives you a positive number.
A better expanation might explain the relationship between multiplication and divison.
I assumed we start with a hole equivalent, as it were, to -9, and also that whoever dug the hole got rid of the dirt, so it doesn’t enter into the analogy. So if we merely add +9 we just get the original flat ground. But multiply by -1 and we end up with a mound of dirt equal to the original hole.
Again, we’re magically creating new dirt just as we didn’t worry about the other dirt that originally filled the hole. Come to think of it, I don’t think the hole-in-the-dirt analogy works very well when it comes to multiplication of negative numbers. For that it’s probably better just to stick with a more abstract model like a number line.