複素数・証明の問題の解法の発想が分からない

このQ&Aのポイント
  • 複素数平面上の3点p,q,rについて、式p^2+q^2+r^2-pq-qr-rs=0が成り立つとき、p,q,rが正三角形の各頂点になる必要十分条件を証明する問題。
  • 解法の発想として、(p-r)/(q-r)=3/πとすることで、条件を満たすことが示される。
  • 解法の具体的な手順は記載されていないが、共役複素数の解を持つ方程式を利用した考え方が必要とされる。
回答を見る
  • ベストアンサー

複素数・証明

次の問題の解法の発想が分かりません。 ・3点p,q,rが複素数平面で p^2+q^2+r^2-pq-qr-rs=0 を満たすとき、これがp,q,rが正三角形の各頂点となる必要十分条件であることを証明せよ。 解答 --------------------------------------- p,q,rについて、arg (p-r)/(q-r)=3/πとおける。 即ち、 (p-r)/(q-r)= 1/2 ± i (√3)/2 …(1) これより、(p-r)/(q-r)が x^2 - x + 1 = 0 の 解であるから、 …(2) (p-r)/(q-r)^2 - (p-r)/(q-r) + 1 = 0 整理すると p^2+q^2+r^2-pq-qr-rs=0 となる。 これより、条件は等しいから、必要十分条件といえる。 …(3) --------------------------------------- (1)は(自分では試す気にならなかったので考えてませんでしたが)、 まだこういう発想ができることは理解できます。 しかし、(2)の発想自体が自分の思考の範疇外です。どうやってこのような考えにたどり着けばいいのでしょうか? 共役複素数の解を持つ方程式を暗記しておき、その二解に対して対応を示すのはごく常識的な解法なのでしょうか? 問題集の中では、この問題は3段階の難易度評価中「かんたん」に入っており、頭を抱えています。 また、(3)についてですが、必要十分条件を示すのにこの回答様式でよいのでしょうか? P=Qならぱ、PはQの、QはPの必要十分条件ですが、これが明示されない場合、数学の記述ではP⇒Q(PはQの十分条件)しか表現されないのではないでしょうか? 結果としては同じになっていますが、疑問を感じます。 以上2点について、ヨロシクお願いいたします。

  • entap
  • お礼率29% (93/313)

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

  • ベストアンサー
  • alice_44
  • ベストアンサー率44% (2109/4759)
回答No.1

(2) 2個の数から、それらを解に持つ二次方程式を作る計算は、 中学で初めて二次方程式に出逢ったとき、教わったはずです。 2数が共役複素数であれば実係数二次方程式になることも、 共役複素数が何であるか知っていれば、知らないはずがありません。 (3) 質問文中の「証明」は、正三角形であれば問題の式が成り立つ ことしか示していません。逆の成立には、別に証明が要ります。 p≠q のとき、式を満たす r が2個であることを示せばよいでしょう。

entap
質問者

補足

いつもお世話になっております。早速のご回答ありがとうございます。 (2)について  回答を拝見する限りのことですが、「誘導など何もなくとも」、f(x)=p,p(バー)という式を見た瞬間、(f(x)+p)(f(x)-p)=0という式が成立し、証明問題に利用できると気付くのは自明であり、説明するまでもないこと、ということなのでしょうか?   複素数をからめた数と式の問題はあまりやったことがなく、いい経験になりましたが、これは解答の不親切さを感じます。(あるいは、私の数学能力があまりにも低すぎて、この問題集の編纂者の想定レベルを遥かに下回っているのかもしれません。今のところ「やさしい」は楽勝、「ふつう」は五分五分で解け、「むずかしい」が2割ぐらいの正答率なので、挑戦する資格はあると思っているのですが…) (3) ですよね。これは感じた通りです。ありがとうございます。

その他の回答 (1)

  • ferien
  • ベストアンサー率64% (697/1085)
回答No.2

>(2)の発想自体が自分の思考の範疇外です。どうやってこのような考えにたどり着けばいいのでしょうか? 共役複素数の解を持つ方程式を暗記しておき、 >その二解に対して対応を示すのはごく常識的な解法なのでしょうか? 2次方程式の解と係数の関係を使えば、方程式がすぐに作れると思います。 どうでしょうか?

entap
質問者

お礼

そういえば、解と係数の関係で考えれば何も不思議なことはないですね。 ありがとうございます。

関連するQ&A

  • 必要十分条件の証明

    x=(αr-βp)/(r-pq) y=(β-αq)/(r-pq) ただしp、q、r、α、β∈Z 整数p、q、rに関する条件|r-pq|=1は、任意の整数α、βに対し解x、yが整数であるための必要十分条件であることを証明しなさい という問題について解答が α=0、β=1とすると、y=1/(r-pq) y=整数であるから、r-pq=±1が必要である 逆に、r-pq=±1のとき、x、yは任意の整数α、βに対して整数となるから十分である したがって、求める必要十分条件は |r-pq|=1 となっていました ここで疑問に思ったのは任意の整数α、βに対し解x、yが整数であるからα=0、β=1とするのは理解でき、そのとき|r-pq|=1が成り立ち、逆に|r-pq|=1のとき任意の整数α、βに対して整数となるとなるのも分かるんですが、これで証明がほんとに完了してるのかということです 最初に任意の整数α、βに対しα=0、β=1を代表させていますが、例えばα=1、β=2とかα=3、β=-2とかの場合を考慮する必要はないのでしょうか? 友人にも尋ねてみたのですが、曖昧です 自分なりに考えてみた結果は、任意の整数α、βに対し解x、yが整数であることの必要条件を求めるときは、任意の整数α、βに対し解x、yが整数であるというのはあくまで条件、前提であるからその段階ではα=0、β=1と代表させても問題ない、というものなのですが果たして正しいのでしょうか? 長文で申し訳ありませんが、ご教授お願いいたします

  • 最大になる条件

    「e(QR-PX)/{PQ(R+X)+RX(P+Q)}が最大になるP,Q,Rに条件がP=Q=R=X」であることを示せという問題なのですがどうしてもわかりません教えてください。

  • ベクトルの扱い方について

    座標平面上の点を回転する時には、座標を複素数表示に変換して複素数平面の点として回転するというのはなんとなく分かります。問題は複素数平面でものを考えるときなのですが、例えば、複素数平面上のP,Q,R,Sで、→PQと→RSが90度で交わっていたとすると、普通はQ-P=(S-R)k(cos±90+isin±90)と立式すると思うのですが、→PQ・→RS=0(内積)とやってはなぜだめなのでしょうか。 それと、「Q-P=(S-R)k(cos±90+isin±90)」ではなくて「→PQ=→RS×k(cos±90+isin±90)」と書かないのはどうしてなのでしょうか。 ベクトルの座標平面上での使い方は複素数平面では通用しないのでしょうか。両者は同じ者だと思っていたのですが。よろしくお願いします。

  • 複素数平面の問題

    --------------------------------------------------------------------------------- |z|>5/4となるどのような複素数zに対してもw=w^2 -2zとは表されない複素数w全体の集合をTとする. すなわち T={w|w=z^2 -2zならば|z|≦5/4} とする.このとき,Tに属する複素数wで絶対値|w|が最大になるようなwの値を求めよ. --------------------------------------------------------------------------- この問題に苦戦しています. 初めは z=r(cosθ+isinθ)(r≦5/4) としていけるかなと思ったのですが,これがとんでもない勘違いで ●wをひとつおいたとき,それに対応するzの解の個数が不明 という点が難点で,とりあえず w=a+bi z=p+qi として比較により a=p^2 -q^2 -2p b=2pq-2q となり,ここからqを消去してaをpだけで表す,というところまではいけるのですが,何せ分数が入るため●の解の個数の検討が複雑になってしまいます. 方針が違うのでしょうか? 糸口のみで結構ですので御教授のほうお願い致します.

  • 式の値

    実数p,q,r,sが p²-qr=q²-rs=r²-sp=s²-pq≠0 をみたすとき、 p+q+r+s の値を求めよ。 答えだけでなく求め方も教えてください。 よろしくお願いします。

  • 中国剰余定理 3数

    余りが条件式を満たすがわからないので質問します。 p,q,rどの2つをとっても、互いに素な自然数とする。a,b,cを任意の整数とする。このとき、 x≡a mod(p),x≡b mod(q),x≡c mod(r) を満たす整数xが、0からpqr-1までの間に1つ存在する。この定理の証明は、 (qr)s≡1 mod(p),(rp)t≡1 mod(q),(pq)u≡1 mod(r),を満たすs,t,uを求めることから始まります。sであれば、(qr)s+py=1・・・(1)という1次不定方程式を解くことで、得られます。q,rがpと互いに素であるから、qr,pが互いに素なので(1)を満たすs,yは存在します。同様にt,uが得られます。x=a(qr)s+b(rp)t+c(pq)u・・・(2)とおけば、xは条件式を満たします。(2)をpで割った余りは、a*1+0+0=aとなります。qで割れば余りb,rで割れば余りc,となります。ここからがわからない箇所です。このxをpqrで割った余りも条件式をみたします。 まず、自分の計算では、x=a(qr)s+b(rp)t+c(pq)u=pqr{as(1/p)+bt(1/q)+cu(1/r)}となり余りが出ません。そして条件式x≡a mod(p),x≡b mod(q),x≡c mod(r) を満たしているとも思えません。どなたか自分の考えの間違いを教えてください。お願いします。

  • 論理

    先日も質問したのですが、もう一度、全文で質問したいと思います。 http://okweb.jp/kotaeru.php3?q=1589062 問題 2次方程式x^2+px+q=0の1つの解が他の解の平方となるためには q+p^2=-q^3+3pq であることが必要十分条件であるとこを証明せよ。 解説 この問題において、1つの解が他の解の平方という条件をPとして、Pを解と係数の関係を用いないで言い換える、まず、Pは「1つの解をαとするとα^2も解である」を意味すると考え、 P⇔「α^2+pα+q=0ならばα^4+pα^2+q=0」 ⇔『α^4+pα^2+qがα^2+pα+q=0で割り切れる』 とするのは間違いです.というのは,この『 』はα^2+pα+q=0 をみたすαが2つある場合,どちらのαもα^4+pα^2+q=0,ということを意味し, それは2解をα,βとすれば「α=β^2かつβ=α^2」を意味するから。 質問 全体的にどういうことをいってるのでしょうか? 割り切れるとはどういうことでしょうか?

  • わからない図形の問題

    すいません、大学で明日数学のテストがありまして、次の問題がでるかもしれないのですが解きかたがわかりません。教えてください。 鋭角三角形ABCで線分AB上、BC上、CA上にそれぞれ点P、Q、Rをとります。このとき、PQ+QR+RSが最小になるようなP、Q、Rはどのような位置にあるか?? (僕の直感としては、P、Q、Rが線分の中点になるときちゃうかなとか思うのですが、証明できないです)

  • 複素数の図示について

      iz > 0 という不等式をを満たす複素数zの範囲を図示せよという問題なのですが、次のように解いてみました。  解)   w=izとおき、w=-y+ix (ただし、z=x+iy , x,y∈R)。  w=iz>0より、両辺にwの共役の複素数をかけて、  |w|^2 > 0 となり、|x^2 +y^2| > 0。これより、条件を満たす  複素数zの範囲は、原点を除く全複素平面。 以上のように考えたのですが、これで正しいのでしょうか?条件の不等式が何を意味しているのか、いまいちピンとこないので質問させていただきました。 お手数ですが、どなたかアドバイスをいただけないでしょうか? よろしくお願いします。  

  • 複素数 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 というのはおかしいと思いますが、どうしてこうなってしまうのか分かりません…… どこかに間違いがありますか? それとも、このような解もありうるのでしょうか? どなたか回答よろしくお願いします。