• ベストアンサー
※ ChatGPTを利用し、要約された質問です(原文:大学入試レベルの証明問題です。)

大学入試レベルの証明問題!X^3+2X-1=0の実数解を証明しよう!

このQ&Aのポイント
  • (1) αが唯一1つ存在
  • (2) αは無理数
  • (3) pα^2+qα+r=0をみたすp、q、rは存在しない。

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

  • ベストアンサー
  • hrsmmhr
  • ベストアンサー率36% (173/477)
回答No.3

(3)p(α^3+2α-1)-α(pα^2+qα+r)=-pqα^2+(2p-r)α-p -pqα^2+(2p-r)α-p+q(pα^2+qα+r)=(q^2+2p-r)α+(-p+qr) pα^2+qα+rもα^3-2α+1も0なら、(q^2+2p-r)α+(-p+qr)も0 ならばα=(p-qr)/(q^2+2p-r)=0 p,q,rは有理数(?)だからαも有理数で矛盾 (4)1=2α+α^3=α(2+α^2),α^3+2α-1=(α+1)α^2-(α+1)α+3(α+1)-4=0

sagimi
質問者

お礼

私にはない視点を沢山いただきました! ありがとうございます(゜゜)

すると、全ての回答が全文表示されます。

その他の回答 (2)

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

No.1です。以下のように訂正します。よろしくお願いします。 α=n/m(n,mは2以上で互いに素な整数)とおく。 これは(1)の解であるから代入すると、 (n/m)^3+2(n/m)-1=0 n^3+2m^2n-m^3=0 m^3=n(n^2+2m^2) m=n(n^2+2m^2)/m^2  =n{(n/m)^2+2}  右辺より、mが整数であることに矛盾する。 よって、αは、無理数である。

sagimi
質問者

お礼

丁寧です。 ありがとうございます。

すると、全ての回答が全文表示されます。
  • ferien
  • ベストアンサー率64% (697/1085)
回答No.1

(2)だけです。 (2)は背理法でα=n/m(n,mは2以上で互いに素)とおいてみましたが、 最終的に (m-n)(m^2+mn+n^2)=2m^n >でいきずまりました。 X^3+2X-1=0……(1) α=n/m(n,mは2以上で互いに素)とおく。 これは(1)の解であるから代入すると、 (n/m)^3+2(n/m)-1=0 n^3+2m^2n-m^3=0 m^3=n(n^2+2m^2) m=n{(n^2+2m^2)/m^2}  =n{(n^2/m^2)+2}  mは、nを約数にもつことになり、互いに素であることに矛盾する。 よって、αは、無理数である。 でどうでしょうか?

sagimi
質問者

お礼

m=n{(n^2+2m^2)/m^2}  =n{(n^2/m^2)+2}  でm^2を{}内に反映させるというのは いい工夫だと思いました。   ありがとうございます(゜-゜)

すると、全ての回答が全文表示されます。

関連するQ&A