No.3ベストアンサー
- 回答日時:
>(1)|a-b|<=|a|+|b|
これは, すでに証明された |a+b|≦|a|+|b| ・・・(*)
の式で,a,bは実数で何でも良いので,bを-bで置き換えた式
|a+(-b)|≦|a|+|-b|
⇔|a-b|<=|a|+|b| [∵a+(-b)=a-b, |-b|=|b|(≧0) (|-3|=|3|=3など)]
も成立します.
又,場合分けが必要な問題の例ですが,今はあまり適切な例が思いあたらないのですみませんが,例えば
>[∵|ab|≧ab](←abが正,0,負のどの場合も成立し,等号はab≧0のとき)
この場合などです.
あとは
例)x^2-|x|+1>0 が成り立つことを示せ.
これなども,xが正,0,負で分けて示すのが基本的です.
でも実はずるい方法があって
x^2=|x|^2 より,左辺を|x|の2次関数とみなして
x^2-|x|+1=|x|^2-|x|+1=(|x|^2-1/2)^2+3/4≧3/4>0
(平方完成はもう大丈夫と思います.)
とやれば,場合分けはこの問題では避けられます.
おかげで絶対値の証明理解することができました。
本当に紆余曲折でしたけど、こんなに早く理解できたのも
毎回おつきあい頂いたおかげです。
まだ勉強しなければいけないので、疑問浮上してくると思います。
またお手数でなければよろしくお願いします。
No.4
- 回答日時:
【問題】
次の不等式を証明しなさい。
|a+b|≦|a|+|b| … (*)
【解説】
まず、各々の要素は、
a+b≧0
|a+b|=a+b
a+b<0
|a+b|=-(a+b)
a≧0
|a|=a
a<0
|a|=-a
b≧0
|b|=b
b<0
|b|=-b
と、絶対値の記号が外せることに注意する。
【証明】
(1)a,b≧0のとき
|a|=a
|b|=b
|a+b|=a+b (∵ a,b≧0ならば、a+b≧0)
であるから、(*)が成り立つ。
(2)a,b<0のとき
|a|=-a
|b|=-b
|a+b|=-(a+b)=-a-b (∵ a,b<0ならば、a+b<0)
であるから、(*)が成り立つ。
(3)a<0,b≧0,a+b≧0のとき
|a|=-a
|b|=b
|a+b|=a+b
だから、
|a|+|b|-|a+b|=-a+b-(a+b)=-2a>0 (∵ a<0)
よって、(*)が成り立つ。
(4)a<0,b≧0,a+b<0のとき
|a|=-a
|b|=b
|a+b|=-(a+b)=-a-b
だから、
|a|+|b|-|a+b|=-a+b-(-a-b)=2b≧0 (∵ b≧0)
よって、(*)が成り立つ。
(5)a≧0,b<0,a+b≧0のとき
(6)a≧0,b<0,a+b<0のとき
の場合は、(3)(4)と同じ議論ができる。
たびたびありがとうございます。
場合わけで証明する方法をこと細かに書いてくださったので
理解できました。
いままでは実数で正が条件でしたが、今後は上記のような問題もでてくると
予想されるので、非常に参考になりました。
またよろしくお願いします。
No.2
- 回答日時:
一応(1)のa,bが実数の場合の話を示すと
|a+b|≦|a|+|b| ・・・(*)
が成り立つことを示す.(ただしa,bは実数.)
一般に実数xについて |x|^2=x^2 であることを使う.
[略証]
(*)の両辺は0以上より,両辺を2乗しても同値で
(右辺)^2-(左辺)^2 [(注) このような場合は (大きい方)^2-(小さい方)^2≧0 を示すのが定石]
=(|a|+|b|)^2-|a+b|^2
=(|a|+|b|)^2-(a+b)^2
=|a|^2+2|a||b|+|b|^2-(a^2+2ab+b^2)
=a^2+2|a||b|+b^2-(a^2+2ab+b^2)
=2(|a||b|-ab)
=2(|ab|-ab) [∵|x||y|=|xy|(≧0)]
≧0 [∵|ab|≧ab](←abが正,0,負のどの場合も成立し,等号はab≧0のとき)
すると
|a+b|^2≦(|a|+|b|)^2
⇔(0≦)|a+b|≦|a|+|b| [∵|a+b|≧0,|a|+|b|≧0 ]
ただし等号はab≧0のとき(←aとbが同符号(正と正,又は負と負)であるか,又は少なくとも一方が0のとき)
となり,題意は示された.
[補足]今のような場合は両辺の2乗を考えてうまくいきましたが,問題によっては場合分けして絶対値を外していかないとならないものもあります.
またわかりやすい回答ありがとうございます。
(1)の方でよかったです。失礼しました。
確認なのですが、絶対値も両辺を2乗して右辺ー左辺で証明される、で
よろしいでしょうか?公理(定理?)がよくわからなく。たぶん、a^2>=0
というものを使うと思うのですが・・・。
もう一つ。補足のところにある場合わけする方法とは?
場合わけはこちらで以前、学び、わかっていると思います。
3パターン出せばいいのでしょうか?
たとえば、これは場合わけの問題でしょうか?
a,bが実数のとき、|a+b|<=|a|+|b|が成り立つことを証明し、これを用いて
次の不等式が成り立つことを証明せよ。
(1)|a-b|<=|a|+|b|
解答ではbに-bを代入して、解いているのですが、なにをすればいいのか
まったくわからないです。
これは場合わけではないですかね?
おつかれでないときまたよろしくお願いします。
No.1
- 回答日時:
>|a+b|>=|a|+|b|
これは問題が間違っていて,
(正) |a+b|≦|a|+|b|
でしょう.
いわゆる三角不等式で,(虚数も含め)任意の複素数a,bについて成立します.
ただし,今の場合,
(1)a,bは実数の範囲で考えている
(2)a,bは一般に複素数の範囲で考えている(これは(1)の場合も特殊な例として含みます)
どちらでしょう?
後者ならば,複素数の扱いを知っている必要があって,やや面倒です.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 高校 対数方程式につきまして 4 2022/05/05 07:55
- 数学 数1 絶対値を含む不等式 写真の右下は場合分けされた範囲を合わせたものです。 そこで①のx≦-5が何 5 2022/07/10 15:48
- 数学 積分と不等式 2 2023/01/26 21:52
- 数学 数学 絶対値の方程式 不等式を解く場合はこの下線部の段階を踏んで、答えがそれを満たしているか考えない 2 2022/05/07 20:46
- ふるさと納税 ふるさと納税ワンストップ特例制度が適用されなかった 7 2022/05/04 23:39
- 数学 数2Bの数列の問題です。 自分は、 まず数列 an=ar^(n-1)と置き こちらの問題の、y= の 1 2022/07/07 16:26
- 数学 「x≧−6 であるすべてのxに対し,不等式2ax≦6x+1が成り立つような定数aの範囲を求めよ。」 4 2022/07/22 05:33
- 数学 M/M/s型 待ち行列の漸化式 1 2022/10/22 18:27
- 数学 連立微分方程式の解き方について 7 2022/12/16 13:39
- 数学 三角関数の極限を「はさみうちの原理」で考える時の不等号について 1 2022/07/22 01:13
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
大学数学(位相数学)の問題です
-
数学的帰納法の証明2
-
(b+c)(c+a)(a+b)≧8abc
-
nの階乗と2のn乗の比較
-
なぜ等号は常に成り立たないの...
-
証明問題の解答をお願いします!
-
数学IIの問題です 0≧xのとき、...
-
部分分数分解について。 1/a・b ...
-
数学的帰納法 不等式の証明
-
代数の展開について♪
-
高1の数Aで至急お願いします!
-
無理数から無理数を引いた結果...
-
十分性の確認の問題について
-
相加相乗の定理を使って
-
|A|/|B|=|A/B|
-
||a+b|| ≦ ||a|| +||b||の証明
-
絶対値を含む不等式の証明
-
二項定理使用の証明
-
不等式の証明、確認
-
整数問題 19 島根大学
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
なぜ等号は常に成り立たないの...
-
nの階乗と2のn乗の比較
-
部分分数分解について。 1/a・b ...
-
||a+b|| ≦ ||a|| +||b||の証明
-
数学的帰納法 不等式の証明
-
無理数から無理数を引いた結果...
-
絶対値の不等式の証明ができません
-
(b+c)(c+a)(a+b)≧8abc
-
証明が合っているかどうか?
-
不等式の証明(テイラー展開)
-
数学的帰納法
-
問題の意味すらわかりません
-
(n!)^2≧n^n(nは自然数)
-
述語について成り立つ関係
-
証明の問題なのですが・・・
-
√11の連分数表示
-
√2,√3,√5,√6,√7,√10は有理数体...
-
「次の不等式を証明せよりまた...
-
数学です。2番と3番の等号成立...
-
数学の問題!
おすすめ情報