数学の背理法について質問です。
「a,b が有理数の時、a+b√2 =0 ならば a=b=0 であることを証明せよ。ただし√2は無理数である。」という問題です。
回答は写真のようになってました。
しかしこのやりかしかしこのやり方ではダメなのでしょうか?↓
a+b√2=0 であって a≠0またはb≠0 である有理数a,bがあると仮定する。
b≠0とすると√2=−a/b
右辺は有理数であるが、これは√2が無理数であることに矛盾する。
したがって、a,b が有理数の時、a+b√2=0 ならば a=b=0
↑
以上が僕の回答です。
解答と僕の回答の違いは見ていただけるとすぐ分かると思いますが、b≠0と仮定しているか、a≠0またはb≠0と仮定しているか、という違いです。
たしかに、b≠0という条件にしか触れてないですし、"a≠0"という要素はほぼ関係ないので、ただb≠0とだけ仮定した方がいいのかな?とは思いますが、でも別にa≠0またはb≠0と仮定しても成り立ってると思います。
この僕のやり方が間違ってる場合は理由も教えてください!よろしくお願いします。
長文失礼しました。
A 回答 (7件)
- 最新から表示
- 回答順に表示
No.7
- 回答日時:
「a,b が有理数の時、a+b√2 =0 ならば a=b=0 であることを証明せよ。
ただし√2は無理数である。」という問題です。背理法の場合
a,b が無理数の時、a+b√2 =0 ならば a=b=0 であることを証明せよ。
a=-√6、b=√3の時(他に‐√10と√5などいくつもある)、a+b√2 =0 であるが、 a≠b≠0となって、a=b=0と矛盾する。
よって、
a,b が有理数の時、a+b√2 =0 ならば a=b=0 である
No.6
- 回答日時:
> a+b√2=0 であって a≠0またはb≠0 である有理数a,bがあると仮定する。
> b≠0とすると√2=−a/b
> 右辺は有理数であるが、これは√2が無理数であることに矛盾する。
ここまででは「a≠0またはb≠0 である有理数a,bがある」という仮定全体がまだ否定できていない。続けて
したがってb=0である。ゆえに仮定より、a+0√2=0 であってa≠0である有理数aが存在する。するとa=0かつa≠0であり、これは矛盾である。
というのが(いくら自明っぽくても)欠かせないと思います。
No.5
- 回答日時:
←No.4
いやいや...
「a≠0またはb≠0」ではなく「b≠0」を単独で仮定して
√2 が無理数であることとの矛盾が導ける。
a=0 のほうは、背理法から b=0 を導いた後で、
a+b√2=0 から言えばいい。
No.4
- 回答日時:
厳密にいえば不足している.
「a≠0またはb≠0」を仮定して「b≠0」を否定しているけど, それだけでは
a≠0 かつ b=0
を否定できていない. その否定自体は #3 でいわれているように「瞬殺」ではあるけど, さりとて無視していいってものでもない. その意味では「写真」の「回答」もあやしいところではあるんだが....
ところで「写真」ってなんだろう.
No.3
- 回答日時:
そのやり方でいいです。
a に関する検討は、 b=0 を背理法で示した後、
a+b√2=0 に b=0 を代入すれば瞬殺ですから。
少し気になるのは、√2 が無理数であること
を証明を添えずに既知として扱っても許されるのか?
という点でしょうかね。
その点は、解く人にどんな知識を仮定するかの
採点基準しだいだと思います。
No.2
- 回答日時:
a≠0の場合の検討が抜けています。
この場合は a√2+2b=0 → √2=-2b/a
となって同様の議論ができ、a≠0またはb≠0は矛盾となり、
a=0かつb=0、つまり、a=b=0 となる。
No.1
- 回答日時:
>"a≠0"という要素はほぼ関係ないので、
それではダメでしょ。
a≠0 とした計算が 矛盾している事を示さないと。
数学の証明に「ほぼ」と云う曖昧な言葉は 使えません。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 大学受験 数学 文字 置き方 数学の必要十分条件の問題のときによく見かけるのですが。 a-bが有理数のとき、a 5 2022/08/22 14:21
- 数学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 2 2022/06/28 16:28
- 教育学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 1 2022/06/28 16:26
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
- 数学 複素関数にロピタルの定理を使おうとしている回答者は、複素関数論はおろか微積分学もよく分かっていない、 5 2022/12/28 18:02
- 数学 ある無理数に限りなく近い有理数は無理数ですか、有理数ですか。 13 2023/01/31 11:18
- 数学 高校数学I 2次関数 2つの2次方程式の共通の実数解の問題についての質問です。以下の写真を見てもらえ 4 2022/05/13 11:47
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- 統計学 t統計量とF統計量について 9 2023/01/05 14:23
- 数学 数1 因数分解の問題です Q.【ab+bc-b²-ac】を因数分解せよ 私はcについて整理して、因数 6 2022/05/28 19:37
このQ&Aを見た人はこんなQ&Aも見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
カントールの対角線論法につい...
-
強い仮定、弱い仮定、とは
-
命題の証明で・・・
-
nは自然数 n^2と2n+1は互いに素...
-
逆、裏、否定、対偶
-
数Ⅰで習う背理法についてです。...
-
背理法について
-
背理法の必要十分性について
-
nが自然数のとき、2^n +1 +3^2...
-
高校数学です!m,nを整数とする...
-
3.141592653589793238462643383...
-
数独 次の一手を教えてください
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
背理法と対偶証明の違いについて
-
数学の論理学的な質問なんです...
-
pならばqである の否定について
-
数学の得意な方、時間があれば...
-
証明をお願いします
-
a,bが有理数のとき、a+b√2=0 な...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「逆もまた真なり」について
-
命題「PならばQ」でPが偽ならば...
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
n=3の倍数ならば、n=6の倍数で...
-
「逆は必ずしも真ならず」の証...
-
数学的帰納法の根本的な疑問な...
-
対偶法による無理数の証明につ...
-
数学の背理法について質問です...
-
有理数を文字置き→互いに素な整...
-
写真の命題を数学的帰納法で証...
-
nは自然数 n^2と2n+1は互いに素...
-
a,bが有理数として√6が無理数を...
-
pならばqである の否定について
-
数学の論理学的な質問なんです...
-
【命題が偽である場合の反例の...
-
背理法について質問があります...
-
自然数の証明・・・?
-
青チャートに、「命題p⇒qの否定...
-
数学 12k(2k^2+1)を36の倍数と...
おすすめ情報
ごめんなさい!写真載せ忘れました!
これから回答を読ませてもらいますが、写真の解答の上で、追加で回答があればお願いします!
写真なくて相当わかりずらかったですよね…。申し訳ないです。