「xが無理数ならば、x^2とx^3の少なくとも一方が無理数になることを証明せよ」
↑という問題で、↓のような解答は可能でしょうか?
背理法を用いる。
xが無理数のとき、x^2とx^3がどちらも無理数でない(有理数)と仮定すると、
互いに素な自然数a,bと、互いに素な整数c,d(d≠0)…(*)を用いて x^2=a/b、x^3=c/d
このとき、x=x^3/x^2=bc/ad
(*)より、bc、adともに有理数なので、bc/adは有理数。
これは、xが、無理数であることに矛盾する。
したがって命題は真である。
強引に導いてしまったので、厳しく添削していただけると嬉しいです♪
よろしくお願いします。
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
● yayoi0221 さん が提示なさいました証明の中で、私が気になったのは「 x が無理数のとき 」という個所です。
ここでは、「 x が無理数であって 」とか「 x が無理数であり、なおかつ 」などと表現したほうがよいと、私は思います。
数学の証明の中で用いられる「 … のとき 」という言葉は、「 … ならば 」を意味する場合がほとんどです ( 同義と言っても過言ではないかもしれません )。
この証明の冒頭に「 背理法を用いる。x が無理数である "ならば"、x^2 と x^3 がどちらも 無理数でない ( 有理数 ) と仮定すると、… 」と記述するのはまちがいであると、私は思います。
●「 P であるならば Q である 」を背理法によって証明しようとする場合、「 P であって Q でない 」という命題から矛盾を導き出します。
● boiseweb さん が記述なさいました ANo.1 と multipul さん が記述なさいました ANo.2 を参考に、そして、yayoi0221 さん が記述なさいました証明を参考に、私は次のような証明を記述してみました。
背理法によって証明します。x が無理数であって、x^2 と x^3 がともに有理数であると仮定します。
仮定より、x^2 は有理数ですから、x^2 = a/b を満たす 2つ の整数 a と b が存在します。ただし、b = 0 なることはありません。同様に、仮定より、x^3 は有理数ですから、x^3 = c/d を満たす 2つ の整数 c と d が存在します。ただし、d = 0 となることはありません。
また、仮定より、x は無理数ですから、x = 0 となることはありません。よって、x^2 = 0 となることはありません ( これは証明済みとして、先へ進みます )。よって、a = 0 となることはありません。
以上の結果から、次の等式が満たされます。
x = (x^3)/(x^2) = (bc)/(ad)
この等式の最右辺は有理数です。このことは、x が無理数であるとした仮定に反します。
● 別の証明を紹介させてください。
1) ( x は無理数である ) ならば (( x^2 は無理数である ) または ( x^3 は無理数である ))
を証明することは、
2) (( x は無理数であり ) かつ ( x^2 は有理数である )) ならば ( x^3 は無理数である )
を証明することと同じです。
また、筑波大学の Web ページ に、「『 0 でない有理数 』と『 無理数 』の積は必ず無理数になる 」ということ示されています。
http://www.math.tsukuba.ac.jp/~pen/set/set-ans01 …
1ページ目 の中ほど
2) と この Web ページ の記述を利用すれば、次のような証明も可能ではないでしょうか。
x が無理数であって、x^2 が有理数であると仮定します。仮定より、x は無理数ですから、x = 0 となるこはありません。よって、x^2 = 0 となることはありません ( これは証明済みとして、先へ進みます )。「 0 でない有理数 」と「 無理数 」との積は必ず無理数になりますから、x と x^2 の積、すなわち x^3 は無理数になります。
● 以上の私の記述にまちがいがありましたら、ひらにごめんなさい。
No.2
- 回答日時:
a,bやc,dが互いに素かどうかはこの問題に特に関係しないので書かなくてもよい(書いてもいいけど書かなくてもよいということ)。
d≠0は仮定とx^3=c/dからわかるので書かなくてもよい。
bc/adの分母が0でないことを示すためにa≠0は書くべき。解答に自然数aと書いてるからいい、ということではなくてなぜa≠0なのかを書いたほうがいい。なお、自然数に0を含める流儀もあるので注意。
背理法を使うための仮定の立て方はそれでいい。
No.1
- 回答日時:
↓この質問への回答(#1)でも述べたことですが,私のおすすめは「背理法より対偶法」です.
背理法と命題の否定について
http://oshiete.goo.ne.jp/qa/6051628.html
あなたの証明を見直してみましょう.最初に「x は無理数」と仮定しています.でも,証明の議論の最中では,実はその仮定を積極的に使ってはいません(「x≠0」という形で暗黙的に使っていますが).結論を導く直前ではじめて,「~に矛盾する」と言うために,思い出したように引っ張り出しているのです.
こういう場合は,証明すべき内容を対偶に言い換えておいて,それの証明を書いたほうが,すっきりします.
実際,この証明から,最初の「xが無理数である」と最後の「これは,x が,無理数であることに矛盾する」を取り除いたら,それは本質的に「x^2, x^3 がともに有理数ならば x は有理数である」の証明になっています.
(正確に言えば,x=0 と x≠0 に場合分けしたときの x≠0 の場合について,この証明の議論がそのまま使える,ということです.x=0 の場合は直ちに「x は有理数」と結論できるので,x≠0 の場合が本質的です.)
上述の「おすすめ」を別にすれば,基本的な議論の方針は good で,証明の記述もよく書けているほうだと思います.
私からは「分母が 0 にならないことの保証について,よりていねいに言及すべし」とだけアドバイスしておきます.
ありがとうございました(*^_^*)!!
boisewebさんのアドバイスを参考にして、もっとわかりやすい解答になるように修正したいと思います。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 数学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 2 2022/06/28 16:28
- 教育学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 1 2022/06/28 16:26
- 数学 数1 因数分解の問題です Q.【ab+bc-b²-ac】を因数分解せよ 私はcについて整理して、因数 6 2022/05/28 19:37
- 数学 ある無理数に限りなく近い有理数は無理数ですか、有理数ですか。 13 2023/01/31 11:18
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- 数学 数学に詳しい方、教えて下さい! 写真の三角形ABCの辺AB、AC上に、それぞれ 点D、Eがある時、D 3 2022/05/07 21:51
- 数学 多項式の性質と無理数・有理数 2 2022/06/21 06:50
- 数学 2次以上の多項式g(x)であって, 任意の無理数に対して無理数の値を取るものは存在しないことを示せ. 8 2022/06/27 11:28
- 数学 数学の質問です。写真の命題の否定の問題の(3)についてですが、無理数を有理数に変えたり変えたりしない 1 2022/08/03 18:56
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
幽霊が存在していないことを証...
-
存在しない事を証明するのは悪...
-
証明終了の記号。
-
(4^n)-1が3の倍数であることの...
-
3,4,7,8を使って10を作る
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
中3数学 2つの続いた整数では、...
-
log(x) が連続 であることの証明
-
夫が亡くなった後の義理家族と...
-
ゴールドバッハ予想について考...
-
群の生成についての問題
-
√2×√3=√6となることを証明せよ...
-
元夫が彼女の存在を隠す理由
-
婿養子です、妻と離婚して妻の...
-
無理数って二乗しても有理数に...
-
ブール環
-
よって・ゆえに・したがって・∴...
-
liman=a(n→∞)、limbn=b(n→∞)な...
-
はさみうちの定理はなにでは挟...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
学割定期を親に買ってきてもら...
-
(4^n)-1が3の倍数であることの...
-
再婚、奨学金
-
素数の性質
-
なぜ独身だと養子が持てないの...
-
元夫が彼女の存在を隠す理由
-
成人した後両親が離婚し別の人...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
通学証明書の契印とは
-
無理数って二乗しても有理数に...
おすすめ情報