![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
→AB≠→0 かつ →AC≠→0 かつ →ABと→ACが平行でないとき、s→AB+t→AC=→0(s、t:実数)ならば、s=0かつt=0が成り立つことを示せ。
という問題です。まったく解らなかったので解答を見てもよくわかりませんでした。
解答
→AB≠→0 かつ →AC≠→0 かつ →ABと→ACが平行でないとき、
「s→AB+t→AC=→0ならば、s=0かつt=0」・・・*
が成り立つことを、この対偶は
「s≠0またはt≠0ならば、s→AB+t→AC≠→0」・・・**
を示す事によって、証明する。
(1)s=0 かつ t≠0のとき
s→AB+t→AC≠→0
→0+t→AC≠→0
t→AC≠→0
(2)s≠0 かつ t=0のとき
s→AB+t→AC≠→0
s→AB+→0≠→0
s→AB≠→0
(3)s≠0 かつ t≠0のとき
s→AB+t→AC=→0・・・(ア)
と仮定すると、s→AB=-t→AC
→AB=-t/s→AC
→AB平行→ACとなるが、これは→ABと→ACが平行でないと矛盾する。ゆえに(ア)が成り立たないから
s→AB+t→AC≠→0
以上(1)(2)(3)より*の対偶**が成り立つので
→AB≠→0 かつ →AC≠→0 かつ →ABと→ACが平行でないとき、
s→AB+t→AC=→0ならば、s=t=0が成り立つ。
と書いてありました。
命題の対偶を取ってそれが成り立つならば、命題は成り立つという所まではわかりました。
次に(1)(2)(3)と場合わけしていますよね!それ以降がわかりません。詳しい解説お願いします。
何で3つ場合わけが必要なのですか?
(1)(2)はただ代入しているだけですよね?
(3)は代入せずに仮定しているのですか?
すいませんが、できるだけ詳しい解説お願いします。
No.4ベストアンサー
- 回答日時:
ご質問にピンポイントに答えます。
(1)(2)はただ代入しているだけですよね?
→ そのとおりです。
(3)は代入せずに仮定しているのですか?
→ みなさんが書かれている通り、**を背理法で証明しているのですね。
s=0 とか t=0 は代入できますが、s≠0 とか t≠0 とかは
代入できませんから、背理法を使ったちょっと難しい証明となっています。
何で3つ場合わけが必要なのですか?
→ 以下の説明で納得できますでしょうか?(少々私見が入っています)
本当は(3)の証明だけで済ませたいのです。
ただし、(3)の証明を読むとわかりますが、
・sで割っているので s=0 だとまずい
・→AB=-t/s→AC だから →AB平行→AC という流れにしたいが、
t=0 だと →AB=→0 となってしまい、「平行」では説明できない
という理由により、s=0, t=0 の場合については(3)の証明方法では
説明できないのです。
そのため、s=0 の場合、t=0 の場合については、別途証明しなければならず、
これを(1)(2)としたということです。
(この場合の証明自体はご指摘の通り「代入するだけ」であり、簡単です)
参考になりましたでしょうか?
No.3
- 回答日時:
もとの命題は、
「s→AB+t→AC=→0」ならば、「s=0かつt=0」
ですので、対偶は、ひっくり返して、
『「s=0かつt=0」でない』ならば、『「s→AB+t→AC=→0」でない』
ですね。この前半部分についてですと、sとtの場合分けは、
1)s=0 t=0
2)s≠0 t=0
3)s=0 t≠0
4)s≠0 t≠0
ですから、『「s=0かつt=0」でない』とは、2,3,4の時を示します。ということで、場合分けをしているのです。
場合分けの理由は、それぞれの証明の中で、s、tの条件を使っているから、としか言いようがありません。証明のテクニックとでも言いましょうか、この部分は慣れるしかないようです。
No.2
- 回答日時:
「対偶の証明」と本質的に同じですが、以下のように、「背理法」の方がわかりやすいのでは。
(これは、「√2が無理数である」ことを示すのに、結論である「無理数」を否定し、「有理数」だとすると、つまり、√2が有理数であると仮定すると矛盾が生じることを示すというヤツと同じです。)
「s=0かつt=0」の否定「s≠0またはt≠0」を仮定し、これだと矛盾が生じることを示す。
(以下、ベクトルを表す矢印は省略します。)
(1)s≠0のとき
sAB+tAC=0なので、AB=(-t/s)ACである(これは、s≠0なので、sで割り算できることがポイントです)。
これは、ABとACが平行であることを示している。しかし、ABとACは平行ではないので、矛盾である。
(2)t≠0のとき
sAB+tAC=0なので、AC=(-s/t)ABである(これは、t≠0なので、tで割り算できることがポイントです)。
これは、ACとABが平行であることを示している。しかし、ACとABは平行ではないので、矛盾である。
以上により、どちらにしても矛盾するので、「s≠0またはt≠0」は正しくない。つまり、「s=0かつt=0」である。
No.1
- 回答日時:
対偶をとった、ということは全部入れ替わります(説明しにくいですが・・・)仮定と結論の向き(矢印の向き)が逆になり、「かつ」は「または」になります。
これが対偶です。このへんは教科書に詳しく書いてあると思います。「s≠0またはt≠0」というのは「s≠0かつt=0」「s=0かつt≠0」「s≠0かつt≠0」の3通りあります。教科書の集合とかのへんに書いてあると思います。難しいですね、日本語の問題みたいな気がしますが。(1)、(2)は代入すると、片方は条件から0になりますがもう片方は仮定と与えられた条件から≠0がいえます。問題の大前提で→0でない、と言っているし場合分けの条件で係数も0でないとしているので0になりませんね。(3)は、背理法という証明のやりかたで、仮定をし、そこから矛盾するとこを見つけることでその仮定が間違っていた、仮定はおかしいと導くものです。つまり
s→AB+t→AC=→0・・・(ア)
という仮定が間違っていたから
s→AB+t→AC≠→0
がいえるわけです。この場合は、仮定(ア)が正しいとすると、ACはABの実数倍になります。ベクトルは方向と大きさを持っていますよね?ベクトルがベクトルの実数倍になるということは、方向(向き)が同じベクトルですよね?同じ向きのベクトルということは、平行だということですよね?ここで、問題文では二つのベクトルは平行でない(1行目)、と言っているのでここが矛盾している、となるわけです。
質問の内容からすると、高校生位の方ですか?ここらへんの証明はややこしく難しい所ですが、頑張ってください。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・歩いた自慢大会
- ・許せない心理テスト
- ・字面がカッコいい英単語
- ・これ何て呼びますか Part2
- ・人生で一番思い出に残ってる靴
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・初めて自分の家と他人の家が違う、と意識した時
- ・単二電池
- ・チョコミントアイス
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
n=3の倍数ならば、n=6の倍数で...
-
a>0、b>0⇔a+b>0、ab>0
-
命題「PならばQ」でPが偽ならば...
-
高学歴でも使えない人は使えな...
-
a,bが有理数として√6が無理数を...
-
数学の論理学的な質問なんです...
-
高校数学です!m,nを整数とする...
-
xy=0ならばx=0またはy=0 の対偶...
-
数学的帰納法の根本的な疑問な...
-
ウソつき者
-
考え方は必要十分条件の問題だ...
-
証明問題です
-
数学の背理法について質問です...
-
【命題が偽である場合の反例の...
-
対偶法による無理数の証明につ...
-
有理数を文字置き→互いに素な整...
-
強い仮定、弱い仮定、とは
-
カントールの対角線論法につい...
-
矛盾と両立
-
命題 裏の真偽
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
命題「PならばQ」でPが偽ならば...
-
n=3の倍数ならば、n=6の倍数で...
-
高校数学 ドモルガンの法則につ...
-
命題を証明せよとはどういう意...
-
数学の背理法について質問です...
-
命題論理に関する英単語
-
「逆もまた真なり」について
-
a>0、b>0⇔a+b>0、ab>0
-
強い仮定、弱い仮定、とは
-
有理数を文字置き→互いに素な整...
-
高校数学、論理
-
数学の論理学的な質問なんです...
-
a,bが有理数として√6が無理数を...
-
数学B漸化式です。 a1=1/5, an+...
-
青チャートに、「命題p⇒qの否定...
-
x≠1⇒xの二乗≠1の真偽
-
高1の数学の問題です
-
ウェイソン選択課題について悩...
-
数学で出てくる十分性と必要性...
-
高校数学です!m,nを整数とする...
おすすめ情報