- 締切済み
背理法
すみません ひとつ聞きたいことがあります。 背理法についてなのですが、その証明の仕方がわかりません 例えば QがPと同じ側にあるとすれば、△ABP=△ABQより PとQは同じ点になるか、PQを結ぶ線がABと平行になるはず。 が、ABの傾きは1であるから、PQの傾き3と一致しません。 ということを証明したいのですが、どのように表せばよいのですか?
- みんなの回答 (3)
- 専門家の回答
関連するQ&A
- 2次関数
[1]放物線y=x^2上に異なる4点A(-1,1)B(2,4),P(p,p^2),Q(q,q^2)がある。 -1<p<2のとき次の問いに答えなさい (1)ΔABPの面積をpの式で表しなさい。 (2)2点P,Qは直線y=3x+a上にあり、ΔABPとΔABQの面積が等しい。 (i)点Qは直線ABに関して点Pと同じ測にないなぜか。 (i)を証明するためには背理法を使うことはわかるのですが、実際にそのような背理法を使う問題を見たことがないのでよくわかりません。お願いします (ii)a,p,qの値を求めなさい お願いします2次関数を習い始めてまだ3日くらいなのに、こんな問題がでて何もわかりません
- 締切済み
- 数学・算数
- 二次関数
[1]放物線y=x^2上に異なる4点A(-1,1)B(2,4),P(p,p^2),Q(q,q^2)がある。 -1<p<2のとき次の問いに答えなさい (1)ΔABPの面積をpの式で表しなさい。 pの値が何なのかわからないのに、どうやったら式が求められるのかわかりません。 (2)2点P,Qは直線y=3x+a上にあり、ΔABPとΔABQの面積が等しい。 (i)点Qは直線ABに関して点Pと同じ測にないなぜか。 (i)を証明するためには背理法を使うことはわかるのですが、実際にそのような背理法を使う問題を見たことがないのでよくわかりません。助けてください (ii)a,p,qの値を求めなさい これは全然わかりません。 どうかこの問いを解くヒントを教えてください
- ベストアンサー
- 数学・算数
- これは背理法になるのでしょうか
お世話になっております。 数学にお詳しい方には、「些細なこと」と捉えられるかもしれませんが質問させて下さい。 命題「a>0,b>0…P⇔a+b>0,ab>0…Q」が成立つことを示せ。 という導入部分に登場するようなごくごく基本的な証明問題があります。 証明 「P⇒Q」を示す。これは明らかに成立つ。 「Q⇒P」を示す。 ab>0⇒a>0かつb>0…(1) または a<0かつb<0…(2)。 (1)のとき、辺辺加えてa+b>0。(2)のとき、辺辺加えてa+b<0、これは前提と矛盾する。よって、a+b>0,ab>0ならばa>0,b>0は成立つ。 以上より、与えられた命題は成立つ。 ここで質問です。この手の証明問題では、上の「Q⇒P」を示す時のように、矛盾を導いて矛盾しない場合の条件から成立つことをしめすことが多い(よう)ですが、前提に矛盾する結果を条件から導いて、その条件の否定をとるような証明方法は背理法ですよね?上記のようなのも背理法と言えるのでしょうか? 因みに今教科書の内容を一通り読み返しております。同じ教科書内に背理法についての説明もありますが、それはもっと後です。 つまらない質問と思わずにそっとお答え下されば幸いです。
- ベストアンサー
- 数学・算数
- 背理法の必要十分性について
背理法の必要十分性(正しさ?)について教えてください! つまり、背理法でP⇒Qを証明するにあたり、題意の命題が真であることは前提としてよいのでしょうか??そうでなければ、たとえばP∧(Qの否定)から矛盾が生まれたとしても、命題が真とは言えないはずでは??(集合の考え方で、(P⇒Q)⇔(P⊆Q)を考えれば明らか)
- ベストアンサー
- 数学・算数
- 対偶を示して証明する背理法について
対偶証明法も背理法の一種と考えることが出来る。 という考え方があるのですが それで、その理由について 「命題「pならばq」を証明する過程で、「¬qならば¬p」が証明できたとする。 命題を背理法で証明するために「pならばq」を否定して「pかつ¬q」。 証明されている「¬qならば¬p」はpではないので 「pかつ¬p」となり矛盾。 背理法が成立して「pならばq」は真となる。 対偶法なら 「命題「pならばq」を証明する過程で、「¬qならば¬p」が証明できたとする。」の段階で自動的に命題が真といっていい。」 という説明があるのですが 自分は 対偶証明法は 対偶を示して証明する形式の背理法と 「対偶を示して証明する」という流れが同じなので 対偶証明法も 見方によって 「対偶を示して証明する形式の背理法」と考える事が出来るので そういう意味で 「対偶証明法も背理法の一種と考えることが出来る」 ということになる、と 理解したのですが この考え方は間違っているのでしょうか?
- ベストアンサー
- 数学・算数
- 背理法についてお願いします
p⇒q という命題を背理法によって証明するときに 結論を否定しますが この結論を否定というのは pならばqである の qである を否定するということとはまた違うことなのですか?
- ベストアンサー
- 数学・算数
- 背理法と対偶法の関係について
自分の使っているテキストに 対偶法も一種の背理法と考えることが出来る。 命題「pならばq」を証明する過程で、「¬qならば¬p」が証明できたとする。 命題を背理法で証明するために「pならばq」を否定して「pかつ¬q」。 証明されている「¬qならば¬p」はpではないので 「pかつ¬p」となり矛盾。 背理法が成立して「pならばq」は真となる。 対偶法なら 「命題「pならばq」を証明する過程で、「¬qならば¬p」が証明できたとする。」の段階で自動的に命題が真といっていい。 という事が書かれており これは 「対偶法の考え方でみると「対偶が真」と証明された時点で、自動的に命題が真であると考えますが 対偶法の「対偶が証明されると、元の命題が真になる」 という流れが自動的にではなく背理法によって証明されている、と考えることが出来るので 対偶法は背理法であると考えることが出来て 「対偶法は一種の背理法と考えることが出来る」ということになる」 ということが書いてあるということで理解できました。 しかし、なぜ「一種の」と書かれているのか気になっています。 そこはあまり深く考えなくてもいいと別の場では言われたのですが、ここがわからないと理解できた気がせず、どうしても気になってしまい悩んでいます。 自分が考えているのは 対偶法を背理法として考えた場合、 それは「 背理法の中の対偶を示して証明する形式のもの」 を表している。 しかし背理法は対偶以外を示して証明することも出来るので 「背理法の何個かある証明の形式のうちの一つと同じと考えることが出来る」という意味で 「一種の背理法」という表現がされている ということかと考えています。 この考え方で間違っていることはあるでしょうか? どうかよろしくお願いします。
- ベストアンサー
- 数学・算数