>>826
x^2+2y^2=1 ＆ 2y=x^2+11
⇔y^2+y-6=0 ＆ x^2=2y-11
であって、２式はワンセット。
y^2+y-6=0を解いた y について x^2=2y-11 を満たす x があるかどうかは確認しないとわからない。
両方OKのときもあれば、片方だけOKのときもあれば、全滅するときもある。
一次式を利用して一文字消去した場合には対応する x が必ず見つかる。