There are different possible answers to this question, depending on the standard of proof one needs and the background knowledge one brings to the question.

**Mathematical consistency and patterns**

Try solving each of these problems, paying attention to the previous set of problems as you do so. Look for patterns to make solving the problems easier.

3 × 3 = ?

3 × 2 = ?

3 × 1 = ?

3 × 0 = ?

3 × -1 = ?

3 × -2 = ?

3 × -3 = ?

2 × -3 = ?

1 × -3 = ?

0 × -3 = ?

-1 × -3 = ?

-2 × -3 = ?

-3 × -3 = ?

The answers to these problems are below but I really do recommend taking the time to solve the problems above on your own first, so you get the sense of how students might think through this set of problems.

3 × 3 = 9

3 × 2 = 6

3 × 1 = 3

3 × 0 = 0

At this stage, many people will notice the answers are 3 smaller each time and the number being multiplied by 3 is one smaller each time, so they continue that pattern to answer the following questions.

3 × -1 = -3

3 × -2 = -6

3 × -3 = -9

Now, we decrease the first number in the pattern by 3 and one has to make some deductions about what the answer should be.

2 × -3 = -6

1 × -3 = -3

0 × -3 = 0

One might now notice that the answers are going up by 3 each time as we increase the first number, and so it is reasonable to continue this pattern.

-1 × -3 = 3

-2 × -3 = 6

-3 × -3 = 9

While to some this pattern may seem obvious, when someone is still in the middle of learning this concept, they have less cognitive capacity available to accomplish the task at hand (multiplying numbers together) and accomplish the additional task of looking for patterns in their answers, so this is where someone else prompting them to stop and look for patterns in their work so far will be very useful.

*Prerequisite knowledge*: One has to know what these symbols mean, what is meant by finding one number times another, and how negative numbers work in terms of counting down and subtraction.

**Mathematical consistency and mathematical properties**

Let’s look at a problem that we can do in more than one way, borrowed from the Khan Academy.

5 × (3 + -3) = ?

If we add the numbers inside the parenthesis first, then this is 5 times 0 which is 0, since 3 + -3 = 0.

5 × (3 + -3) = 0

But what if we distribute 5 through both terms first?

5 × 3 + 5 × -3 = ?

Since distributing the 5 across the addition does not change the value of the expression, we know this is still equal to 0.

5 × 3 + 5 × -3 = 0

But this means that 5 × 3 and 5 × -3 are opposite signs, so since 5 × 3 = 15, then 5 × -3 is -15. Let’s look at another example.

-5 × (3 + -3) = ?

We know that this is the same as -5 times 0, so this has a value of 0.

-5 × (3 + -3) = 0

Similar to before, we distribute -5 through both terms.

-5 × 3 + -5 × -3 = ?

Again, the distribution of terms does not change the value of the expression on the left-hand side of the equation, so the result is still 0.

-5 × 3 + -5 × -3 = 0

We know from before that -5 × 3 is -15 so we can substitute that value for -5 × 3 in the left-hand side of the equation.

-15 + -5 × -3 = 0

Therefore -15 and -5 × -3 are opposites since they add to 0, so -5 × -3 must be positive.

Nothing in what we did for the two examples above is specific to the value of 5 × 3, so we can repeat this argument for every other multiplication fact we want to derive, so these two ideas can be generalized.

*Prerequisite knowledge*: One has to know what these symbols mean, what is meant by finding one number times another, how the distributive property works, and how negative numbers can be defined as the opposites of positive numbers.

**Representation** **on a number line**

Imagine we represent multiplication as jumps on a number line.

For 3 × 3, we draw 3 groups of 3 moving to the right. Both the number of groups and the direction of each group are to the right.

But what about 3 × -3? Now we have 3 groups of the number still, but the number is negative.

If we find -3 × 3, the size and direction of the number we multiply are the same, but now we are finding -3 groups of that number. One way to think of this is to think of taking 3 groups of the number away. Another is to think of -3 times a number as being a reflection of 3 times the same number.

So -3 × -3 is, therefore, a reflection of 3 × -3 across the number line.

In one sense though, this visual argument is just mathematical consistency represented using a number line. If multiplication by a negative is a reflection across 0 on the number line, and we think of negative numbers as being reflections across 0 of the number line, then multiplication of a negative number times a negative number is a double-reflection.

**Context**

Karen Lew has this analogy.

*Multiplying by a negative is repeated subtraction. When we multiply a negative number times a negative number, we are getting less negative.*

This analogy between multiplication and addition and subtraction helps students nicely connect the two concepts.

Joseph Rourke shared this context.

*A gambler loses $10 per day. How much more money did they have 5 days ago? *

Here, the loss per day is one negative and going backwards in time is another.

@M_Teacher_w_T shared this analogy:

*“An enemy of my enemy is my friend.”*

This aims not at the algebraic or arithmetic properties of numbers but more at the oppositeness of negative numbers.

*Prerequisite knowledge:* All contexts that build new understanding require students to understand the pieces of the context fairly well, so it is especially important to probe how students understand an idea when it is presented contextually.

**Algebraic proof** **from first principles**

From Dr. Alex Eustis, we have this algebraic proof that a negative times a negative is a positive.

First, he states a set of axioms that apply to any ring with unity. A ring is basically a number system with two operations. Each operation is closed, which means that using these operations (such as addition and multiplication on the real numbers) leads to another number within the number system. Each operation also has an identity element or an element that does not change another element in the system when applied to it. For example, under addition, 0 is the additive identity. Under multiplication, 1 is the multiplicative identity. The full set of axioms required is below.

Axiom 1: a + b = b + a | (Additive commutivity) |

Axiom 2: (a + b) + c = a + (b + c) | (Additive associativity) |

Axiom 3: 0 + a = a | (Additive identity) |

Axiom 4: There exists −a satisfying a + (−a) = 0 | (Additive inverse) |

Axiom 5: 1 × a = a × 1 = a | (Multiplicative identity) |

Axiom 6: (a × b) × c = a × (b × c) | (Multiplicative associativity) |

Axiom 7: a × (b + c) = a × b + a × c | (Left multiplicative distribution) |

Axiom 8: (b + c) × a = b × a + c × a | (Right multiplication distribution) |

From these axioms, we can prove that a negative times a negative is a positive. I’ll reproduce Dr. Eustis’s proof below and include the reference to the axioms used. First, we prove that *a* = −(−*a*).

**Corrolary 1**

a = a + 0 | (Axiom 3 and Axiom 1) |

a = a + (−a + −(−a)) | (Axiom 4 applied to −a ) |

a = (a + (−a)) + (−(−a)) | (Axiom 2 – the associative property) |

a = 0 + (−(−a)) | (Axiom 4) |

a = −(−a) | (Axiom 3) |

So now we know that if we introduce negative numbers *a* is equal to −(−?).

**Corrolary 2**

0 = a + (−a) | (Axiom 4) |

0 = (0 + 1) × a + (−a) | (Axiom 3 and Axiom 5) |

0 = 0 × a + 1 × a + (−a) | (Axiom 8) |

0 = 0 × a + (a + (−a)) | (Axiom 5 and Axiom 2) |

0 = 0 × a + 0 | (Axiom 4) |

0 = 0 × a | (Axiom 3 and Axiom 1) |

Proving that 0 = 0 × *a* is the kind of painfully obvious idea that hardly requires proof but it establishes a relationship between multiplication and the additive identity in the real numbers, which is not yet included in the axioms above.

Next, we prove that (−1) × *a* = −*a*.

**Corrollary 3**

−a = −a + 0 × a | (Corrolary 2 and Axiom 3) |

−a = −a + (1 + (−1)) × a | (Axiom 4) |

−a = −a + 1 × a + (−1) × a | (Axiom 8) |

−a = (−a + a) + (−1) × a | (Axiom 5 and Axiom 2) |

−a = 0 + (−1) × a | (Axiom 4) |

−a = 0 + (−1) × a | (Axiom 3) |

Now, finally, we can prove that (−*a*) × (−*b*) = *ab*.

(−a) × (−b) = (a × (−1)) × (−b) | (Corrolary 3) |

(−a) × (−b) = a × ((−1) × (−b)) | (Axiom 6) |

(−a) × (−b) = a × (−(−b)) | (Corrolary 3) |

(−a) × (−b) = a × b | (Corrolary 1) |

This last “proof” though is unlikely to justify that a negative times a negative is a positive for any students though. It’s the kind of thing which is a required level of justification for a mathematician interested in rigorous proof who would likely consider the other justifications “patterning” and not sufficient.

A critical idea of proof though is that the intended audience of a proof is left convinced that an idea is true, and so I posit that the algebraic “proof” presented here is no proof at all for almost everyone.

*Prerequisite knowledge*: While I went through and added the justification for each step of the proof that was missing, I needed a fair bit of fluency with the original set of axioms. I also needed to not lose sight of the overall goal and to be able to recognize the structure of each part of the argument and match that structure to the axioms.

**A simpler algebraic proof**

This algebraic proof from Benjamin Dickman is much simpler than going back to a proof based on the axioms of arithmetic.

*a* + (−*a*) = 0*a* × *b* + (−*a*) × *b* = 0 × *b**ab* + (−*ab*) = 0

From this, we can show that *ab* and –*ab* have opposite signs and therefore that a positive times a negative is a negative. Using the fact multiplication is commutative, a negative times a positive is also negative.

Similarly, we can prove that a negative times a negative is a positive.

*a* + (−*a*) = 0*a* × (−*b*) + (−*a*) × (−*b*) = 0 × (−*b*)

−*ab* + (−*a*) × (−*b*) = 0

Since we know that −*ab* is negative, and the sum of these two terms is 0, therefore (−*a*) × (−*b*) is positive.

*Prerequisite knowledge*: The prerequisite knowledge for this proof is much less than the other one, but it does assume a fair bit of fluency with manipulation of algebraic structures.

**Conclusion:**

Given that the goal of an argument that something is true is to leave the other person convinced of the truth of the argument, whenever anyone uses any justification, representation, or proof, it behooves one to check that one’s audience is left convinced.