- 締切済み
有理数
- みんなの回答 (4)
- 専門家の回答
みんなの回答
>a+b√2=0がa=b=0となるのを知らないので教えて頂けますか? a, b を有理数として、a+b√2=0 なら、√2 は非零なので、まず a=b=0 が解。 a, b ともに零じゃないと想定すれば、√2=-a/b が成立つことになる。右辺は有理数、左辺は無理数だから、これはあり得ない。 …というのが、ふつうの説明です。
#1 です。 このような問題を解かされる場は学校等しかないと考えたので、さぐりのアドバイスで済ませてました。失礼。 この問題を出すからには、#2 さんの「a+b√2=0 は、a=b=0 となる事」をすでに教えてくれてるはずです。 p*√2 + (√2-1)*q = 2 - √2 を p*a + (a-1)*q = 2 - a と書きかえれば、 (p+q+1)*a = 2 + q ですから、a が零以外であれば無理数だろうがなかろうが、(p+q+1) = 2 + q = 0 が一つの解だということはわかりますね。 ただし、解がこれ以外に無いのかという吟味が必要なのです。 あらためて、補足要求です。 「a+b√2=0 は、a=b=0 となる事」は既知ですか?
補足
回答ありがとうございます。解き方は理解することができました。 ただ、a+b√2=0がa=b=0となるのを知らないので教えて頂けますか?
- mister_moonlight
- ベストアンサー率41% (502/1210)
“√2 が無理数である事を 使って良い”との指示が、問題文になければ、安易には行かない。 或いは、aとbが有理数で √2 が無理数である時、a+b√2=0は、a=b=0となる事の証明が必要。
>p/(√2-1)+q/√2=1 p, q の整式に変形して有理部と無理部を等置、かな? p*√2 + (√2-1)*q = 2 - √2 -q + (p+q)*√2 = 2 - √2 ↓ -q = 2 & p+q = -1
関連するQ&A
- 無理数と有理数の証明
√2が無理数であることは既知とし、√2+√3が無理数であることを次のように証明した。 まず、p=√2+√3、q=√2ー√3とする。 (1)pq=-1は有理数であるから、もしpが有理数ならqも有理数である。 (2)同様にqが有理数ならpもまた有理数である。 (3)またp+q=2√2は有理数ではないからpが有理数ならqは有理数ではない。 (4)よってqを有理数と仮定しても有理数でないと仮定してもpは有理数である。 (5)それゆえpうぃ有理数と仮定すると矛盾が生じる。 異常によりpは無理数である。 上の証明で不要と思われる文章を教えて下さい。 頭が混乱してさっぱり分かりません。 ご教示いただけますと助かります。
- 締切済み
- 数学・算数
- (x,y)に有理数があるかどうか
x,yを実数としたとき(x<y)、区間(x,y)に有理数があることをしめすという教科書の問題を模範解答とは違う方法でやってみたので、間違ってるところを指摘もらえますか?よろしくお願いします。 有理数は上にも下にも有界でないので、p<x<y<qとなる有理数p、qが存在する。 1. (p+q)/2∈(x,y)ならば終了 2. そうじゃない場合 a) y<(p+q)/2 ならば (p+q)/2=q_1とし p<x<y<q_1 b) (p+q)/2<x ならば p_1=(p+q)/2とし (p_1)<x<y<q と区間を狭めていく。 そこからまた 不等式の両端を平均して、、、というのをくりかえす 有理数足す有理数÷2は有理数。 y-xは無限大や無限小ではないので、 有限回のうちに区間(x,y)に平均値を持つような有理数が出てくる といった感じでしめせてますでしょうか。。。?
- ベストアンサー
- 数学・算数
- 任意の2つの有理数間,実数間それぞれにかならず無理数が存在する?
任意の2つの有理数p,q(p<q)間に必ずp<r<qなる有理数rが採れる事は r=(p+q)/2と採ればいい事はわかったのですが 任意の2つの有理数p,q(p<q)間に必ずp<r<qなる無理数rが採れる事、 そして、 任意の2つの実数p,q(p<q)間に必ずp<r<qなる無理数rが採れる事、 はそれぞれrをどういう風に採れますでしょうか?
- 締切済み
- 数学・算数
- cos(有理数*2π)=有理数となるのはどういったときですか
先日、tan1°、sin1°が無理数であるとのご回答を いただきました。 http://oshiete1.goo.ne.jp/kotaeru.php3?q=2209804 cos(n°)が有理数になるのは、1≦n≦89の範囲では、n=60のときになるときだけ、と自分自身で考えたことをお礼の欄で述べましたが、それはしらみつぶしの方法でした。 改めて、cos(2π*p/q)が有理数となる場合はどういったときか、を教えていただきたいです。以後、孤度法を用います。 sinやtanも気になりますが、とりあえずcosがやりやすそうです。 孤度の(有理数*2π)を区間[0,π/2]上の点に限ると、 結論は、次の場合のみであろうと僕は思います。 cos(0)=(-1),cos(π/3)=1/2,cos(π/2)=0 さて、それを示したいのですが、cos(nθ)はcosθの整数係数n次多項式でかけると言うn倍角の公式があります。 http://www004.upp.so-net.ne.jp/s_honma/inequality/tschebyscheff.htm をみると、その最高次の係数は、2^(n-1)です。 定数項は、0または±1です。 つまり、文字を自然数として、 cos(2π*p/q)=r/s と仮定したとき、左辺のq倍角は、 1=cos(2π*p)=[cos(2π*p/q)を変数とする整数係数q次多項式、最高次の係数は2のベキ] になりますが、それが有理数解r/sを持つなら、分母のsは2のベキになることが分かります。 ここで、分母が2のときは、cos(π/3)=1/2などの解がある。 分母が4のときは、・・・、うーん、ここでつまりました。 別の解法でもいいですので、ヒントでもいいですので、tanなどの場合でもいいですので、なにかご教授いただけないでしょうか?
- ベストアンサー
- 数学・算数
- P、qは有理数とする。√2 が無理数であること用い
P、qは有理数とする。√2 が無理数であること用いて次の命題を証明せよ。 P+q√2=0 => P=q=0 全くわかりません。教えてください。
- 締切済み
- 数学・算数
- 実数、有理数、無理数について
初歩的な質問で恐縮なのですが、 ふとした疑問が沸いてしまったので教えてください。 R:実数 Q:有理数 P:無理数 φ:空集合 としたとき (1)Q+P⊂R Q∩P=φ (2)Q⊂P⊂R どちらですか?
- ベストアンサー
- 数学・算数
- cos(有理数*π)=有理数、などについてお尋ね(長文)
先日、「cos(有理数*2π)=有理数となるのはどういったときか」 http://oshiete1.goo.ne.jp/kotaeru.php3?q=2212683 という質問に、親切なご回答を頂きました(感謝です)。 結果だけをまとめますと、 「mとnを互いに素な自然数とする。 cos{(m/n)π}が有理数となる⇔n=1,2,3 sin{(m/n)π}が有理数となる⇔n=1,2,6 tan{(m/n)π}が有理数となる⇔n=1,2」 ここで、新たに疑問が浮かびます。 http://www.iis.it-hiroshima.ac.jp/~ohkawa/math/math_prob_analy.htm の問題177で、 「a(但し、0<a<1/4とする。)を有理数とする時、tan(aπ)は無理数である。」 がGaussの整数環がPIDで有る事を使えば、容易に証明出来るとあります。 (僕が考えた証明、多分不備あり。) tan(aπ)が有理数とすると、 tan(aπ)=y/x(x,yは互いに素な自然数)とかける。 Gaussの整数x+iyを考えると、原点との線分がx軸とのなす角度は、 arg(x+iy)=aπ 有理数a=p/qとして、Gaussの整数x+iyをq乗すると、 arg(x+iy)^q=aπ*q=pπ つまり、 (x+iy)^q=実数 http://members.ld.infoseek.co.jp/aozora_m/suuronN/node57.html に書かれていることから、両辺を因数分解すると、単数倍の違いを除いて一意的。 右辺が奇素数を因数に持つとき、上記サイトの定理40より、 それはガウス素数か、(a+bi)(a-bi)の形になるが、左辺はそれを因数にもたないから不適。 右辺が2を因数に持つとき、上記サイトの定理40の上のコメントより、 それは単数倍の違いを除いて2=(1+i)(1-i)なので、左辺は、x+iy=1+iなどの場合に限られる。 このとき、0<a<1/4では、tan(aπ)=y/x=1に矛盾。証明終わり。 この問題は、aを有理数とするとき、tan(aπ)も有理数であるのは、a=整数or奇数/4と主張しています。 これを使って、Gaussの整数の観点から、cos(aπ)が有理数である条件を求めれないでしょうか?
- 締切済み
- 数学・算数
- 数学A 等式を満たす有理数
次の等式を満たす有理数p,qの値を求めよ。 1+√5p+(3-2√5)q=0 全く分かりません(泣) ヒントに a,bが有理数、√cが無理数のとき、a+b√c=0ならa=b=0 ってあるんですがこれをどうにかして利用するんでしょうか… よろしくお願いします。
- ベストアンサー
- 数学・算数
- 整数、有理数、実数について
A0={p∈R:p<√2}Rは実数 A1={p∈Q:p<√2}Qは有理数 A2={p∈Z:p<√2}Zは整数 このときA0⊃A1⊃A2を示せ。という問題なのですが、明らかに自明なので一体どうやったら証明できるのかで悩んでいます。皆さんならどのように証明されますか?背理法が有効なのでしょうか?
- ベストアンサー
- 数学・算数
お礼
回答ありがとうございます。その式が分かりました。これで、問題が解けます^^