Queen's Tour

Theorem
Consider a chessboard $\CC$ of size $n \times n$ such that $n > 2$.

Then there exists a queen's tour on $\CC$ of $2 n - 2$ moves.

For $n < 5$ it is necessary for the queen to move outside the boundary of the chessboard in order for this to happen.

Proof
The proof proceeds by induction.

Let us raise the following hypothesis:

For all $n \in \Z_{\ge 3}$, let $\map P n$ be the proposition:
 * A chessboard of size $n \times n$ has a queen's tour $T$ of $2 n - 2$ moves such that $T$ exits from the top right square:
 * Queens-Tour-Proof-Hypothesis.png

Basis for the Induction
$\map P 3$ is the case:
 * A chessboard of size $3 \times 3$ has a queen's tour $T$ of $4$ moves such that $T$ exits from the top right square:

This is demonstrated as follows:


 * Queens-Tour-Proof-Basis.png

Thus $\map P 3$ is seen to hold.

This is the basis for the induction.

Induction Hypothesis
Now it needs to be shown that if $\map P k$ is true, where $k \ge 1$, then it logically follows that $\map P {k + 1}$ is true.

So this is the induction hypothesis:
 * A chessboard of size $k \times k$ has a queen's tour of $2 k - 2$ moves such that $T$ exits from the top right square

from which it is to be shown that:
 * A chessboard of size $\paren {k + 1} \times \paren {k + 1}$ has a queen's tour of $2 \paren {k + 1} - 2 = 2 k$ moves such that $T$ exits from the top right square.

Induction Step
This is the induction step:

Let us take our chessboard of size $k \times k$, and add another row and column to it, so as to make it a $\paren {k + 1} \times \paren {k + 1}$ chessboard

Having drawn our $2 k - 2$ move solution on the original $k \times k$ chessboard, we travel down the column and across the row in another $2$ moves:


 * Queens-Tour-Proof-Step.png

This is a queen's tour of $2 k$ move such that $T$ exits from the bottom left square.

It is seen that if the tour on the $k \times k$ chessboard stays entirely inside the chessboard, then so does the tour on the $\paren {k + 1} \times \paren {k + 1}$ chessboard

It remains to rotate the chessboard $180 \degrees$, and we will see $T$ now exits from the top right square.

So $\map P k \implies \map P {k + 1}$ and the result follows by the Principle of Mathematical Induction.

Therefore:
 * For all $n$ greater than $3$, there exists a queen's tour on $\CC$ of $2 n - 2$ moves.

Note from the examples provided, for $n = 5$, the queen does not need to move outside the boundary of the chessboard.

However, for $n = 3$ and $n = 4$, the tour does need to stray outside those boundaries.