| ■No23992に返信(roroさんの記事) > 解と係数の関係を使った場合
補強+α 致します; In[3]:= f1 = -x - y - z; f2 = x*y + x*z + y*z - -13; TableForm[SylvesterMatrix2[f1, f2, x]]<--◎「◎ Det[%] Out[5]//TableForm= TableForm[{{-1, -y - z}, {y + z, 13 + y*z}}]
Out[6]=-13 + y^2 + y*z + z^2<--終結式です
In[7]:=Solve[13 - y^2 - y*z - z^2 == 0, {y}]
Out[7]={{y -> 1/2*(-z - Sqrt[52 - 3*z^2])}, {y -> 1/2*(-z + Sqrt[52 - 3*z^2])}} と y∈Zより z∈Z が 絞られ {y,z}----> {{-3, 4}, {-1, 4}, {3, -4}, {1, -4}, {-4, 3}, {1, 3}, {-4, 1}, {3, 1}, {-1, -3}, {4, -3}, {-3, -1}, {4, -1}} で k∈Zが求まる
|