We say a positive integer $n$ is good if there exists a permutation $a_1, a_2 . . . a_n$ of $1, 2 . . . n$ such that $k+a_k$ is perfect square for all $1 \le k \le n$. Determine all the good numbers in the set $\{11, 13, 15, 17, 19\}$
I have experimented and I think I have a conjecture: $n$ is good if it is of the form $4t+1$. For example,
$$ \begin{array}{c|lcr} k & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 & 10 & 11 & 12 & 13\\ \hline a_{k} & 8 & 2 & 13 & 12 & 11 & 10 & 9 & 1 & 7 & 6 & 5 & 4 & 3\\ \end{array} $$
I think I can argue that a case such as $n=15$ doesn't work by describing how some numbers need to go into certain positions and how there is always a contradiction, but I seek a proof which covers all numbers. Can anybody think of a trick that might solve this?
I am also curious in extending this for even numbers.
EDIT As has been pointed out, $15$ is easy to achieve. In that case, my conjecture is wrong. Please do suggest other possibilities.