11 is not a good number. Because 11 can only be added to 5 to get a square number, and 4 must be added to 5 to get a square number. Therefore, at least one of 11+a11 and 4+a4 is not a square number.
13 is a good number, because
8,2,13,12,11,10,9,1,7,6,5,4,3
is a valid arrangement.
15 is a good number, because
15,14,13,12,11,10,9,8,7,6,5,4,3,2,1
is a valid arrangement.
17 is a good number, because
3,7,6,5,4,10,2,17,16,15,14,13,12,11,1,9,8
is a valid arrangement.
19 is a good number, because
8,7,6,5,4,3,2,1,16,15,14,13,12,11,10,9,19,18,17
is a valid arrangement.
Note: It can be proven that 1,2,4,6,7,11 are not good numbers, and the rest of the natural numbers are good numbers. The proof uses induction. It is not difficult to verify that the conclusion holds for n⩽25.
Assume that the conclusion holds for n⩽(m−1)2(m⩾6). Consider (m−1)2+j, where the natural number j⩽2m−1.
Since m⩾6,
(m+1)2−((m−1)2+j)=4m−j<4m<(m−1)2,4m−j−1⩾2m⩾12,
so 1,2,⋯,4m−j−1=h can be arranged into a1,a2,⋯,ah, such that k+ak(k=1,2,⋯,h) are all square numbers. And 4m−j,4m−j+1,⋯,(m−1)21−j can be arranged in reverse order,
(4m−j+i)+((m−1)2+j−i)=(m+1)2,
so 1,2,⋯,4m−j−1,4m−j,⋯,(m−1)2+j can be arranged as
a1,a2,⋯,ah,(m−1)2+j,⋯,4m−j,
satisfying k+ak(k=1,2,⋯,(m−1)2+j) are all square numbers.
Therefore, all numbers greater than 11 are good numbers.