## Introduction

There are times when you need to change ideas and think about something else. In these situations, I like to find a little puzzle, so I can get my mind busy and hopefully solve it. It doesn’t have to be something very difficult. It is often an high school / undergraduate math exercise, a tricky brain teaser, or a problem involving the use of clever algorithms.

Today’s puzzle comes from the last MathsJam Shout, July 2015 edition, gracefully stated by the peeps from Guildford, UK.

The statement is as follow: A simple statement opening on an interesting question. This is the usual type of puzzles that you can encounter during a MathsJam evening.

In the rest of the post, I would like to present you a way to attack this puzzle, and to show that even though an event like MathsJam might sound scary (why would people meet and do math, are they insane?), it’s actually a good opportunity to use different skills.

The problem requires basic math knowledge, combinatorics, intuition, and optional programming skills in order to experimentally verify the solution. It is also a good opportunity to use the power of Wolfram Alpha to simplify formulas and make some calculations faster.

## Walktrough

### Strategy

For the last puzzle, we first found a solution manually, and then worked out a computer program to find the answer faster.

This time, we will find the correct answer manually (with maths, pen and paper), and use a program to experimentally verify the results. We will solve the general case for a $$n*m$$ board.

This puzzle involves counting the number of possible squares that can be formed when putting four random pawns on a $$n*m$$ board. Knowing that value, it is possible to calculate the probability of forming square:

$p_{square} = \frac{\text{number of ways to form a square in a n*m board}}{\text{number of ways to put 4 pawns on a n*m board}}$

The denominator corresponds to the number of ways to choose four pawns on a chess $$n*m$$ chessboard: $$\binom{n*m}{4}$$.

The nominator is the value we are looking for. Let’s call it S.

The probability becomes:

$p_{square} = \frac{S}{\binom{n*m}{4}}$

### Counting the squares

The following approach will follow more an intuitive way than a rigorous proof. The idea is to see what is happening and to establish a formula based on observations.

Let’s take an example. We start with a square located in the top-left corner of the chessboard, with a “side” equal to 5 for example. 5 represents in that case the number of tiles, but and not the actual length (the length is not important).

For each position of the square, we move the four vertexes of the square by one unit on each edge. We can do that only 4 times since it is a square of side 5. The 5th configuration is the same as the starting one. Each rotation generate a new square, tilted, which has a different side (but it doesn’t matter).

The next iteration is to move one step to the right, and repeat. At the end of a row, move one step down and repeat. Stop after reaching the end of the chessboard.

All of these translations and rotations generate all the squares based on an original square of side 5. But there are many other squares of different side length. The smallest original square has a side of 2 and the largest 8. To count all the squares, the steps above must be repeated for a side length going from 2 to 8. By using $$n$$ for the width and $$m$$ for the height, and $$i$$ for the length of the side, we can rewrite it for the general case with one formula:

$S = \sum_{i=2}^{min(n,m)} (n-i+1)(m-i+1)(i-1)$

The sum goes for $$i$$ from $$2$$ (not smaller otherwise we can’t define a square), up to $$min(n,m)$$. If $$n > m$$ for example, the square of side $$n$$ will be too big for the board, so the maximum size has to be the minimum of $$n$$ and $$m$$.

With the help of Wolfram Alpha, we can simplify the formula for both cases:

For min(n, m) = n:

$S = \frac{1}{12}n(n^2-1)(2m - n)$

For min(n, m) = m:

$S = -\frac{1}{12}m(m^2-1)(m-2n)$

Putting it all together for $$n = m$$ for the case of the chessboard:

$p_{square} = \frac{\frac{1}{12}n^2(n^2-1)}{\binom{n^2}{4}} = \frac{2}{(n^2-3)(n^2-2)}$

Applying for n = 8:

$p_{square} = \frac{2}{(8^2-3)(8^2-2)} = \frac{1}{1891} \approx{0.0005288} \approx{0.053}\%$

### Verifying with a program

Now that we have a formula valid for the general case, it would be interesting to experimentally verify its validity with a program.

1. Define the parameters n and m (8 and 8 for example)
2. Put 4 pawns randomly on the board. The 4 pawns have to be placed at different positions.
3. Determine whether the pawns form a square or not. If yes, count that round as successful.
4. Repeat from step 2, a lot of times.
5. The probability is obtained by dividing the number of successful attempts (forming a square) by the number of total iterations.

This scenario can be easily implemented in Python.

Which outputs:

The value is pretty close to the calculated one. Of course it is not exactly equal, and running the program again would output a different value. But it is approximately equal, and it is a good way to verify that the order of magnitude is correct.

## Conclusion

Once again, nice puzzle, without having to be too complicated. Even though in the beginning I had no idea what probability to expect for a 8x8 chess board, I have to admit I am a bit surprised by how low the value is.

The formula says that the chances become smaller and smaller as $$n$$ and $$m$$ get bigger. This could be visualized by plotting a 3D representation of the formula and looking at the shape generated.

Still, it is once again enjoyable to mix both pure math and computer science for fun.

Some might say these kind of puzzles are completely useless. Yet I found them of interest.

Ask someone: “What do you think is the chance of forming a square by placing four pawns randomly on a chess board?”. It could be amusing to see if the predictions are close the real number or not.