| ■No21941に返信(kaedeさんの記事) > > 問題 > > x-y=k > x^2+y^2=2 の連立不等式が、ただ1組の解を持つとき、kの値を求めよ。 > 前のを訂正し; In[36]:= GB = GroebnerBasis[{x - y - k, x^2 + y^2 - 2}, {x, y, k}]
Out[36]= {-2 + k^2 + 2*k*y + 2*y^2, -k + x - y}
In[39]:= Solve[{GB[[1]] == 0}, {y}]
Out[39]= {{y -> 1/2*(-k - Sqrt[4 - k^2])}, {y -> 1/2*(-k + Sqrt[4 - k^2])}}
In[40]:= Solve[4 - k^2 == 0, k]
Out[40]= {{k -> -2}, {k -> 2}}
|