- 締切済み
二次方程式
hinebotの回答
- hinebot
- ベストアンサー率37% (1123/2963)
>一般性を失うことなく >α=n/m ただし「ｍ，ｎは整数で互いに素，ｍ＞０」 >とおけます． あとは解と係数の関係を使って、ｍ≠１だと矛盾することを導きましょう。 （解αが有理数なら、もう一つの解も有理数であることはすぐに言えますね。） 【２次方程式の解と係数の関係】 ax^2+bx+c = 0 (a≠0) の２つの解をα、βとすると α＋β＝-b/a、αβ=c/a である。
関連するQ&A
- 高校レベルの数学の問題（方程式）教えてください！！
整数a,bを係数とする2次方程式X^2+aX+b=0が有理数の解αをもつときαは整数であることを示せ。 問題集の解答 α＝n/m(m,nは互いに素な整数、mは0でない) とおく。 「質問壱 α＝n/mと置いたのは有理数の形にした。だけ？」 αはX^2+aX+b=0の解なので (n/m)^2+a(n/m)+b=0 n^2+amn+bm^2=0 mが±1でない ならば、mはある素因数Ｐを含む。 「質問弐 ±1の条件はm=±1ならαは整数になるから？でも整数も有理数なのだからそのままでもいいのでは？」 するとn^2=-m(an+bm)も素因数Pを含む。 n^2の素因数はnの素因数だから、Ｐはnの素因数となり、m,nは公約数Ｐをもつことになる。これはm,nが互いに素であるという仮定に反する。よってm=±1 α=±n(整数) 実を言うとこの解答はほとんどわかっていません。 1．α=n/mという有理数の形にしてみる。 2.実際に与式にn/mを代入したとき、n/mが約分して整数の形になってしまう。だからαが有理数の解ならαは必ず整数ってことが証明できる。っていうことをしているんでしょうか？？ でも解答みるとなんか難しいことかいてるんで良くわからなくて？こんなに難しいことしないと駄目なんでしょうか？？解答ってこれ背理法ってやつですか？あまり背理法理解してないもんで。これ背理法かどうかもわからない。
- ベストアンサー
- 数学・算数
- 背理法についての質問です
p√2が無理数であることを背理法を用いて証明せよ。 という問題です。 √2が無理数であるという証明は、下のようにわかるのですが p√2が無理数であるという証明は同じように解けるのでしょうか？ √2が有理数であると仮定し，これをn/mとおく. （ここに，m，nは整数で互いに素） 両辺を２乗すると 2＝(n/m)^2 2m^2＝n^2 よって，nは2の倍数・・・(1) n＝2kとおく 2m^2＝4k^2 m^2＝2k^2 よって，mは2の倍数・・・(2) (1)(2)はm,nが互いに素という仮定に反し，矛盾． ゆえに，√2は無理数
- ベストアンサー
- 数学・算数
- √7が無理数であることの証明
√7は無理数であることを証明せよ。ただし、nを自然数とする時、n^2が7の倍数ならば、ｎは7の倍数であることを用いてもよいものとうする。 解 √7が無理数でないと仮定すると,１以外に公約数を持たない自然数a,bを用いて√7=a/bと表される・・・・・以下省 教えてほしいところ 有理数というのはa,ｂという整数を用いてa/bと表される数とかいてありました。 この記述だと、49/7は有理数じゃないと言っているように思えます。 いいんでしょうか？？ また、自然数と限定しているのも疑問です。-3と-2で-3/-2これも有理数でさらに正です。 これを除外すると-3/-2は有理数じゃないということになります。 これは除外して考えてはいけないのでは？？
- ベストアンサー
- 数学・算数
- ペル方程式の自然数解と有理数解
Dを平方数でない自然数とするとき、ペル方程式 x^2-Dy^2=1 は非自明な整数解(x,y)∈Z^2、特に自然数解(x,y)∈N^2を持つことは有名な事実です。Dirichlet原理(無理数の整数周期性の非存在)を用いた抽象論的証明や、二次無理数の(正則)連分数展開の周期性を用いた構成的証明が知られていると思いますが、非自明な有理数解でよいのなら、 (x,y)=((D+n^2)/(D-n^2),2n/(D-n^2))が確かに解を与えることは直ちにわかります。必要というわけではないですが、n^2<D<(n+1)^2としておきます。 もちろん(D+n^2)/(D-n^2)と2n/(D-n^2)が自然数になるようなD、たとえば、D=2,3,5,6,8,10,…などは非自明な自然数解の存在も同時にわかるわけですが、たとえばD=7などでは自然数解の存在まではこれだけではわかりません。そこで、有理数解の存在を既知とした場合、それから自然数解の存在を導く証明はないのか、と考えたのですが、思いつきませんでした。もし何かよい方法があればご教授いただけませんか？
- 締切済み
- 数学・算数
- log2(3)は代数的無理数？
超越数の定義について、高校時代は「どんな方程式の解にもならない実数のこと」と教わりました。 なるほど、ルート２はx^2=1の解だし、log2(3)は2^x=3の解だから「超越数ではない無理数、つまり代数的無理数」なのか・・・とそのときは納得したのですが、大学の数学の本を見ると、超越数の定義が高校時代に教わったのとは異なることに気づきました。 大学参考書には、超越数とは「どんな有理係数n次方程式の解にもなりえない実数」と書かれているのです。 有理係数n次方程式ということは、二次方程式とか三次方程式じゃないとダメですよね。2^x=3は有理係数n次方程式ではありません。 log2(3)は代数的無理数のはずですよね？ だったら、log2(3)はどんなn次方程式の解になっているのでしょうか？
- ベストアンサー
- 数学・算数