- ベストアンサー
論理と集合 必要条件・十分条件
(1) 実数x,y,zに対し、x+2y+z^2=0はx=y=z=0であるための 必要条件であるが十分条件でない (2) 整数nについて、√nが無理数であることは、nが奇数であるための 必要条件でも十分条件でもない (3) a、bは実数とする。b<0であることは、2次方程式x^2+ax+b=0が実数解をもつための 十分条件であるが必要条件でない 全て求め方が全くわかりません…。 どのように考え計算すれば良いでしょうか。
- 数学・算数
- 回答数5
- ありがとう数5
- みんなの回答 (5)
- 専門家の回答
質問者が選んだベストアンサー
判別式D=b^2-4acに当てはめれば良いのですよね? >> b<0であれば a^2≧0>4bとなるので、↑ここがわかりません >この問題の判別式はD=a^2-4bです。 b<0であれば4b<0です。一方a^2は常にa^2≧0です。 従って、常にa^2>4bすなわちa^2-4b>0が成り立ち x^2+ax+b=0は実数解をもつので、 (b<0)→(x^2+ax+b=0が実数解をもつ)となり、 "矢の根元"のb<0は十分条件になります。 >> しかし、b<0←x^2+ax+b=0が実数解をもつ、は常には成り立たない。 なぜならa^2-4b≧0はa^2≧4b>0すなわちb>0でも成り立つからである。 ↑ここがわかりません。 >x^2+ax+b=0が実数解をもつならD=a^2-4b≧0 です。この式はb>0であってもa^2≧4bを満たす aであれば成り立ちます。 従ってx^2+ax+b=0が実数解をもってもb<0とは 限らず、 常に(x^2+ax+b=0が実数解をもつ)→(b<0) が成り立つわけではないので、"矢の先"の(b<0) は必要条件にはなりません。
その他の回答 (4)
- yyssaa
- ベストアンサー率50% (747/1465)
No.2です。 No.3さんが丁寧かつ十分な説明をして下さったので 付け加えることはありませんが、→の向きでの覚え方は、 「矢が当たると必殺だから必要条件」と教わった記憶が あります。例えばA→Bであれば、矢が当たるBが必要 条件であり、矢の根元側のAが十分条件といった具合 でした。参考になれば幸いです。
お礼
再度わかりやすい説明をありがとうございます。 この覚え方なら頭に入りますね!
- itshowsun
- ベストアンサー率41% (15/36)
すでに回答者2さんがすばらしい回答をしています。 しかし、A→Bの方向で十分条件と必要条件を暗記すると、 すぐにどちらか分からなくなってしまいます。 これは「右」と「左」はどっちがどっちだという問題と同じで、 これを覚えるためには、やはり 「箸を持つ手が右手で、茶碗を持つ手が左手」 という暗記のテクニックが必要です(ぎっちょの場合はもちろん反対)。 そこで論理学の立場だけでなく、数学で考えます。すなわち、集合です。 今、集合AとBがあり、 A ⊃ B すなわち、集合AはBを含みます(図参照)。 このとき、論理学では、 A → B が成立しています。なぜならAであればBは必ずAの中にあるからです。 よって、 Bであるための十分(過ぎる)条件はAである。 Aであるための必要(であるが十分ではない)条件はBである。 ということになります。 例題を解くためには、左辺と右辺の解の集合を考え、 大きい集合をA、小さい集合をBと考えれば、間違いなく解けるはずです。
お礼
とてもわかりやすい説明をありがとうございました。 覚え方がわかりました。
- yyssaa
- ベストアンサー率50% (747/1465)
基本はA→B(AならB)が常に成り立つならAはBの十分条件で、Bは Aの必要条件です(→の向きで覚える)。 A→B(AならB)かつA←B(BならA)が常に成り立つなら、AはBの、 BはAのそれぞれ必要十分条件です。 (1) 実数x,y,zに対し、x+2y+z^2=0はx=y=z=0であるための 必要条件であるが十分条件でない > x=y=z=0→x+2y+z^2=0は常に成り立つが、x+2y+z^2=0→x=y=z=0は 必ずしも成り立たない。何故なら、例えばx=-2,y=1,z=0でも x+2y+z^2=0になる。 よって、x+2y+z^2=0はx=y=z=0であるための必要条件であるが十分 条件でない。 (2) 整数nについて、√nが無理数であることは、nが奇数であるための 必要条件でも十分条件でもない > 整数nについて√nが無理数である→nが奇数、は必ずしも成り立た ない。何故なら、例えば√2は無理数であるがn=2は奇数ではなく 偶数である。 又、整数nが奇数である→√nが無理数である、も必ずしも成り立た ない。何故なら、例えばn=9(奇数)のとき√9=3は有理数である。 よって、→も←も常には成り立たないので、必要条件でも十分条件 でもない。 (3) a、bは実数とする。b<0であることは、2次方程式x^2+ax+b=0が実数解をもつための 十分条件であるが必要条件でない > x^2+ax+b=0が実数解をもつのは、根の判別式が正又は0、 すなわちa^2-4b≧0が成り立つときであり、b<0であれば a^2≧0>4bとなるので、b<0→x^2+ax+b=0が実数解をもつ、は 常に成り立つ。 しかし、b<0←x^2+ax+b=0が実数解をもつ、は常には成り立た ない。なぜならa^2-4b≧0はa^2≧4b>0すなわちb>0でも成り 立つからである。 よって、b<0はx^2+ax+b=0が実数解をもつための十分条件で あるが、必要条件ではない。
お礼
とてもわかりやすい解説をありがとうございました。 (1)、(2)は納得できました。 (3)は何度も挑戦しましたが、やはりまだわかりません。 >> x^2+ax+b=0が実数解をもつのは、根の判別式が正又は0、すなわちa^2-4b≧0が成り立つときであり、 まではわかりました。 判別式D=b^2-4acに当てはめれば良いのですよね? >> b<0であれば a^2≧0>4bとなるので、↑ここがわかりません b<0→x^2+ax+b=0が実数解をもつ、は 常に成り立つ。 >> しかし、b<0←x^2+ax+b=0が実数解をもつ、は常には成り立たない。 なぜならa^2-4b≧0はa^2≧4b>0すなわちb>0でも成り立つからである。 ↑ここがわかりません。 再度質問申し訳ありません。
(1) 必要性は明らか。 十分性についてはたとえばx=-2、y=1、z=0 (2) 必要性についてはたとえばn=9 十分性についてはたとえばn=2 (3) 必要性についてはたとえばa=-2,b=1 十分性は明らか。
お礼
ありがとうございました。 やはりわかりませんでした…
関連するQ&A
- 整数問題の必要十分条件の求め方
kを負でない整数とし、 x^2-y^2=k …(*) の解(a,b)でa,bがともに奇数であるものを奇数解と呼ぶ。 (*)が奇数解を持つための必要十分条件を求めよ。 この問題では(*)が奇数解をもてば kは8の倍数であることが知られています。 そこでタイトルの通り求め方なのですが、 k=8n (n:負でない整数) とおくと、nを用いた 2n-1, 2n+1は奇数である。 x=2n+1, y=2n-1をx^2-y^2に代入すると (2n+1)^2-(2n-1)^2=4n*2=8n=k したがって、(x,y)=(2n+1,2n-1)は(*)の解である。 よって(*)が奇数解をもつための必要十分条件は 「kが8の倍数であること」 Q.「奇数解をもつ」ならば「kは8の倍数」 という必要条件だけをもう一度証明したみたいで、 これで必要十分条件たりえるのでしょうか?
- 締切済み
- 数学・算数
- わからない問題があります
kは0または正の整数とする。方程式x^2ーy^2=kの解(x,y)=(a,b)で、a,bがともに奇数であるものを奇数解とよぶ。 (1)方程式x^2ーy^2=kが奇数解をもてば、kは8の倍数であることを示せ。 (2)方程式x~2ーy^2=kが奇数解をもつための必要十分条件を求めよ。 解ける方お願いします。
- ベストアンサー
- 数学・算数
- 集合と論理
「f(x)=x^2+ax+b とする。∀n∈Z に対して、f(n)が偶数となるためのa,bの条件を求めよ。」 この問題に対して私は以下のように解答しました。 「(ⅰ)nが偶数 つまりn=2p(p∈Z)と表わせるとき f(n)=f(2p)=2*2p^2+2ap+b f(n)が偶数となるとき bが偶数であることが必要 (ⅱ)nが奇数 つまりn=2q+1(q∈Z)と表わせるとき f(n)=f(2q+1)=2*2q^2+2(a+2)q+a+b+1 f(n)が偶数となるとき a+b+1が偶数であることが必要 (ⅰ),(ⅱ)より f(n)が∀n∈Z に対して偶数となるとき aは奇数、bは偶数であることが必要 逆にaは奇数、bは偶数 すなわち a=2s+1(s∈Z), b=2t(t∈Z) であるとき f(x)=x^2+(2s+1)x+2t となり (a)nが偶数 つまりn=2p(p∈Z)と表わせるとき f(n)=2*2p^2+2p(2s+1)+2t となり f(n)は偶数 (b)nが奇数 つまりn=2q+1(q∈Z)と表わせるとき f(n)=2*2q^2+2(2s+3)q+2t+2 となり f(n)は偶数 となるから f(n)は∀n∈Z に対して偶数となる 以上よりn∈Z に対して、f(n)が偶数となるためのa,bの条件は aが奇数で、bが偶数であること」 設問に対する証明はこれで良いのでしょうか。
- ベストアンサー
- 数学・算数
- 必要十分条件の証明
x=(αr-βp)/(r-pq) y=(β-αq)/(r-pq) ただしp、q、r、α、β∈Z 整数p、q、rに関する条件|r-pq|=1は、任意の整数α、βに対し解x、yが整数であるための必要十分条件であることを証明しなさい という問題について解答が α=0、β=1とすると、y=1/(r-pq) y=整数であるから、r-pq=±1が必要である 逆に、r-pq=±1のとき、x、yは任意の整数α、βに対して整数となるから十分である したがって、求める必要十分条件は |r-pq|=1 となっていました ここで疑問に思ったのは任意の整数α、βに対し解x、yが整数であるからα=0、β=1とするのは理解でき、そのとき|r-pq|=1が成り立ち、逆に|r-pq|=1のとき任意の整数α、βに対して整数となるとなるのも分かるんですが、これで証明がほんとに完了してるのかということです 最初に任意の整数α、βに対しα=0、β=1を代表させていますが、例えばα=1、β=2とかα=3、β=-2とかの場合を考慮する必要はないのでしょうか? 友人にも尋ねてみたのですが、曖昧です 自分なりに考えてみた結果は、任意の整数α、βに対し解x、yが整数であることの必要条件を求めるときは、任意の整数α、βに対し解x、yが整数であるというのはあくまで条件、前提であるからその段階ではα=0、β=1と代表させても問題ない、というものなのですが果たして正しいのでしょうか? 長文で申し訳ありませんが、ご教授お願いいたします
- ベストアンサー
- 数学・算数
- 数学の同値条件について
閲覧ありがとうございます。拙い質問で恐縮ですがよければお付き合いください。 同値の条件について質問です。 問 2つの放物線y=x^2とy=ax^2+bx+cとは2直線で交わり、交点におけるこれら2つの放物線の接線は互いに直行するという。a, b, cが変化するとき、このようなy=ax^2+bx+cの頂点の全体はどのような集合を作るか調べ、その集合を図示せよ。 回答 題意よりax^2+bx+c=x^2は相異なる2実数解をもち、その2実数解xに対して、2接線の直行条件より、2x*(2ax+b)=0が成り立つ。 これらは同値な2次方程式である。 これはなぜ同値な2次方程式であるといえるのでしょうか?方程式でy=0となるxの解が同じでも、最高次の係数が異なっている場合は同値ではなくなるのではないのでしょうか? よければ回答をよろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 必要条件・十分条件の問題で分からないのがあります。
以下の□に入る正しい答えを(A)~(C)から選んでください。ただし、”必要十分条件”があてはまるところに、”必要条件”または”十分条件”と解答した場合は不正解とします。また、x、a、bは実数、nは整数を表します。 (A)必要条件 (B)十分条件 (C)必要十分条件 (1)「x=4」は、「x^2-x-12=0」の□である。 (2)「a<0またはb<0」は、「ab<0」の□である。 (3)「n^2が2の倍数である。」は、「nが2の倍数である。」の□である。 答えは、 (1)B (2)A (3)C なのですが、なぜですか?
- ベストアンサー
- 数学・算数
- 行列の集合に関する必要十分条件
行列Aに対して、AXA=Aを満たす集合S={X|AXA=A}について ただし、A , X は2×2行の実数とする。 Aの成分を(1行目,2行目の順に左から表すと)a,b,c,d, Xの成分をx,y,z,w とする。 (1)Sがただ一つの要素からなる場合であるためのa,b,c,dに関する必要十分条件を求めよ。 (2)Sが2×2行列全体の集合であるためのa,b,c,dに関する必要十分条件を求めよ。 (3) (1)(2)の場合のいずれでもないとき、a,b,c,d,x,y,z,wの間に成り立つ関係式を求めよ。
- 締切済み
- 数学・算数
お礼
ようやくわかりました。 大変わかりやすい解説を本当にありがとうございました!