＞(2)は(y-1)=3のとき左辺は奇数で右辺は偶数となり成り立たない (kが自然数の場合だとxが有理数になるのはkが偶数のときだけ)

この部分がわかりません。