In Problem 2, we asked:
How many squares (of any size) are there in an 8 by 8 chessboard? What about an 8000 by 8000 chessboard?
Unfortunately this problem has not been formulated correctly. Oh well. If you try to solve it as stated, the answer is obvious: uncountable infinity, even for a 1 by 1 board. Clearly what should have been said is that we are looking for square shapes that cover completely the little black and white squares of the chess board. In other words, if you place the board on Cartesian coordinates in such a way that if the left bottom corner coincides with the origin of your coordinates and space is scaled so that the vertices of the little squares of the board fall on points with integer coordinates, the question is how many squares of integer side length there are with vertices having integer coordinates and with sides parallel to the axes.
Quite a mouthful all that.
Once we know what it is we are looking for, let us see. If the board is a 1 by 1 one, there is only one square, of side 1. If the board is , there are 5 squares, one of side 2 and 4 of side 1. So the MSfMC is 3, where I have just invented the concept of “minimal size for maximal complexity”. In a board there clearly are 9 squares of side length 1 and 1 square of side length 3. But how many are there of side length 2? To get such a square, you need to count 2 on the x-axis, starting either from 0 or from 1: so there are two ways to lay the projection of your intended square onto the x-axis. Similarly, there are 2 ways to project an square onto the y-axis. Hence there are 4 squares: their left lower vertices are at , , and . So all together there are squares. But this argument works for chess boards of any size and squares of any size. For example, think about projecting a square contained in an board onto the x-axis. It can fall on one of the intervals , , . So there are 9 such squares, . Continuing this train of thought, we see that in an board there are
squares. Once the idea is clear, it is easy to prove that an board contains squares. So if you want to work out the answer for , you should either prove (by induction) that
and then plug in , or let MAPLE do the work for you:
Note that the problem can be easily made harder (!): How many squares are there in an board having vertices at points with integer coordinates and having integer length side (i.e. removing the conditions that the little squares are to be covered completely and that the sides have to be parallel to the axes)? For an board one can count all such squares, but for an one the problem looks challenging to say the least.