Title: A binary quadratic approach to $X^2+(2k-1)^Y=k^Z$

Abstract: A conjecture of N. Terai states that for any integer $k>1$, the equation $x^2+(2k-1)^y =k^z$ has only one solution, namely, $(x, y, z) = (k-1, 1, 2).$
Using the theory of representations of integers by binary quadratic forms, we present methods to verify this conjecture in the case when $k\equiv 0 \pmod 4$, with $2k-1$ a prime power, and in the case when $k$ is any odd integer.
We present several values of $k$ for which our method shows that the conjecture is true, while existing methods do not apply. However for $k\equiv 0 \pmod 4$ our method does not always work.