- 締切済み
論理演算
次の証明問題なんですが、 AB+¬A¬B+BC=AB+¬A¬B+¬AC を証明せよという問題で、答えが (答え) 左辺=AB+¬A¬B+¬A¬B(C+¬C)+BC(A+¬A) =AB(1+C)+¬A¬B(1+¬C)+¬AC(¬B+B) =右辺 となっているのですが、わからないのが、答えの1行目のABの右隣の ¬A¬Bがどこから来たのかがわからないのですが、 どういうわけで、でてきたのでしょうか?
- その他(学問・教育)
- 回答数3
- ありがとう数6
- みんなの回答 (3)
- 専門家の回答
みんなの回答
- ymmasayan
- ベストアンサー率30% (2593/8599)
AB+¬A¬B+BC=AB+¬A¬B+¬AC ですから最初から左辺に有りますね。 これを ¬A¬B=¬A¬B+¬A¬B(C+¬C)としている所が疑問なのではないですか。 他の方の回答にもあるようにX=X+Xと分解できます。 ここでつまづいておられるようですが。
関連するQ&A
- 因数分解
度々お世話になります。また、今後もお世話になると思います。 不等式の証明問題です。 「a、b、c、dが正の数であるとき、(ab+cd)(ac+bd)≧4abcdを証明しろ」 左辺-右辺≧0を示す。 左辺-右辺=bc(a^2+d^2)+ad(b^2+c^2)-(4abcd) =bc(a^2+2ad+d^2)+ad(b^2-2bc+c^2)=bc(a-d)^2+ad(b-c)^2……★ aもbもcもdも正の数なので、★は0以上。よって、命題の不等式は成り立つ。 証明の流れはほぼ正しかったのですが(ただ左辺-右辺≧0を示せば良いだけなので)、この因数分解は、ヒントが無ければ導けませんでした。特に不等式の証明に限らず、多項式をうまく因数分解するための工夫やアイディアというのはあるのでしょうか。例えば、2倍したのを1/2で表すみたいな工夫をするきっかけというか… アドバイスお願い致します。
- ベストアンサー
- 数学・算数
- 大至急回答頂きたいです-ブール代数-
次の関係式を証明せよ AB+BC+CA=(A+B)(B+C)(C+A) との事で右辺を展開し、(A+B)(B+C)=B+ACより (A+B)(B+C)(C+A)=(B+AC)(C+A)=AB+BC+CAになると答えには書いてありますが、(A+B)(B+C)=B+AC、(B+AC)(C+A)=AB+BC+CAそれぞれどのように変形していったのでしょうか? 特に(B+AC)(C+A)=AB+BC+CAは分配したとしてもAC×C AC×Aなんていう式が出て詰まってしまいます。 大至急ご教授よろしくお願いします!!
- ベストアンサー
- 数学・算数
- 不等式の証明(やや発展)
お世話になっております。 a,b,cは実数、a+b+c=0であるとき、不等式 (|a|+|b|+|c|)^2≧2(a^2+b^2+c^2) を証明せよ。また、等号が成立つときはどのようなときか。 という証明問題について質問です。証明自体はそれほど難しくは無いのかな、と思ってますが…。 a^2+b^2+c^2=(a+b+c)^2-2(ab+bc+ca)=0-2(ab+bc+ac)と出来ますから、 左辺-右辺=-{(a+b+c)^2-2ab-2bc-2ca}+2(|ab|+|bc|+|ca|)=2{(|ab|+ab)+(|bc|+bc)+(|ca|+ca)}…(1) 常に、|ab|≧-abであるから、|ab|+ab≧0、(bc、caについても同様)であるから、(1)≧0。与えられた不等式は成立つ。 ここで質問。等号成立条件が分かりません。不等式の証明より、|ab|=-ab(bc、caも同様)が成立つ時だと思うのですが略解によると、 a、b、cの少なくとも一つが0であるときなのだそうです。何故でしょう…。 a,b,cのうち少なくとも一つが0 ちゅうことは、a=0またはb=0またはc=0 ということになろうかと思います。ということは、更にabc=0 という式も言えるハズです。しかし、当方の不等式の証明の仕方が不適切なのか、abc=0 を導く根拠が見当たりません。
- ベストアンサー
- 数学・算数
- 不等式の証明
不等式の証明の問題で、 絶対値が1より小さい4つの実数a,b,c,dに対して、次の不等式が成り立つことを示せ。というものがありました。(1),(2)と2問あって (1)はa+b<1+abの証明でした。 これは(右辺)-(左辺)をして(a-1)(b-1)>0となり、証明できました。 (2)は(1)を利用して示せ。となっており (2)はa+b+c+d<3+abcdの証明でした。 (1)よりa+b<1+abなのでc+d<1+cd 辺々加えてa+b+c+d<2+ab+cd ここまではできたのですが、ここからどうやって右辺を3+abcdに するのかどうしてもわかりません。 答えにはa+b+c+d<2+ab+cd <2+(1+abcd) <3+abcd と書かれていたのですがどうしても <2+ab+cd ↓ <2+(1+abcd) が分かりません。教えてください!
- ベストアンサー
- 数学・算数
- 集合演算
今、集合の問題の証明問題をやってるのですが・・・・・解けているのかどうかわかりません。 差集合は小文字のcであらわしています。Ac=Aの補集合 1.A∩(B-C)=(A∪B)―(A∩C) これは分配律を使えば速効で解けるのですが、差集合に分配律ってつかえないっすよね? 2.(Ac∩Bc)∪(Bc∩C)∪(A∩Cc)=B∪(A∩Cc) これは一応ド・モルガンの法則を用いて Bc∩(Ac∪C)∪(A∩Cc)としたんですがそのあとが処理できずに困ってます。 3.(A∩B∩C)∪(A∩Bc∩C)∪(A∩B∩Cc)=A これは分配律を使って無理やり A∩[(B∪C)∪(Bc∪C)∪Cc] としたのですがこの変換は間違ってますか??どちらにせよこの先の展開ができないです。 4.(A∩B∩C)∪(A∩B∩Cc)∪(A∩Bc∩C)=A(B∪C) とりあえず 左辺=A∩[(B∩C)∪(B∩Cc)∪(Bc∩C)]←分配律 =A∩(B∪B∪Bc)∪(C∪Cc) =A∩(B∪C) としてみたのですが・・・・・・・・。 5.(A∪B∪C)∩[A∪(B∩C)]=A∪(B∩C) これは []内を (A∪B)∩(A∪C)←分配律 で展開したのですが・・・・そのあとが処理できません。 6.(A∩B∩C)∪(Ac∩B∩C)∪(A∩Bc∩C)(A∩B∩Cc)=(A∩B)∪(B∩C)∪(A∩C) これはもう完全にわからないです・・・・・。 途中の使った法則を入れてくれるとありがたいです。
- ベストアンサー
- 数学・算数
- 不等式の証明について
|a|<1、|b|<1、|c|<1のとき、ab+1>a+bを用いてabc+2>a+b+cを証明する問題で、 |a|<1、|b|<1より、|ab|<1 |ab|<1、|c|<1より、ab+1>a+bを利用して、 (ab)c+1>ab+c・・・となるのですが、 どうしてcがでてくるのか、どうして左辺はかけて右辺は 足すのかわかりません。どうぞよろしくおねがいします。
- 締切済み
- 数学・算数
お礼
なるほどわかりました。 ありがとうございます。