＞(y-1)(y+1)=(k2)(x/k)からy=2k+1,x=2k(k+1)が解であることが導ける
その通りです。

k/k=1は式が成立する(成立しない)条件ではありません
なぜでしょうか？
理由を教えてください。