How do we know that 3×4 = 4×3 ?

Why even ask a question like that?  Everyone knows that 3\times4=4\times3, just like everyone knows that 3+4=4+3.  Mathematicians would say that multiplication or addition of two numbers is commutative, meaning that you get the same answer regardless of the order in which you do the multiplication or addition.  But what does that really mean?  When we say 3\times4, we literally mean “3, 4 times,” or 4 sets of 3 objects each, or 3+3+3+3 objects.  Likewise, when we say 4\times3, we mean “4, 3 times,” or 3 sets of 4 objects each, or 4+4+4 objects.  Most people would think it’s obvious that 3\times4=4\times3, but it’s equivalent to saying that 3+3+3+3=4+4+4, which seems quite a bit less obvious.  So how do we know it?  Is the fact that multiplication is commutative just something we assume about numbers, or is there a way to prove it?

A Simpler Look at Numbers

Pretend for a minute that you live in a society that doesn’t have symbols dedicated to numbers.  If you needed to do some figuring, you might use dots or marks to indicate units.  So the number 3 would look like:

    \[ \bullet\bullet\bullet \]

And the formula 3+4 would look like:

    \[ \bullet\bullet\bullet~+~\bullet\bullet\bullet\bullet \]

From this vantage point, the commutative property of addition seems almost trivial:  3+4=4+3 becomes:

    \[ \bullet\bullet\bullet~+~\bullet\bullet\bullet\bullet~=~\bullet\bullet\bullet\bullet~+~\bullet\bullet\bullet \]

It’s immediately obvious why this would be the case.  If the dots were rocks, you could take the group of four rocks and place it either in front of or behind the group of three rocks to give the same number of rocks.  It makes no difference where the rocks are in relation to each other.  Likewise, it makes no difference whether the 3 or the 4 comes first in the sum 3+4.  You’re gonna get seven no matter what.

But now let’s go back to the original problem concerning the commutative property of multiplication.  If we remember from before, we had 3+3+3+3=4+4+4.  In our new number system, that’s:

    \[ \bullet\bullet\bullet~+~\bullet\bullet\bullet~+~\bullet\bullet\bullet~+~\bullet\bullet\bullet~=~\bullet\bullet\bullet\bullet~+~\bullet\bullet\bullet\bullet~+~\bullet\bullet\bullet\bullet \]

We can write this much more suggestively:


Written this way, it’s a lot easier to see how 3\times4=4\times3 could be true.  It’s clear that 3\times4 makes a rectangle 3 dots wide and 4 dots high, while 4\times3 is simply the same rectangle rotated by 90 degrees:

It’s also pretty clear that no matter what numbers a and b you choose, you can always construct an a\times b rectangle that can be rotated by 90 degrees to give you b\times a.  In fact, you can use this type of visualization technique to come up with all sorts of other mathematical insights.  I’ll mention two briefly.

Extending the Visual Method

Let’s tackle an easy one first:  the distributive property.  For those of you who don’t remember the lingo, the distributive property refers to the equality:

    \[ (a+b)\times c=a\times c+b\times c \]

The easiest way to visualize this is to use concrete numbers, so let’s let a=3, b=2, and c=4.  This will give us (3+2)\times4=3\times4+2\times4  I’m using small numbers to make it less tedious for me to draw dots, but feel free to draw as many dots as you like to prove these ideas to yourself.  So let’s get to drawing.  (3+2)\times4 is going to be equivalent to 5\times4:

    \begin{align*} &~\bullet\bullet\bullet\bullet\bullet~\\ &~\bullet\bullet\bullet\bullet\bullet~\\ &~\bullet\bullet\bullet\bullet\bullet~\\ &~\bullet\bullet\bullet\bullet\bullet~\\ \end{align*}

Similarly, the right side, 3\times4+2\times4, will look like this:

    \begin{align*} &\bullet\bullet\bullet~&~\bullet\bullet\\ &\bullet\bullet\bullet~&~\bullet\bullet\\ &\bullet\bullet\bullet~&~\bullet\bullet\\ &\bullet\bullet\bullet~&~\bullet\bullet\\ \end{align*}

It’s pretty obvious here that all we’ve done is divide the big 5\times4 rectangle representing the left side into two smaller 3\times4 and 2\times4 rectangles representing the right side:

    \begin{align*} &~(3+2)\times4~&~=~&~3\times4~&~+~&~2\times4~\\ &~\bullet\bullet\bullet+\bullet\bullet~&~&~\bullet\bullet\bullet~&~&~\bullet\bullet~\\ &~\bullet\bullet\bullet+\bullet\bullet~&~=~&~\bullet\bullet\bullet~&~+~&~\bullet\bullet~\\ &~\bullet\bullet\bullet+\bullet\bullet~&~&~\bullet\bullet\bullet~&~&~\bullet\bullet~\\ &~\bullet\bullet\bullet+\bullet\bullet~&~&~\bullet\bullet\bullet~&~&~\bullet\bullet~\\ \end{align*}

Okay, so that one was really easy.  But I promise, we can use these stupid dots to prove something more interesting.  Here’s another example.

Arithmetic meets Geometry

It should be abundantly clear using this method why, for example, 4\times4 is called 4 “squared:”

    \[ \begin{matrix} \bullet&\bullet&\bullet&\bullet\\ \bullet&\bullet&\bullet&\bullet\\ \bullet&\bullet&\bullet&\bullet\\ \bullet&\bullet&\bullet&\bullet \end{matrix} \]

But there are other shapes you can make.  For instance, if you take 1+2+3=6, you can make the following shape:

    \[ \begin{matrix} \bullet&~&~\\ \bullet&\bullet&~\\ \bullet&\bullet&\bullet \end{matrix} \]

This is why 6 is known as a triangular number.  In fact, any number that’s the result of a sum like 1+2+3+4+\dots is a triangular number.  The first triangular number is 1, or T_1 = 1, the second is T_2=3=1+2, the third is T_3=6=1+2+3, and so on.  Now look what happens when we cut a square number like 4\times4 along a diagonal:

We see that 4^2 is just equal to the sum of two triangular numbers: T_4=10 and T_3=6.  In fact, if we concentrate (or maybe pull out a pen and paper), we can see that a square number will always equal two triangular numbers in this fashion, giving us a general formula connecting square numbers and triangular numbers:

    \[ n^2=T_n + T_{n-1} \]

a result that’s a little more interesting than the commutative and distributive properties.  There are actually plenty of other formulas like this one that you can derive by using these dumb little dots.  You can start looking at polygons with more sides:  they give you pentagonal numbers, hexagonal numbers, and so forth.  You can even generalize to higher dimensions.  Cubic numbers like 2^3=2\times2\times2=8 might already be familiar:

but what about pyramidal numbers or numbers that group together to make a dodecahedron?  I can tell you right now from the picture above, it looks like you could probably cut up a cubic number into pyramidal numbers, the same way we cut up a square number into triangular numbers earlier.  Who knows what other crazy insights we could come up with?  And all because we asked the question, “How do we know that 3\times4=4\times3?”

Leave a Reply

Your email address will not be published. Required fields are marked *