The next case would be using modulus 3. Since there are three possible values that we could get (namely, 0, 1 or 2), we could draw the triangle using squares of three different colors. We will do that later, but for now we are interested only in where the 0's are, so we will use only two colors, white for 0 and black for any non-zero value. Doing this the "Mod 3" Pascal's triangle looks like:
While we could continue to do this for each of the different possible moduli ( = plural of modulus), the patterns for the prime moduli are the simplest, so we will stick with them for a while. Since you have already worked out Pascal's triangle mod 5, you can do this restricted coloring to get the pattern of the 0's for it and you might want to work out the same thing mod 7 before looking at the results below.
Once you have identified a building block, you can make really large triangles without having to do a lot of calculations. Look at the building block for the mod 3 triangle. Besides the 3 small white triangles, there are 6 small black triangles in this bu ilding block. We can make a bigger mod 3 triangle by taking 6 copies of the building block triangle and arranging them so that their positions relative to one another are the same as the 6 small black triangles in the original building block (you can thin k of this as replacing each small black triangle with a copy of the building block).
Try doing this with the p=2 and p=5 building blocks. This process can b e repeated ... that is, for the p=3 case, you can take 6 copies of the large triangle that is made up of building blocks, and arrange them in the positions of the 6 small black triangles of the original building block. You can try to do this a couple of t imes with the p=2 example (the others get so large so fast that you wouldn't be able to do it more than once by hand).
Back to the beginning
You should try to do the same thing for the mod 3, mod 9 and mod 27 triangles (caution: you won't be able to draw enough of the mod 27 triangle to see its full pattern).
To see what is happening when we go from one of these triangles to the next higher power triangle, we'll look very carefully at the mod 2 and mod 4 examples. Go back and look at the mod 2 triangle. We can view it abstractly as a collection of white triang les of different sizes in a black background (remember that we are thinking of those single white squares as triangles for this example). We will number the sizes of the white triangles. The smallest triangle, of size 1, will be the single white square in the center of a building block. The next largest triangle, of size 2, is the white triangle in the center when you put three building blocks together. To describe the larger sizes we need to expand our vocabulary about building blocks. Let's say that a s ingle black square is a block of order 1. A triangle made up of three black squares is a block of order 2. A triangle made up of three blocks of order 2 is a block of order 3 (this is the building block for the mod 2 Pascal's triangle ). A triangle made up of three blocks of order 3 is a block of order 4. In general, a triangle made up of three blocks of order n is a block of order n+1. Now the white triangle of size 2 is the one in the center of a block of order 4, using our ne w language. A white triangle of size 3 will be the one in the center of a block of order 5. In general a white triangle of size k is in the center of a block of order k+2.
Now, to go from the mod 2 triangle to the mod 4 triangle, we know that we will be turning some of the white squares (squares that are inside of white triangles) into black squares, and what we need is a rule for doing this. It turns out that the rule is v ery simple, but the result looks very complicated. For each white triangle of size at least two (these are pointed down), dissect the triangle into 4 equal triangles. There will be one triangle in the middle (it will be pointed up) and the other three on its sides (all of them pointed down). The rule is that in a white triangle of size n, you replace the middle triangle of the dissection with a block of order n. To make this clear, I've only done the replacements in triangles of sizes 3, 4 and 5 in the di agram below.
Since we can't dissect a triangle of size 1, we'll have to think of it's "middle" as being the whole triangle. The rule then does not have to be changed for triangles of size 1, we just replace them by a block of order 1 (that is, we will fill in the whit e square). Here is the same diagram with all the replacements being done, giving the mod 4 triangle (think of all the colors as black).
You should try to see how you would get from the mod 4 triangle to the mod 8 triangle using these ideas, before you look at the answer. ( mod 8 triangle )
Now, let's look at the mod 3 and the mod 9 triangles to see what changes we have to make. The first thing we notice is that in the building block for the mod 3 triangle, there are 3 white triangles (the mod 2 building block had only one white triangle in it). We will still want to call these white triangles, triangles of size 1. Putting 6 of these building blocks together (in the places of the black triangles of the building block), we get the next larger size block which contains 3 white triangles of siz e 2. To keep the same relationship between block orders and triangle sizes as we had in the mod 2 example, we must remember that we will now need 6 blocks to make the next order block and if a block has order k then it contains 3 white triangles of size k -2. Here is what the block orders and triangle sizes look like.
We now need the rule for filling in the white triangles. In the mod 2 example, we dissected the white triangles into 4 triangles and filled the middle one (the one pointed up) with a block. This time, we need to dissect the white triangles into 9 triangle s and fill all the ones pointing up with blocks (there will be three of them). With this understanding, the rule stays the same, we fill a white triangle of size k with blocks of order k. This is what filling a white triangle of size 3 looks like:
To finish up, we only have to consider what to do with triangles of size 1 since they can not be divided into 9 pieces. As before, we will just fill these triangles with 3 blocks of size 1, making the triangle disappear. So, the final result looks like th is:
Starting with the mod 9 triangle, how do you think you would make the mod 27 triangle?
Can you figure out what the blocks and filling rule will be when you go from the mod 5 triangle to the mod 25 triangle?
Back to the beginning
Let's look at the simplest example, the mod 6 triangle. Since 6 = 2 x 3, if a position in the mod 6 triangle is white that means that the corresponding binomial coefficient is divisible by 6 ... so it must also be divisible by 2 and by 3. This means that the same position in the mod 2 triangle and in the mod 3 triangle must also be white. If a position in either of the "smaller" triangles is black, then that position in the mod 6 triangle must be black as well, since the binomial coefficient is either not divisible by 2 or by 3, and so, it can not be divisible by 6. This means that if we took copies of the mod 2 triangle and the mod 3 triangle and placed one on top of the other, the only white squares that appear are those where the corresponding binomial coefficient is divisible by both 2 and 3, i.e., by 6. This will give us the mod 6 triangle. To actually do this, it might be easiest to draw the triangles (using the same size squares) on two pieces of transparent film, and then slide one over the other . The result should look something like this:
For more complicated moduli, we first factor the modulus into its prime factors and group all the factors of the same prime together. For instance, 180 = 2 x 2 x 3 x 3 x 5 = 4 x 9 x 5. This is called the prime factorization of a number. Then for ea ch prime power in our expression, we take the corresponding Pascal's triangle and place them on top of one another. So, if we wanted the mod 180 triangle, we would take the mod 4 triangle, the mod 9 triangle and the mod 5 triangle and put them one on top of the other. Here is another example. To form the mod 12 triangle, we write 12 = 3 x 4, and place the mod 3 triangle on top of the mod 4 triangle. The result looks like this:
Try to construct the mod 10 triangle before looking at it.( mod 10 triangle )
Back to the beginning