The first row of squares for general k

Share this page

The first row of squares for general k

Let k be a positive integer. Look at the first row of larger squares in the complement of the blue grid you get from colouring squares corresponding to multiples of k blue. First, we are going to prove that the numbers within the nth larger square from the left add to (2n1)Tk12, where Tk1 is the (k1)st triangular number. Let's call the square in question S. First note that the numbers within the top row of S are 1+k(n1),2+k(n1),3+k(n1),...,((k1)+k(n1)). Adding those up we get the sum Missing \left or extra \right which we can rearrange to give [1+2+...+(k1)]+[(k1)k(n1)]. As we mentioned in the main article, there's a formula for the sum of the first k1 integers: 1+2+...+(k1)=(k1)k2. Substituting this into the left part of expression (1) gives Missing \begin{equation} or extra \end{equation} Now the (k1)st triangular number is equal to the sum of the first k1 integers, so it's also equal to the right hand side of equation (2). This means that expression (3) is equal to (2n1)Tk1. Now notice that the numbers in the second row of S are 2 times the numbers in the first row, so their sum is equal to 2(2n1)Tk1. The numbers in the second row of S are 3 times the numbers in the first row, so their sum is equal to 3(2n1)Tk1. We can continue in this vein until we come to the sum of the last row of S, which is equal to (k1)(2n1)Tk1. Adding up the sums of all the rows in S therefore gives (2n1)Tk1+2(2n1)Tk1+...+(k1)(2n1)Tk1. Factoring out the (2n1)Tk1 transforms this sum to (2n1)Tk1(1+2+3+...+(k1)). Now the second bracket here is equal to Tk1, the (k1)st triangular number. Therefore our sum (5) is equal to (2n1)Tk12, as we claimed.

Return to the main article