Hit Counter

Playing with Blocks

G.R.Dixon, 11/11/06

Fig. 1 shows 52 blocks arranged in a square.

Figure 1

52 Blocks

If we remove 42 blocks, we obtain Fig. 2

Figure 2

52 42 Blocks

Fig. 3 shows Fig. 2 with 32 blocks added.

Figure 3

52 42 + 32 Blocks

Fig. 4 shows Fig. 3 with 22 blocks removed.

Figure 4

52 42 + 32 22 Blocks

Finally, Fig. 5 shows Fig. 4 with 12 blocks added.

Figure 5

52 42 + 32 22 + 12 Blocks

Counting the blocks in the horizontal and vertical rows of Fig. 5, it is clear that

5 + 4 + 3 + 2 + 1 = 52 42 + 32 22 + 12. (1)

Starting with 42 blocks, it can similarly be shown that

4 + 3 + 2 + 1 = 42 - 32 +22 - 12. (2)

In general, if N is odd then

N + (N 1) + (N 2) + + 1 = N2 (N 1)2 + 1. (3)

And if N is even then

N + (N 1) + (N 2) + + 1 = N2 (N 1)2 - 1. (4)

Note that, as N grows without bound, Fig. 5 approaches a right triangle of area N2 / 2. Whence we conclude that in the limit of arbitrarily large N,

N2 (N 1)2 + 1 = N2 / 2. (5)

Or, equivalently, in the limit,

N + (N 1) + + 1 = N2 / 2. (6)

It is readily demonstrated that, for certain integer values of N and M, with N > M, N2 - M2 produces integer squares. For example, in Fig. 2, 52 42 results in 9 = 32 blocks. More generally, certain integer values of N and a, with N > a and M = N - a, produce perfect squares for N2 (N - a)2. Other combinations of N and a do not produce such a perfect square result.

It would also seem that exponents greater than 2 cannot produce any "perfect" results at all a proposition first suggested by Fermat. For example, if M = N - a, then

N3 M3 = 3aN(N - a) - a3. (7)

According to Fermat, there are no integers a and N such that the right side of Eq. 7 has an integer cube root. Similar remarks presumably apply to higher integer exponents. In general Fermat claimed to have a simple proof that there is no integer I, such that

Nn Mn = In, n an integer >2 and N, M integers. (8)

His proof was either never written down, or if so was never found. Countless doodlers have tried since his death to figure out what he might have had in mind.