 | ■No23225に返信(Ｘさんの記事)
>
> a,bの求め方を詳しく
In[39]:=
Expand[x^2 + a*x + b /. x -> 1 + Sqrt[2]]
Out[39]=
3 + 2*Sqrt[2] + a + Sqrt[2]*a + b
In[40]:=
GroebnerBasis[{3 + a + b == 0, 2 + a == 0},
{a, b}]
Out[40]=
{1 + b, 2 + a}
In[41]:=
Solve[% == {0, 0}, {a, b}]
Out[41]=
{{a -> -2, b -> -1}}
--------------------------------------------
Q[X]/I
I=(X^2-2)*Q[X] は 地球を救う
Gal(Q(Sqrt[2]),Q)の共役元をとる写像 既知なら
In[42]:=
Expand[(x - (1 + Sqrt[2]))*
(x - (1 - Sqrt[2]))]
Out[42]=
-1 - 2*x + x^2
|
