>>482
a=1のとき、そもそもyの値は一つじゃない
a=3のとき、代入したらわかるけどこれもyが二つ存在する
原因はyの二次式を作るときにx^2=1/2(y-a)≧0って条件が消えてるから
これが同値でないっていう理由