| 2つの虚数解をもつとき > (2)上の方程式が、絶対値2の解を持つとき、kの値は
(2) 別の面から補強して、いっそう確かなものに ;
In[1]:= eqn = -1 + 3*k*z - 3*z^2 + z^3; {re, im} = ComplexExpand[ Through[{Re, Im}[Expand[ eqn /. z -> x + I*y]]]]
Out[2]= {-1 + 3*k*x - 3*x^2 + x^3 + 3*y^2 - 3*x*y^2, 3*k*y - 6*x*y + 3*x^2*y - y^3}
In[4]:= Solve[{-1 + 3*k*x - 3*x^2 + x^3 + 3*y^2 - 3*x*y^2 == 0, 3*k*y - 6*x*y + 3*x^2*y - y^3 == 0, x^2 + y^2 == 2^2}, {x, y, k}]
Out[4]= {{k -> -(7/2), y -> 0, x -> -2}, {k -> 5/6, y -> 0, x -> 2}, {k -> 25/16, y -> -((3*Sqrt[15])/8), x -> 11/8}, {k -> 25/16, y -> (3*Sqrt[15])/8, x -> 11/8}}
で k=25/16, 11/8+(3*Sqrt[15])/8,11/8-(3*Sqrt[15])/8 が共役な解
で 図示の通りAbsは2
|