数学の背理法について質問です。
「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も見ています
-
外出時に「待たせる妻」vs イライラする「待つ夫」は日本だけ?見習いたい海外事情
夫の家事参加に積極的なイメージのある海外でも、同様の事例はあるのか。結婚カウンセラーの佐竹悦子さんに伺ってみた。
-
a,bが有理数のとき、a+b√2=0 ならば a=b=0 という命題の否定が、「a+b√2=0 であ
数学
-
数学1 背理法について
高校
-
幾何学の問題が分かりません
数学
-
-
4
a=b=0の否定はaが0でないまたはbが0でないなので背理法でbが0でないことを矛盾させて、b=0と
大学受験
-
5
どうしてa>0, b>0のとき、a=b⇔a^2=b^2なのでしょうか?
数学
-
6
代数学の質問です(偶置換と奇置換の判別)
数学
-
7
代数学の質問です[準同型写像の証明]
数学
-
8
a+bが有理数ならa,bはともに有理数である の反例を教えてください。
高校
-
9
大学の代数学の課題で困っています。
数学
-
10
数学の確率の超有名問題で、サイコロを連続で振ったとき同じ目が出る確率で2回なら1/36、3回なら1/
数学
-
11
【代数学】可換群の証明
数学
-
12
幾何学の問題です。 「2点A,Dが直線BCの同じ側にあって、角BDC=角BACならば四点A,B,C,
数学
-
13
logの問題でルートが出てきたときはどうやって計算しますか? 例えば、a=log10 2 , b=l
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「逆もまた真なり」について
-
「逆は必ずしも真ならず」の証...
-
証明で存在性、一意性の証明す...
-
n=3の倍数ならば、n=6の倍数で...
-
自然数の証明・・・?
-
命題「PならばQ」でPが偽ならば...
-
定理、命題、補題、系について...
-
数学 背理法
-
対偶法による無理数の証明につ...
-
nは自然数 n^2と2n+1は互いに素...
-
a,bが有理数として√6が無理数を...
-
数学で出てくる十分性と必要性...
-
数学の背理法について質問です...
-
数学的帰納法の根本的な疑問な...
-
反例
-
矛盾する記号
-
命題について質問です
-
a>0、b>0⇔a+b>0、ab>0
-
命題の証明がわかりません
-
絶対とはなんなのか
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
この√2が無理数であることの証...
-
写真の命題を数学的帰納法で証...
-
数学 12k(2k^2+1)を36の倍数と...
-
命題「PならばQ」でPが偽ならば...
-
「逆もまた真なり」について
-
n=3の倍数ならば、n=6の倍数で...
-
a>0、b>0⇔a+b>0、ab>0
-
ITはDXの十分条件であり DXはIT...
-
強い仮定、弱い仮定、とは
-
数学の背理法について質問です...
-
数学で出てくる十分性と必要性...
-
カントールの対角線論法につい...
-
【命題が偽である場合の反例の...
-
高校数学です!m,nを整数とする...
-
数学の論理学的な質問なんです...
-
nは自然数 n^2と2n+1は互いに素...
-
命題論理に関する英単語
-
数学的帰納法の根本的な疑問な...
-
背理法と対偶証明の違いについて
-
「逆は必ずしも真ならず」の証...
おすすめ情報
ごめんなさい!写真載せ忘れました!
これから回答を読ませてもらいますが、写真の解答の上で、追加で回答があればお願いします!
写真なくて相当わかりずらかったですよね…。申し訳ないです。