- ベストアンサー
積の結合律の証明
次の等式の証明が出来そうで出来ません。誰かご教授ください A(BC)＝(AB)C （A、B、Cは正方行列）
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
関連するQ&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.|a+b+c|≦|a|+|b|+|c| (答) |a+b+c|≦|a|+|b|+|c| ＝2{(|ab|-ab)+(|bc|-bc)+(|ca|-ca)}≧0 ここからどうやってやるのかがわかりません。 |ab|≧abだから、 (|ab|+|b|)^-|a+b|^＝2(|ab|-ab)≧0 したがって|a+b|^≦(|a|+|b|)^ よって、|a+b|≦|a|+|b| をうまく利用して証明するみたいなんですけど‥ 解説よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 不等式の証明と命題の真偽(基本的)
お世話になっております。 実数a、b、cに対して、 等式 |a|+|b|+|c|=|a+b+c|…P が成立つことは、ab+bc+ca≧0 …Q が成立つための○○条件である。(○の数は特に意味なし) という問題です。証明も合わせて(不等式を証明して、等号成立条件を調べてから命題を考えてみたかった為)以下のように考えてみました。 まず証明。 与えられた等式を考える前に、不等式 |a|+|b|+|c|≧|a+b+c|…(2)を証明する。 (2)の両辺は正または0であるから、両辺の二乗の差を考えて (|a|+|b|+|c|)^2-|a+b+c|^2 =2{|ab|+|bc|+|ca|-(ab+bc+ca)} =2{(|ab|-ab)+(|bc|-bc)+(|ca|-ca)}…(3) ここで、|ab|≧ab,|bc|≧bc,|ca|≧ca だから、(3)≧0。従って不等式(2)は成立つ。等号成立は、ab≧0,bc≧0,ca≧0…(4) より、ab+bc+ca≧0 の時に限る。 よって、等式Pが成立つとき、a,b,cはQを満たす。(ここが一番曖昧です) 逆にQが成立つとき、(4)が成立つから、積の場合分けで導かれる二つの場合で、 a≧0かつb≧0かつc≧0 のときは、Pは成立つ。 a≦0かつb≦0かつc≦0 のときはPは、 左辺=-a-b-c=-(a+b+c)=右辺 より成立つ。 以上より、○○は必要十分条件が適当と思す。 以上、拙いですが頭捻ってみました。当方が微妙だと感じるのは、不等式の証明についての説明部分(解答ではb+cを一括りにしてaと(b+c)の二変数と考えて、二変数については不等式が成立つことを利用して証明してました)と、既に書いた通り、条件Pが十分条件であることの説明部分(こちらは解答なし)です。 長ったらしい文で恐縮ですが、閲覧ついでにご回答いただけると嬉しいです。宜しくどーぞ。
- ベストアンサー
- 数学・算数
- 証明問題のヒントを…。
度々の質問で申し訳ありません。 線形代数学の証明問題でまた梃子摺っているので 御教授願えたらと思っています。 A、Bはともに3次の正方行列で AB=-2E(E:単位行列)を満たしている。 この時、Aの行列式(|A|)は0でなく、 かつBの行列式は-8/|A|が成り立つことを 示すのですが、 どうも糸口を見つける事が出来ません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 行列の証明がわからない！！
だいぶ考えたんですけど、わからないんで解説付きで教えて下さい。 n次正方行列Ａ,ＢがＡＢ=ＢＡを満たす時,次の事を証明せよ。 1)Ａの固有ベクトルはＢの固有ベクトルである。 2)ＡＢとＢＡの固有値は等しい。 1)はまったくわからないんです。2)はＡＢとＢＡは同じなんじゃないのかなって思うんですけど、違うんですかね？
- ベストアンサー
- 数学・算数
- 証明
a,b,cは正の数でa＋b＋c=1のとき、次の不等式が成り立つことを証明する問題です。 また、等号が成り立つのはどのようなときか。 {2＋(1/a)}*{2＋(1/b)}*{2＋(1/c)}≧125 {2＋(1/a)}*{2＋(1/b)}*{2＋(1/c)} =8＋4*{(1/a)＋(1/b)＋(1/c)}＋2{(1/ab)＋(1/bc)＋(1/ca)}＋(1/abc) =8＋4*{(1/a)＋(1/b)＋(1/c)}＋2*{(a＋b＋c)/abc}＋(1/abc) =8＋4*{(1/a)＋(1/b)＋(1/c)}＋{3/abc} からどのように求めるか分かりません。 教えてください。
- ベストアンサー
- 数学・算数
- 積と逆行列
行列の証明問題です。よろしくお願いいたします。 問題は、 次のことを証明せよ A,Bが逆行列をもつとき、ABも逆行列をもち、(AB)^(-1)= B^(-1) A^(-1) です。 解答は、 (AB)（B^(-1) A^(-1)）＝AB B^(-1) A^(-1)=(AEA)^(-1)= AA^(-1)=E （B^(-1) A^(-1)）(AB)＝B^(-1) A^(-1)AB=(B)^(-1)EB=B^(-1)B=E よって、ABは逆行列をもち、(AB)^(-1)= B^(-1) A^(-1) （証明終） となっています。 ですが、私はどうしてこの二つで証明できるのかわかりません。 私は、(AB) (AB)^(-1)=E=(AB)^(-1) (AB)を証明すべきだと思います。 そこで質問なのですが、どうして解答のような方法で、証明したことになるのでしょうか？ よろしくお願いいたします。
- 締切済み
- 数学・算数
