 | ■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}}
|
