- ベストアンサー
log₂3は無理数であることを示せ。互いに素必要？
自分の持ってる問題集に log₂3は無理数であることを示せ。 ㅤㅤㅤㅤㅤ ㅤㅤㅤㅤㅤ という問題がるんですけど、この問題の解説が log₂3を有理数と仮定して log₂3＝a/b （a,bは互いに素な正の整数） ３＝２^(a/b) 両辺をb乗して 3^b＝2^a より矛盾 log₂3は無理数である (証終) これってa,bが互いに素な必要ってないと思うんですけど、どう思われますか？
- OK WAVE（@Evil_Wind）
- お礼率29% (102/346)
- 数学・算数
- 回答数3
- ありがとう数4
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
>両辺をb乗して 3^b＝2^a より矛盾… ↑ 左辺は必ず奇数、右辺は必ず偶数、よって「矛盾」 … なのでしょう。
その他の回答 (2)
- N5200model05
- ベストアンサー率39% (99/253)
必要ないというより、「有理数」の定義自体が、「a/b （a,bは互いに素な正の整数）」であるからです。 「互いに素」と書かないと、「なんで、互いに素でなくても有理数をそう表せるのか」を、説明しなくちゃいけません。「約分すれば互いに素になるから」、と言えばいいだけですが、まじめに書くと面倒くさいですよね。 まぁ、あえて「互いに素」と書かないで証明する方法もありますけど、若干回り道になるのは否めません。
補足
え、たとえば4/2これも有理数ですけど、互いに素ではありませんよ？
- gamma1854
- ベストアンサー率54% (287/522)
もちろん、log[2](3)=A/B, GCM(A, B)＝k (≠1)、(A=ka, B=kb) としてもかまいません。 その際は、(3^b)^k=(2^a)^k. すなわち、3^b=2^a となり、GCM(A, B)=1 の場合に帰着します。
補足
いや、互いに素に帰着しなくてもいいと思います。この問題の本質は2と3が互いに素であることだと思うのですが？よく考えてみてください。
関連するQ&A
- 有理数を文字置き→互いに素な整数？自然数？
「√3が無理数であることを既知として√2 +√3が無理数であることを示せ」 という問題ですが、背理法で√2 +√3が有理数であることを仮定して解くことは分かったのですが、解説を読むと、 "√2 +√3 = q/p (p, qは互いに素な整数) しかも√2 +√3 >0なのでp, qは自然数とおけます" と書かれています。 "左辺が正だからp, qは自然数だ"という部分がよく分からないです。 (1)p, qがどちらも負の整数だという可能性はどうして無いのでしょうか？ (2)p, qを自然数に限らずに整数のままで解いていったとしても解ける気がするのですが、自然数という設定は必要なんでしょうか？ よろしくお願いします。
- 締切済み
- 数学・算数
- √7が無理数であることの証明
√7は無理数であることを証明せよ。ただし、nを自然数とする時、n^2が7の倍数ならば、ｎは7の倍数であることを用いてもよいものとうする。 解 √7が無理数でないと仮定すると,１以外に公約数を持たない自然数a,bを用いて√7=a/bと表される・・・・・以下省 教えてほしいところ 有理数というのはa,ｂという整数を用いてa/bと表される数とかいてありました。 この記述だと、49/7は有理数じゃないと言っているように思えます。 いいんでしょうか？？ また、自然数と限定しているのも疑問です。-3と-2で-3/-2これも有理数でさらに正です。 これを除外すると-3/-2は有理数じゃないということになります。 これは除外して考えてはいけないのでは？？
- ベストアンサー
- 数学・算数
- 最大公約数 と 互いに素 の関係
自然数aと自然数bの最大公約数＝G ⇒ 自然数a＝整数x × G かつ 自然数b＝整数y × G かつ 整数xと整数yは互いに素 という定理について疑問があります 自然数a＝整数x × G かつ 自然数b＝整数y × G の部分は最大公約数の定義から明らかなのですが 整数xと整数yは互いに素 がなぜこう言えるのかわかりません 教えてください またこれは⇔はなりたつのでしょうか？ また自然数a 自然数b ではなく 整数a 整数b といった場合には成り立つのでしょうか？ ※ここでは「倍数」、「約数」とうは負の数まで考える定義を採用しています 例:6の約数＝-6,-3,-2,-1,1,2,3,6
- ベストアンサー
- 数学・算数
- 数II論証の問題について
「ｘが無理数ならば、ｘ＾2とｘ＾3の少なくとも一方が無理数になることを証明せよ」 ↑という問題で、↓のような解答は可能でしょうか？ 背理法を用いる。 xが無理数のとき、ｘ＾2とｘ＾3がどちらも無理数でない（有理数）と仮定すると、 互いに素な自然数a,bと、互いに素な整数c,d(d≠0)…（*）を用いて ｘ＾2=a/b、ｘ＾3=c/d このとき、ｘ=ｘ＾3/x^2=bc/ad （*）より、bc、adともに有理数なので、bc/adは有理数。 これは、ｘが、無理数であることに矛盾する。 したがって命題は真である。 強引に導いてしまったので、厳しく添削していただけると嬉しいです♪ よろしくお願いします。
- 締切済み
- 数学・算数
- 互いに素であることの証明問題です
互いに素であることの証明問題です a と b は２つの整数であるとします 今 a と bは互いに素であることが分かっているとして a^n と b が互いに素であることを証明しなさい (nは n＞0 の整数) という問題なのですが 互いに素になることは分かるのですが 証明をせよと言われるとどうしていいか分かりません 数学的帰納法を使えばいいのでしょうか？？ お手数ですがお分かりになられる方 教えていただけませんか お願いします
- ベストアンサー
- 数学・算数
- 背理法についての質問です
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は無理数
- ベストアンサー
- 数学・算数
お礼
お礼をさせて頂きます。ご回答してくださった方ありがとうございました。感謝申し上げます。！
補足
その通りです！つまりa,bは互いに素な必要はないわけです。