How to show that the equation $x^2-(k^2-4)y^2=-1$ is solvable only when k=3?
I can show that 3 must divide d otherwise 3 divides $k^2-4$ and the equation will not be solvable.Again k=3(2m+1) because other wise $x^2\equiv -1(mod8)$ which is not possible.Now how should I show that m=0?
Clearly $\varepsilon = \frac{k + \sqrt{k^2-4}}2$ is a unit with norm $1$. If the fundamental unit has norm $-1$, then $\varepsilon$ must be a square. It is not difficult to show (!) that it must be the square of an element of the form $\frac{a + \sqrt{k^2-4}}2$, which is only possible if $a = 1$ and $k = 3$.