3次方程式の根の複素数平面上の三角形

このQ&Aのポイント
  • 3次方程式の解が複素数平面上で三角形を成すとき、中点を通る楕円は他の辺の中点も通り、かつ三角形に内接する。
  • 3次方程式の解が実数と複素数混在の場合、三角形は実数軸を対称軸とする2等辺三角形になる。
  • 複素数平面上で実軸上にある三角形の頂点および底辺の中点と、f'(z)=0 の解との位置関係が分からない。
回答を見る
  • ベストアンサー

3次方程式の根の複素数平面上の三角形

次の問題はどう攻めたらよいのでしょうか。 「3次関数 f(z)=0 を満たす3つの解が複素数平面上で三角形を成すとき、 f'(z)=0 の2つの解を焦点とし、上の三角形の一辺の中点を通る楕円は他の辺の中点も通り、かつ三角形に内接することを示せ。」 3次方程式の解が3実数でないときは1個の実数と2個の共役な複素数なので、複素数平面上で三角形を成すときは実数軸を対称軸する2等辺三角形ということは分かります。また、3次関数のグラフは変曲点が2個所あるから f'(z)=0 の2つの解は実数で、複素数平面の実数軸上にあると思います。しかし、実軸上にある三角形の頂点および底辺の中点と、f'(z)=0 の解との複素数平面上での位置関係が分からないので、その先が進みません。どういうふうに考えを進めたらよいのでしょうか。よろしくお願いします。

質問者が選んだベストアンサー

  • ベストアンサー
  • nakaizu
  • ベストアンサー率48% (203/415)
回答No.3

簡単な解法を考えてみましたが、思いつきませんでした。 3次方程式を適当に変数変換をして f(x)=x^3-3p^2x+c=0 とします。f'(±p)=0を満たしています。 cが実数で、方程式の実数解が一つ(aとします)虚数解が二つあるときを考えます。 虚数解はaをつかって (-a±√(3a^2-12p^2)i)/2 と表わせます。かなり面倒ですがpと中点の距離と-pと中点の距離の和を計算すると|a|になることがわかります。 cが虚数の場合は実部と虚部が簡単にはわからないので非常に厄介です。(しかし定理としては成立します) なお、後半の三角形に内接することを示すのは比較的簡単です。 一般に、楕円の周上に三点があるときその三点の重心が楕円の中心ならば、三点を接点とする接線により三角形を作ると接点はその三角形の各辺の中点になります。 楕円の式をx^2/a^2+y^2/b^2=1として 2接点の座標を(x1,y1)、(x2,y2)とします。他の一点は重心の条件より(-x1-x2,-y1-y2)となるはずですが、この点が楕円の上にあるためには x1x2/a^2+y1y2/b^2=-1/2 を満たす必要があります。 以上の条件をみたしていたとき接線を求めると x1 x/a^2+y1 y/b^2=1,x2 x/a^2+y2 y/b^2=1, (x1+x2)x/a^2+(y1+y2)y/b^2=-1 となります。二つづつの連立方程式をとくと解は (-2x1,-2y1),(-2x2,-2y2),(2(x1+x2),2(y1+y2)) となり接点が中点になっていることが確認できます。

owlin77
質問者

補足

nakaizu様 ありがとうございます。これで解決なのだろうと考えるのですが、私はご説明を追うのに格闘しています。時間がかかりそうなので、取り敢えずお礼申し上げます。 それで、もしできることなら、次の点についてヒントなり頂けないでしょうか。 (1)f(x)=x^3-3p^2x+cとすることで、一般性を損なわないのでしょうか。 (2)実数解をaとして、虚数解(-a±√(3a^2-12p^2)i)/2 にいたる過程。 (3)「cが虚数の場合は非常に厄介だが、定理としては成立します」と言えるのは何故でしょうか。 owlin77

その他の回答 (3)

  • nakaizu
  • ベストアンサー率48% (203/415)
回答No.4

(1)について 一般には三次関数の解は複素平面上に三つあるわけですが、この三点を重心が原点になるように平行移動しても証明すべき性質は変わりません。従って重心が原点になる場合(解と係数の関係より二次の係数は0)を証明すればよいことになります。 さらに、回転しても証明すべきことがらは変わりませんから、f'(p)=0となるpが実軸上にくるように回転させると方程式の一次の係数が-3p^2となります。 (2)について、aが解だと方程式は(aを代入すると0になるようにcを決めると) x^3-3p^2x-a^3+3p^2a=0 となりますが、この式は (x-a)(x^2+ax+a^2-3p^2)=0 と因数分解されます。あとは二次方程式の解の公式を使うだけです。 (3)については簡単に説明できなかったので非常に厄介だと書いたのですが、あらためて簡単な証明ができるかどうか暇な時に考えてみます。

owlin77
質問者

お礼

お礼が遅くなってすみません。ご回答ありがとうございました。なお、これは「シュタイナー楕円」の問題というのだと聞きました。そちらも調べてみます。 ここの質問はこれで打ち切りとしようと思います。

  • Largo_sp
  • ベストアンサー率19% (105/538)
回答No.2

よく見てくださいね…… 変曲点の導関数は2次ですよ、二階微分だから1つ 極値が、一次微分で2つですね まだ回答まではいたっていませんが…… けど、f(x)=x^3+bx+cと置いても問題の性質は変わりませんよね…… すると。。。 実数解をα 虚数解をβ、・βとすると Re(β+・β)/2=-α/2 となります。 導関数は、3x^2+bで、 γ=±√(b/3) 当然b<0なので、f'(z)=0は 虚数軸上になります。 β、・βの中点は、-α/2 βとαの中点は……α/4+Imβ/2 .... なんとなく出てきそうなのですが。。。

  • Largo_sp
  • ベストアンサー率19% (105/538)
回答No.1

ちょっと質問文に間違いがあるので指摘…… 解法はわからないですが、 変曲点はf''(z)=0の点で1点だけですよ f'(z)=0は、2つの虚数解を持つ3次関数では 2つの共役な複素数になりますので、1辺の中点に接するのは明らかです。 後2辺ですが…… 問題の感じから行くと、中点までの距離を解と係数の関係で 表せるのかなぁと予想しますが……できない(笑)

owlin77
質問者

補足

お答えありがとうございます。なお「変曲点はf'(z)=0の点で1点だけですよ 」ということですが、f'(z)=0の点が2つあるのでは無いでしょうか。変曲点という語を間違って使っているのかな。

関連するQ&A

  • 複素数に関する方程式の問題

    以下の問題がわかりません。ご教授いただけたら幸いです。 複素数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の共役複素数) 宜しくお願いします。

  • 複素数平面の方程式の解をお願いします

    複素数平面の方程式の解をお願いします z^4 = -2 (1+ √3i ) z(0) ~ z(3) の求め方が分かりません 公式はあるにはあるのですがどこにどれを代入すればいいのかが分からなくて OTZ 解放を教えていただけると幸いです。 よろしくお願いいたします

  • 複素数平面と実数平面の関係について

    複素数平面と実数平面の関係は互いに直行しているのですか?それとも実数平面と複素数平面は別々に考えるべきものなのでしょうか?たとえば指数関数のグラフは実数平面では単調増加、複素数平面では円ですが2つの平面を合わせて3次元空間として表示できるとしたらどのように表示されるのでしょうか?

  • 複素数平面です

    α=1+i,β=2+3iとする。複素数zに複素数f(z)=αz+βを対応させる。 1.f(z)=zを満たす複素数zを求めよ。この複素数をz0と表す。 2.z≠z0である複素数zに対して{f(z)-z0}/(z-z0)を求めよ。 3.z≠z0である複素数zに対して、複素数平面上で複素数z0,z,f(z)を表す点をそれぞれM,A,Bとする。このとき三角形ABMはどんな形の三角形か。 お願いします

  • 複素数 2次方程式

    虚数を係数にもつ2次方程式についての質問です 問題文 x^2+(2k-i)x+8+2i=0 が実数解を持つように、定数kの値を定めよ またそのときの実数解を求めよ という問題で、 (x^2+2xk+8)+(-x+2)i=0 と整理し、複素数の相等を利用して答えを出すのはわかります。 答えは、k=-3 x=2 となりました。 2次方程式なので、解は2つあると思います そこで、 もう一方の解をβとして、 解と係数の関係で α+β=6+i(もとの2次式にkの値を代入して出した) とするとβ=4+i となり、題意を満たさないのでこれは答える必要はないのですが 複素数が解のとき、共役な複素数はセットで出てきますよね? なので、x=2、4+i というのはおかしいと思いますが、どうしてこうなってしまうのか分かりません…… どこかに間違いがありますか? それとも、このような解もありうるのでしょうか? どなたか回答よろしくお願いします。

  • 複素数と方程式

    複素数1+iを解の一つとする実数係数の三次方程式xの三乗+axの二乗+bx+c=0(すいません。式をどの様に打てばよいのか分からず、大変見づらくなってしまいました。axの二乗は、xだけが二乗されています)について、 ①この方程式の実数解をaで表せ。 ②この方程式と二次方程式xの二乗-bx+3=0がただ一つの解を共有するとき、定数a、b、cの値を求めよ。 という問題です。 ①から解けません。xに1+iと、共役な複素数1-iを代入したりしてみたのですが、解けません。 教えてください。

  • 全複素数平面で定義された正則関数

    f (z) を全複素数平面で定義された正則関数とする。 i) f が一様連続なら、 f は一次関数。 ii) f ( f (z)) ≡ f (z) を満たす定数関数以外の関数 f は、 f (z) = z とくためのヒントをください。

  • 複素数平面の問題で困っています.

    複素数zについての一次方程式 az+bα+c=0 (a,b,c∈C)(αはzの共役複素数) は複素平面において,zを満たす点が 直線を表すか,存在しないか,または1点であることを示せ. 上の問題なのですが, z=x+iy などを代入したり色々してみたのですが手が出ません. 方針だけでもいいのでお願いします.m(、、)m

  • 複素数

    次の問題の、18(1)(2)と19を教えていただきたいです。 18の(1)は、1-sinθ+icosθなら分かるのですが、この問題だと分かりません。 19は、実数ということはzとzの共役複素数が等しくなることを使うのだと思いますが、どう使えば良いか分かりません。 お願いします

  • 複素数平面の問題です

    「a,b は複素数平面上の異なる2点とする。aは正の実数で、aとbを結ぶ線分の 長さは1であり、0および-iは aとbを結ぶ線分上にない。z がこの線分上を動くと き、w=(z-i)/(z+i)も長さ1の線分を描く。このような aとbを求めよ。」 zに aと bと その間の数 a+t(b-a) ;tは0~1 を代入して直線上に来る条件を求めようとしましたが 無解になりました。 解ける人がいましたらお願いします