お世話さまです。
絶対値を含む不等式の証明にはほんとにお手上げです。
ふつうの不等式の証明はできていたのですが・・・。
次の不等式を証明しなさい。と言う問題で。
|a-b|<=|a|+|b|
私のこたえかた(見よう見まねで全然わかっていないのですが)
|a-b|^2-(|a|+|b|)^2<=0
a^2+2ab+b^2-a^2-2ab-b^2<=0
0<=0
|a-b|^2-(|a|+|b|)^2<=0
よって|a-b|<=|a|+|b|
等号はa=b=0
絶対、おかしいとは思うのですが、
絶対値の不等式でなにをすればいいのかわかっていません。
上記の問題の解き方と絶対値の不等式の証明はなにをすればいいか
ご教授ください。よろしくお願いします。
No.8ベストアンサー
- 回答日時:
たびたび失礼します。
> =-2pq-2|p||q|
> =-2(pq+|p||q|)>=0・・・・(*)
この部分、
=-2pq-2|p||q|
=-2(pq+|p||q|)<=0・・・・(*)
の間違いですね。
考え方は大丈夫だと思いますよ。
ただ、失礼ですが、ちょっと解答の書き方も勉強された方がよろしいですね。
ちょっとおこがましいですが、模範的な解答例です。
------------------------------------------------------------------
【問】a,b,cを実数とするとき、不等式|a-b|<=|a-c|+|b-c|を証明しなさい。
【解答その1】(|a-b|<=|a|+|b| が既知でないとします。)
a-c=p, b-c=q とおくと
a-b=(a-c)-(b-c)=p-q …(*)となるので、
与式:|a-b|<=|a-c|+|b-c|
を証明するには
|p-q|<=|p|+|q| …(1)
を証明すればよい。(∵(1) は、与式にa-c=p, b-c=q を代入したもの)
(|p|+|q|)^2 - |p-q|^2
=|p|^2+2|p||q|+|q|^2 -(p-q)^2
=p^2+2|pq|+q^2 -(p^2-2pq+q^2) = 2(|pq|+pq) >= 0 (∵|pq|>=pq)
∴|p-q|^2 <= (|p|+|q|)^2
よって、|p-q|>=0, |p|+|q|>=0 なので (1)も成り立つ。
従って、与式:|a-b|<=|a-c|+|b-c| も成り立つ。
等号は pq<=0 のとき成り立つ。
pq<=0 すなわち (a-c)(b-c)<=0 のとき
「a-c<=0 かつ b-c>=0」または、「a-c>=0 かつ b-c<=0」
前者の場合 a<=c かつ b>=c より、 a<=c<=b
後者の場合 a>=c かつ b<=c より、 b<=c<=a
よって等号成立条件は、a<=c<=b または、b<=c<=aの関係を満たすとき、である。
<証明終>
【解答その2】(問1で、|a-b|<=|a|+|b| を証明(既知であると)し、本問が問2であったような場合とします。)
a-c=p, b-c=q とおくと
a-b=(a-c)-(b-c)=p-q …(*)となるので、
与式:|a-b|<=|a-c|+|b-c| は、
|p-q|<=|p|+|q| …(1)
となる。問1の結果より、(1)は証明されているので
与式:|a-b|<=|a-c|+|b-c|も成り立つ。
(以下、等号成立条件はその1と同じ) <証明終>
------------------------------------------------------------------
ま、こんな感じでしょうか。
あとは、慣れです。
すばらしい。本当にこんなわかりにくいことを説明してくださって
ありがとうございました。しかもたびたびと。でも、
おかげで80%以上はわかってきました。数学が好きになれる瞬間です。
回答の書き方、よくなかったですね。自分でもなにを書いていいのか
よくわかっていなかったので、模範的回答見させてもらって、すごく
参考になりました。
2つめの回答も問題集どおりです。おっしゃるとおり、(1)と(2)という
感じでした。解答では、2つ目の解答が乗っていたのでちんぷんかんぷん
でした。でも、1つ目の解答を理解してからだと2つ目の解答も
理解できました。問題集にはこう書いてほしかったと思います。
ただ、いまは私的な事情により数学をがんばらねばいけないので、
また質問させてもらいます。つぎこそ「コーシーシュワルツ」ですかな?
ほかのみなさまへ
ご協力ありがとうございました。
みなさまの回答があったからこそ、絶対値の不等式の証明を理解できました。
今回はポイントできなかった方、ごめんなさい。でも、非常に役立つ
意見でした。
No.7
- 回答日時:
No.2です。
>等号成立は |ab|=ab すなわち ab<=0 のときです。
と書きましたが、
等号成立は |ab|=-ab すなわち ab<=0 のときです。
の間違いでした。失礼しました。
No.6
- 回答日時:
>>5) a≧0,b≧0 のとき a>b ⇔ a^2 = b^2
>のところは、正しくはa>b ⇔ a^2 > b^2
>と理解しましたが、よろしいでしょうか?
そのとおりです。
番号[ 5)でなく6)です。]と不等号の2箇所タイプミスしてますね。
済みませんでした。
No.5
- 回答日時:
#4です。
> |a-b|<=|a-c|+|b-c|
> =-(|a-b|)^2+(|a-c|)~2+(|b-c|)^2
これがそもそも間違ってます。
両辺を2乗して考えるわけですが、元の式の右辺の2乗は(|a-c|+|b-c|)^2です。
(|a-c|+|b-c|)^2 と(|a-c|)~2+(|b-c|)^2 は同じものではありません。
(|a-c|+|b-c|)^2 = (|a-c|)~2+2|a-c||b-c| +(|b-c|)^2
ですからね。
さてこの問題の場合は、うまく置き換えてやることを考えましょう。
a-c=p, b-c=q とおくと
a-b=(a-c)-(b-c)=p-q …(*)です。 (これはOKですか?)
すると、
|a-b|<=|a-c|+|b-c|
の証明は
|p-q|<=|p|+|q|
の証明に置き換わるわけです。(*)に気が付くかどうかがポイントですね。
再回答ありがとうございます。
いくつかのご指摘ありがとうございます。
早速、問題やってみます。
まず|p-q|<=|p|+|q| の証明から。
(p^2-2pq+q^2)<=p^2+2|p||q|+q^2
=-2pq-2|p||q|
=-2(pq+|p||q|)>=0・・・・(*)
よって (|p-q|)^2<=(|p|+|q|)^2
ゆえに |p-q|<=|p|+|q|
等号はp=q
ここまではあっていますでしょうか?
今度はpとqをもとに戻します。
(*)から。
=-2((a-c)(b-c))+|a-c||b-c|)>=0・・・・(*)
よって (|(a-c)-(b-c)|)^2<=(|a-c|+|a-c|)^2
ゆえに |(a-b)|<=|a-c|+|b-c|
等号はa-c=b-c
ちょっと最後の方、あやふやになってしまいじしんありませんが、
どうでしょうか?また回答頂けると幸いです。
No.4
- 回答日時:
絶対値が出てきた場合、まず、以下の5点を押さえてください。
(以下において文字はすべて実数です)(1) |a|≧0
(2) |a| = ±a と表せる
(3) |a|≧a (絶対値を取ると、元の数より等しいか大きくなる)
(4) 2乗すると絶対値を外すことができる。すなわち、
|a|^2 = a^2
(5) 絶対値どうしの積は積の絶対値に等しい。すなわち、
|a||b| = |ab|
(5) a≧0,b≧0 のとき a>b ⇔ a^2 = b^2
※この(1)と(6)を組み合わせたのが、#2さんが書かれている
> |A|^2-|B|^2>=0 ならば |A|>=|B|
です。また、(2)は絶対値の定義そのものとも言えます。
次に、不等式の証明では、大きい方から小さい方を引いて>0(または≧0)を示すのが普通です。【一部例外がありますが】
また、これから証明するのですから、質問にかかれているように、変形した式それぞれに不等号をつけてはいけません。(#2さんもおっしゃってますよね。)
>0(または≧0)を示すのによく使われるのは
(実数の2乗)≧0 [これの応用で(2乗の和)≧0] という性質と
あとは「相加平均≧相乗平均」の関係ですね。
※相加平均≧相乗平均とは、a≧0,b≧0のとき (a+b)/2 ≧√(ab) というやつです。
この2乗の形にするために、よく用いられる手が平方完成です。
x^2+2ax+b = (x+a)^2-a^2+b というヤツです。
これらを押さえておけば、大抵の問題は解けます。
ご質問の問題については、既に#2さんが解き方を示されてますので、私はここで繰り返すことはしないでおきます。
あと、もう一つ等号がついている不等式の証明の場合、必ず、等号成立条件を示さなければなりません。これを忘れると減点になります。
では、頑張ってください。
回答ありがとうございます。
いいヒントを頂きました。(1)~(6)までが頭に入っていなかったです。
数学では、証明の時にこの(1)~(6)を書いてくれないので、
数学音痴の私にはつかみづらくいます。
>5) a≧0,b≧0 のとき a>b ⇔ a^2 = b^2
のところは、正しくはa>b ⇔ a^2 > b^2
と理解しましたが、よろしいでしょうか?
>この2乗の形にするために、よく用いられる手が平方完成です。
と、
>等号成立条件を示さなければなりません。これを忘れると減点になります。
了解しました。
またご教授頂けると幸いですm(__)m。
No.3
- 回答日時:
#1で回答した者です。
まず訂正から
> -2(ab+|a||b|)
> と展開されます。これはa=b=0でない限り負ですね。
これはa=0又はb=0(ab=0)でない限り負。でした。
> どのような作業をすればいいのでしょうか?
答え方(かなり我流ですが)
|a-b|^2-(|a|+|b|)^2 ・・・・・※
a^2-2ab+b^2-a^2-2|a||b|-b^2
-2ab-2|a||b|
-2(ab+|a||b|)
ここで(ab+|a||b|)>=0なので(∵ab=<|a||b|)
-2(ab+|a||b|) <=0が言えるので
よって
|a-b|<=|a|+|b|
※この時点で不等号の右辺の項を左辺に移行し、
この式が0以下であることを導く姿勢を見せる
再回答ありがとうございます。
本当に恐縮です(^^ゞ。
>ここで(ab+|a||b|)>=0なので(∵ab=<|a||b|)
-2(ab+|a||b|) <=0が言えるので
そうですね。この部分の説明、よくわかりました。正x負は
負(0>|a-b|)ですよね。
>辺の項を左辺に移行し、
この式が0以下であることを導く姿勢を見せる
やはり移行でよろしいんですね。わっかりました。
いまは理解しているか試すために新しい問題に取り組んでいます。
No2の方の回答欄に書いたのですが、またお手数でなければ
よろしくお願いします。本当にできが悪くて恐縮です。
No.2
- 回答日時:
絶対値の不等式の証明においては、
|A|^2-|B|^2>=0 ならば |A|>=|B|
という性質がよく使われます。絶対値というのは必ず0以上ですので、2乗して大きければ必ず元の数も大きいという訳です。
これを使うと、
(|a|+|b|)^2-|a-b|^2 = |a|^2+2|a||b|+|b|^2-(a-b)^2
= a^2+2|ab|+b^2-a^2+2ab-b^2
= 2|ab|+2ab
= 2(|ab|+ab)
>=0
よって (|a|+|b|)^2 >=|a-b|^2
ゆえに |a|+|b| >=|a-b|
等号成立は |ab|=ab すなわち ab<=0 のとき
となります。
あと、不等式や等式を証明する際に、
>|a-b|^2-(|a|+|b|)^2<=0
>a^2+2ab+b^2-a^2-2ab-b^2<=0
>0<=0
のように、いちいち <=0 や = を付けて書くのはやめるべきです。
(成り立つかどうかわからないうちに付いているので…)
この点も注意してください。
多少おおざっぱですが、以上ご参考になれば。
回答ありがとうございます。
>|A|^2-|B|^2>=0 ならば |A|>=|B|
という性質がよく使われます。
この言葉がほしかったです。いいヒントになりました。
>、いちいち <=0 や = を付けて書くのはやめるべきです。
(成り立つかどうかわからないうちに付いているので…)
この点も注意してください
了解しました。知らず知らずのうちにやっていました。
上記を心えた上で新しい問題にチャレンジしてみたのですが、
手頃な問題がなく、こんな問題を解いているのですが、ひっかかってしまいました。できればご教授ください。
|a-b|<=|a-c|+|b-c|
=-(|a-b|)^2+(|a-c|)~2+(|b-c|)^2
=-(a^2+2ab+b^2)+a^2-2ac+c^2+b^2-2bc+c^2
=-2ab-2ac-2bc+2c^2
ここで因数分解ができないでいます。
因数分解ができればこうつづけるつもりでした。
0<=?(?+?)
よって|a-b|<=|a-c|+|b-c|
は証明された。等号は???。
考え方まちがっているでしょうか?お手数でないときに
よければご教授ください。
No.1
- 回答日時:
> a^2+2ab+b^2-a^2-2ab-b^2<=0
この展開は2項目と5項目でケアレスミスをしてます。
a^2-2ab+b^2-a^2-2|a||b|-b^2
-2ab-2|a||b|
-2(ab+|a||b|)
と展開されます。これはa=b=0でない限り負ですね。
不等式の証明は片方の辺(取りあえず右辺)を0となるように変形して、
左辺だけを展開してそれが正か負かを判断すれば良いだけです。
なまじっか不等号と右辺を残して結論ありきで展開すると「0<=0」という
訳の分からない過程が出てきてしまいます。
回答ありがとうございます。
>0となるように変形して
とは、どのような作業をすればいいのでしょうか?
>左辺だけを展開してそれが正か負かを判断すれば良いだけです
のところがまだわからないでいます。
正か負かを判断するということですが、これは|A|^2>=0という定理を
使うということでしょうか?
またお手数でないときによろしくお願いします。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 高校 対数方程式につきまして 4 2022/05/05 07:55
- 数学 絶対値 場合分け 添付の問題ですが、qの式についてxを0以上、0未満で場合分けしています。 普段、絶 3 2022/12/14 12:37
- 数学 数1 絶対値を含む不等式 写真の右下は場合分けされた範囲を合わせたものです。 そこで①のx≦-5が何 5 2022/07/10 15:48
- 数学 赤線を引いたところについて質問です。 2直線3x+2y-5=0、2x-3y+4=0のなす角の二等分線 2 2023/02/25 15:20
- 高校 方程式の証明 5 2022/05/12 09:29
- 数学 数学 絶対値の方程式 不等式を解く場合はこの下線部の段階を踏んで、答えがそれを満たしているか考えない 2 2022/05/07 20:46
- 数学 数学 絶対値の方程式不等式で場合分けをするものと場合分けをしない(?)ものの違いを教えて下さい 7 2022/05/08 13:10
- 数学 多項式の性質と無理数・有理数 2 2022/06/21 06:50
- 数学 数学 絶対値記号がついていない不等式の計算でも場合分けをする場合はありますか? また、あるのでしたら 3 2022/05/15 20:45
- 数学 連立微分方程式の解き方について 7 2022/12/16 13:39
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
(b+c)(c+a)(a+b)≧8abc
-
||a+b|| ≦ ||a|| +||b||の証明
-
不等式の証明と絶対値記号
-
(1+h)^n≧1+nh+{n(n-1)/2}h^2
-
nの階乗と2のn乗の比較
-
変数の関係に相加相乗平均を使...
-
数学の証明問題なんですが…
-
問題の意味すらわかりません
-
極限の証明
-
無理数から無理数を引いた結果...
-
部分分数分解について。 1/a・b ...
-
絶対値の不等式の証明ができません
-
不等式の証明の「すなわち」
-
数学の問題!
-
証明問題の解答をお願いします!
-
相加・相乗平均は最小値を示す...
-
x^2+3y^2≧3xy [x,yは実数] の問...
-
平方根のかけ算
-
複素数、共役複素数の証明
-
数II a^2−ab+b^2≧a+b−1の不等式...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
(b+c)(c+a)(a+b)≧8abc
-
なぜ等号は常に成り立たないの...
-
数II a^2−ab+b^2≧a+b−1の不等式...
-
√2,√3,√5,√6,√7,√10は有理数体...
-
nの階乗と2のn乗の比較
-
x2+2xy+2y2-2x+2y+13>0 不等式...
-
部分分数分解について。 1/a・b ...
-
||a+b|| ≦ ||a|| +||b||の証明
-
変数の関係に相加相乗平均を使...
-
相加・相乗平均は最小値を示す...
-
(1+h)^n≧1+nh+{n(n-1)/2}h^2
-
数II積分の問題
-
絶対値の不等式の証明ができません
-
チェビシェフの不等式について
-
数学的帰納法の問題
-
証明が合っているかどうか?
-
背理法
-
数学的帰納法の証明2
-
十分性の確認の問題について
-
オイラーの連鎖式の導出について
おすすめ情報