Starting with 1 and spiralling anticlockwise in the following way, a square spiral with side length 7 is formed.
37 36 35 34 33 32 31
38 17 16 15 14 13 30
39 18 5 4 3 12 29
40 19 6 1 2 11 28
41 20 7 8 9 10 27
42 21 22 23 24 25 26
43 44 45 46 47 48 49
It is interesting to note that the odd squares lie along the bottom right diagonal, but what is more interesting is that 8 out of the 13 numbers lying along both diagonals are prime; that is, a ratio of 8/13 ≈ 62%.
If one complete new layer is wrapped around the spiral above, a square spiral with side length 9 will be formed. If this process is continued, what is the side length of the square spiral for which the ratio of primes along both diagonals first falls below 10%?
Solution
With Problem 28 we found four equations to generate the diagonls of the matrix, even if it was clockwise and here anticlockwise. The pattern remains:
\[ \begin{array}{rll} a_n &= (9, 25, 49, 81, 121, ...) &= 4n^2 + 4n + 1\\ b_n &= (5, 17, 37, 65, 101, ...) &= 4n^2 + 1\\ c_n &= (3, 13, 31, 57, 91, ...) &= 4n^2 - 2n+1\\ d_n &= (7, 21,43, 73, 111, ...) &= 4n^2 + 2n + 1 \end{array} \]
But instead of summing up, we use the generated diagonal numbers to count primes until the number of primes \(p\) falls below 10%. This is \(\frac{p}{c}<0.1\) for the total amount of diagonal numbers \(c\). If we add all four new corners for every layer plus the starting element in the middle we have \(c=4n+1\), which gives the break condition \(10p<4n+1\).
The side length on layer \(n\) is \(2n+1\), which gives us the solution:
function solution() {
let p = 0;
for (let n = 1; ; n++) {
p+= isPrime(4 * n * n + 4 * n + 1);
p+= isPrime(4 * n * n + 1);
p+= isPrime(4 * n * n - 2 * n + 1);
p+= isPrime(4 * n * n + 2 * n + 1);
if (10 * p < 4 * n + 1) {
return 2 * n + 1;
}
}
}
We loop over odd numbers here. So, instead of looping over \(n\), we now simplify the equations by looping over \(m=2n+1\) and get a much prettier pattern:
\[\begin{array}{rl} 4n^2 + 4n + 1 &= m^2\\ 4n^2 + 2n + 1 &= (m - 1) m + 1\\ 4n^2 + 1 &= (m - 2) * m + 2\\ 4n^2 - 2n + 1 &= (m - 3) * m + 3\\ \end{array}\]
This result shows us that the bottom right corner always is a square and thus never prime. The new and faster solution with \(m\) substituted is then
function solution() {
let p = 0;
for (let m = 3; ; m+= 2) {
p+= isPrime((m - 1) * m + 1);
p+= isPrime((m - 2) * m + 2);
p+= isPrime((m - 3) * m + 3);
if (10 * p < 2 * m - 1) {
return m;
}
}
}
The missing piece is a prime check, which we implemt straight away:
function isPrime(n) {
if (n <= 3) return n > 1;
if (n % 2 === 0 || n % 3 === 0) return false;
for (let i = 5; i * i <= n; i+= 6) {
if (n % i === 0 || n % (i+2) === 0)
return false;
}
return true;
}