In my last post, I claimed that whenever and are relatively prime. (Recall that counts how many numbers from to share no factors in common with .)

Let’s get some intuition for this by looking at some Chinese remainder theorem grids and highlighting the numbers which are relatively prime to . So, for example, the first grid below is ; I’ve filled it in with consecutive numbers from to along the diagonal, and highlighted all the numbers that share no common factors with . (I’ve also labelled the rows and columns with smaller numbers counting from .) Below that I’ve also chosen to show similar , , and grids.

And here’s a slightly bigger example ():

There are some striking patterns here. The placement of the highlighted cells is clearly not random: they are precisely confined to certain rows and columns. (Incidentally, this is exactly what I was trying to show in my last post without words, though I think the colors may have been somewhat distracting.) Which rows and columns are they? Let’s have a look. Below I’ve drawn the grid again, this time highlighting the rows and columns where cells relatively prime to occur:

Notice that the highlighted rows (1, 3, 5, 7) are exactly the numbers relatively prime to 8, and the highlighted columns (1, 2, 4, 5, 7, 8) are the ones relatively prime to 9. The number of dark blue intersection points is just the number of highlighted rows times the number of highlighted columns: there are four highlighted rows and six highlighted columns, making a total of 24 dark blue squares. That is, .

You can check that this is true for the other examples I showed above as well. So can we turn this into a conjecture? Remember that when we label an grid with consecutive numbers along the diagonal, the number ends up at the grid coordinates (see this post). We’re guessing that cells containing numbers relatively prime to end up precisely where the row number is relatively prime to and the column number is relatively prime to , so we can translate this into the more formal statement

**is relatively prime to**

*if and only if*is relatively prime to and is relatively prime toWe’ll prove this next time!