- ベストアンサー
複素数と多項式
複素数を係数とする定数ではない多項式fで 任意の虚数zに対してf(z)が実数となるもの は存在しますか？ ふと、疑問に思ったので…。
- Marico_MAP
- お礼率100% (77/77)
- 数学・算数
- 回答数4
- ありがとう数4
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
> zが実数のときにf(z)が虚数となれば 仮にとある実数zに対し f(z)が虚数になったとしても、『fは連続』なのだから、そのzをちょこっと虚軸方向に動かすことを考えればよい。 最初の方は、fの最高時の係数をn (≧1)とすれば、 f(z) = A (z^n) ( 1 + Σ[0≦k≦n-1] a[k] / (z^(n-k)) と書ける。 ここで、絶対値が十分大きいとあるzを取ってくると、A(z^n)が純虚数、かつ| Σ[0≦k≦n-1] a[k] / (z^(n-k)| < 1/2 と出来る。このzに対し、f(z)は虚数となる。
その他の回答 (3)
- tmppassenger
- ベストアンサー率76% (285/372)
> 私には位相のことは全然わかりませんが そんなに難しいかな？ 既に行った通り、「代数学の基本定理」により、例えば g(t) = f(t) - i （iは虚数単位）とおくと、g(z) = 0となる複素数 zがある。即ち f(z) = iとなるzがある。 このzが虚数なら、虚数zでf(z)が実数とならないものがある事になる。 このzが実数の場合、『fは連続』なので、ある正実数 D があって、任意の複素数 x に対し、 |x-z|< D なら | f(x) - f(z) | < 1/2 である。従って、例えば x = z + (1/2)D * i に対し、 |f(x) - i | < 1/2 となる。このxは虚数であり、また f(x)も虚数である。
お礼
ありがとうございます。 f(z)=iをみたす実数zの近傍はすべてiの近傍へうつされる。 したがってzの近傍に含まれる虚数はiの近傍にあり虚数である、ということなのですね。 脱帽です。 複素数係数の多項式が任意の実数に対して実数となるなら実数係数である、 ということを考えていたときにふと気になったのが今回のことでしたが、 私には少し難しかったようです。
- tmppassenger
- ベストアンサー率76% (285/372)
というか、代数学の基本定理を使っていいなら、『任意の』複素数wに対して、g(z) = f(z) - w とおくと、g(z)=0は必ず解を持ちますね。
お礼
せっかくヒントをいただいたのに、よくわかりませんでした。 たとえf(z)が全射でもzが実数のときにf(z)が虚数となればいいのでは？ と思ってしまって…。
- tmppassenger
- ベストアンサー率76% (285/372)
ありません。一度ご自身で考えてみてください。 ヒント：「代数学の基本定理」の証明の時のように、|z|が大きい時に、最高次以外の項を上から抑えよ。
お礼
自分で考えてみましたが、よくわからなかったので、少し調べてみました。 まさか、開写像定理のような大げさなものが必要ですか…？
関連するQ&A
- 複素数
複素数について質問させて頂きます。 参考書には、 「複素数zが実数でない場合つまり、虚部が0でないときｚは虚数である」という。 というように記載されていました。 私は複素数は常に虚数だと認識していましたがそうでない場合もあるのでしょうか？ 複素数zが実数でない場合と記載されていたので複素数が実数の場合もあるのでは ないかと考えた次第です。 つまり、 z=x+iy （z：複素数、x,y：実数、i：虚数単位） において、y=0の場合でもzを複素数と呼ぶのですか？ 上記の場合、zは虚数ではないですが複素数とは言えるのでしょうか？ 複素数の定義は、 実数x,yと虚数単位iを用いてz=x+iyの形で表すことのできる数です。 （定義にy≠0は特に記載されていませんでした。） なので、z=x+iyにおいてy＝0の場合は複素数とは言わないと考えています。 質問内容を整理しますと、 （1）複素数は常に虚数である （2）z=x+iyにおいて、y=0のときzは複素数ではない 複素数の定義にy≠0は必要なのでしょうか？ 以上、ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 複素数 ２次方程式
虚数を係数にもつ２次方程式についての質問です 問題文 x^2+(2k-i)x+8+2i=0 が実数解を持つように、定数ｋの値を定めよ またそのときの実数解を求めよ という問題で、 (x^2+2xk+8)+(-x+2)i=0 と整理し、複素数の相等を利用して答えを出すのはわかります。 答えは、ｋ＝－３ ｘ＝２ となりました。 ２次方程式なので、解は２つあると思います そこで、 もう一方の解をβとして、 解と係数の関係で α＋β＝６＋i(もとの２次式にｋの値を代入して出した) とするとβ＝４＋i となり、題意を満たさないのでこれは答える必要はないのですが 複素数が解のとき、共役な複素数はセットで出てきますよね？ なので、ｘ＝２、４＋i というのはおかしいと思いますが、どうしてこうなってしまうのか分かりません…… どこかに間違いがありますか？ それとも、このような解もありうるのでしょうか？ どなたか回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 多項式についてです。
多項式f（x），g（x）を考えるとき、任意の実数tに対して f（sint）＝g（sint） が成立するとき、任意のxに対して f（x） ＝ g（x） が成立する理由がわからないのでご教授下さい。
- ベストアンサー
- 数学・算数
- 実数係数の多項式の因数分解
実数係数の多項式 f(x) ∈ R[x] を実数の範囲で因数分解すると、1次あるいは2次式の積として分解できます。 これは複素数の範囲まで考えれば、α ∈ C が f(x) = 0 の根であれば、その複素共役 \bar{α} (上付きのバーの意味ね)も f(x) の根であるため明らかです。 議論を実数の範囲に限定して、同じ命題を証明することは可能でしょうか？ また可能だとして、その戦略を一般の体 k 上の多項式環 k[x] に適用するにはどうすれば良いでしょうか？
- 締切済み
- 数学・算数
- 複素数に関する方程式の問題
以下の問題がわかりません。ご教授いただけたら幸いです。 複素数zに関する方程式z^4 + (1-a^2)*|z|^4 - a^2 *(z')^2 = 0 ・・・(*) (z'はzの共役複素数、aは±1以外の実数) (1)恒等式|z|^2 = z*z'を証明せよ (2)方程式(*)の解をz=x+iyとするときxとyが満たす関係式を求めよ。 (3)方程式(*)のz=0以外の解のうち任意の二つの解をz1,z2とするとき、arg(z2)-arg(z1)がとりうる値を-π<arg(z2)-arg(z1)<πの範囲ですべて求めよ。 なおarg(z1),arg(z2)はそれぞれz1,z2の偏角である。 (4)z2'/z1は実数または純虚数となることを示せ (z2'はz2の共役複素数) 宜しくお願いします。
- 締切済み
- 数学・算数
- 既約多項式の問題
もし関数f(x)がf(x^2)の因数なら多項式f(x)はfspであると呼びます。また、ｆｓｐであるｆ（ｘ）の因数が、ｆｓｐである低次の関数によって表すことができない時、ｆ（ｘ）をｆｓｐ既約関数と呼びます。たとえば、一次のｆｓｐ既約関数は、mxとm(x-1)だけです（m は任意のゼロではない実数の定数)。二次の場合、ｆｓｐ既約関数はｘ＾２＋ｘ＋１だけです。 （１）３次や４次のｆｓｐ既約関数は存在するでしょうか？そういった関数の中で、整数のみを係数とするようなものはあるでしょうか？ （２）ｆｓｐの関数や、ｆｓｐ既約関数の性質についてなにか一般化できるでしょうか？
- ベストアンサー
- 数学・算数
- 複素数に複素数のべき乗という操作を行うことができるのですか。
私は、種々のご教示によりべき乗のイメージが不完全というかできていないないらしいのですが、虚数の実数べき乗はともかく、実数の複素数べき乗も怪しいのですが、わからないという点については同じなので表題のような （a+bi)^(c+di)としてあらわされるであろうものも存在が可能なのか、という質問をあえてさせていただきました。これも虚数べきがわからなければ成立しない質問なのかもしれませんが、何かご教示をいただければ幸いと存じます。
- ベストアンサー
- 数学・算数
お礼
>最初の方は、 ありがとうございました。わかりました。うまいですね～！！ 純虚数にRe(α)>1/2となるαをかけても虚数であるわけですね。 こんな妙手を私がホイホイ思いつけると思われては困ります。 >虚軸方向に方向に動かす 私には位相のことは全然わかりませんが、たしかに急に実数になるのはおかしそうということはわかりました。ありがとうございました。 大変勉強になりました。