Here is my attempt at Highschool problem 1(c).
Given that we cannot move diagonally, there are squares which we can only reach if the number of moves n is even, and others that can only be reached when n is odd.
For any n moves, we know that the furthest squares that can be reached are all the squares whose coordinates (a,b) are such that |a| + |b| = n. Drawing this out on a cartesian coordinate system draws out a rotated square, which makes sense from intuition. So we have dealt with the outermost squares, but now we need to deal with all squares within our region. So when n is, for example, even (and greater than 0), it can only move in increments on 2 moves. Therefore, it will always remain on a square with the colour that it started with (helpful to picture a chess-board as in the question). For an odd n, the king will be forced to end on a square that is of a different colour to the one that it initially began in. The diagonal movement was able to act as effectively 2 moves, thus allowing the king to move to a square of the same colour.
Thus, the possible inner squares will be all the smaller rotated squares for any n_i that is smaller than n and returns the same result: remainder(n,2) = remainder(n_i ,2) (not worrying about n = 0 at the moment). It can reach these smaller squares just by oscillating back and forth, between adjacent squares, if necessary.
Getting to some maths:
Splitting this into: for even n = 0:
the number of squares = 1
for even n > 0:
each new 'layer' will have 4n squares of possible destinations.
Thus, the total number of possible squares = 1 + \sum_{n=2}^n 4 n, with the latter part forming the sum of an arithmetic sequence (a = 2, d = 2, \lambda = n/2). This can thus be re-written as 1 + 4 \times \frac{\lambda}{2}(2 + 2 \lambda) = \mathbf{ 1 + 4 \lambda(1 + \lambda)}
For odd n > 0:
Following on from the same logic, basically, everything is the same as even numbers, except that it won't be able to return to its original square, so it won't have the extra +1. However, the formula for the arithmetic sequence needs to be redone:
let \mu = \frac{n+1}{2}
number of squares = 4\sum_{n=1}^n n = 4 * \frac{\mu}{2}(2(1) + 2(\mu - 1)) = 4 \mu ^ 2 = \mathbf{(n+1)^2}
In conclusion, for n moves, \lambda = n/2, the king can move:
if n = 0: 1 square
if n > 0 and even: 1 + 4 \lambda(1 + \lambda) squares
if n > 0 and odd: (n+1)^2 squares