不等式の証明
- a,b,c,dはabcd=1を満たす正の実数のとき、(1/a)+(1/b)+(1/c)+(1/d)+9/(a+b+c+d)>=25/4を示せ。
- 相加相乗平均を使って、(1/a)+(1/b)+(1/c)+(1/d)≥4以上を示せるが、9/(a+b+c+d)の処理がうまくいかない。
- 変形のポイントは9/(a+b+c+d)であり、コーシーシュワルツを使って考えることができるかもしれない。アドバイスをお願いします。
- ベストアンサー
不等式の証明
a,b,c,dはabcd=1,を満たす正の実数のとき、 (1/a)+(1/b)+(1/c)+(1/d)+9/(a+b+c+d)>=25/4 を示せ。 試したのは、(1/a)+(1/b)+(1/c)+(1/d)に対して相加相乗平均を使って、4以上 ただし、9/(a+b+c+d)の処理がうまくいかない。 a+b=x,c+d=yとおいて、相加相乗をもちいると (1/a)+(1/b)+(1/c)+(1/d)+9/(a+b+c+d)=(a+b)/ab+(c+d)/cd+9/(a+b+c+d) >=4/x+4/y+9/(x+y) これが25/4以上を示せばよいと思ったが、進まず。 コーシーシュワルツを使って、何かできないかとも考えてみたが、何を目標に 変形を考えて良いのか、・・・・ いずれにしても、 9/(a+b+c+d)をどう考えるかが、ポイントになるのでないかと 思うのであるが、・・・ アドバイスをお願いします。
- 112233445
- お礼率59% (526/889)
- 数学・算数
- 回答数10
- ありがとう数5
- みんなの回答 (10)
- 専門家の回答
質問者が選んだベストアンサー
やっぱ伝家の宝刀であるラグランジュの未定乗数法でやるに限りますな いっぱつでa=b=c=d=1がでてしまいまっせ あなたが補足しているようにこのばやい相加平均なんたらは使いものになりませんぜ 不等式は確かに成立しているがその時に左辺が最小になっている保証はないかんね 不等式の関係を保ったまま大きくなったり小さいくなったりしていて 等号が成立している時にジャスピンで最小になっていると考えるのは無茶ですな ちなみにわてはラグランジュ使いまくりでっせ
その他の回答 (9)
- reiman
- ベストアンサー率62% (102/163)
境界がないという言い方は厳密には正しくなくて 0<a & 0<b & 0<c & 0<dによる境界はあるが その条件を満たす領域はその境界を含まない というべきでした 境界を含まない以上境界に関する記述は必要なく ことは簡単であるということには変わりが有りません
- reiman
- ベストアンサー率62% (102/163)
0<a,0<b,0<c,0<dの条件による境界は存在しないので 境界云々の部分は必要有りませんでした 従って単純に極値点候補が1つしかなく下に有界であることから直ちにその候補は最小値点ということになり話はもっと簡単でした
- reiman
- ベストアンサー率62% (102/163)
ラグランジュの未定乗数法の証明の眼目は vをn次元行ベクトルとして Vをm行n列の行列として xをn次元列ベクトルとしたとき V*x=0である任意のxにてv*x=0となるならば vはVの行ベクトルの線形一次結合で表される
- reiman
- ベストアンサー率62% (102/163)
>そのグラフの境界はどうなるのか。 ここでいう境界とは人為的に付けた条件a,b,c,dはそれぞれすべて正であるということに起因する範囲の境目 a=0 or b=0 or c=0 or d=0 のときです >lim[d→+0]f(a,b,c,d)→∞、であるから境界はf(a,b,c,d)の最小値点になりえない。で、境界に最小値がなくて、どこに最小値が存在することになるのか。 境界に接近するにつれていくらでも大きくなるということは境界は最小値になりえないというのはあたりまえではないですか しかもf(a,b,c,d)は正であるから境界以外に最小値が存在することも明かです ラグランジュが言っているのは極値点が有るとしたらラグランジュの未定乗数法により求まる点に限るということですからその最小値点が極値点でないということは最小値の定義上ありえないので 与えられたa,b,c,dはそれぞれすべて正であるという条件を満たす唯一の極値候補であるa=b=c=d=1は 極値点でないということは言えずに極値点にならざるをえない そしてその極値点が最小値点なのである 今回は一個の極値候補しかなかったが もし複数の極値候補が有った場合はそのすべて点でもっともf(a,b,c,d)が小さい点は 極値とならざるを得ずその点が最小値点になる 最小値が存在する以上極値点が存在することになり ラグランジュは極値点の候補をすべて網羅しているから >どうして、未定乗数を使うと極値が求められるのか 高木退治の「解析概論」でもどっかのサイトでも載っていますから勉強してください >極値にならないものをどうやって判断すればいいのか 通常、ラグランジュで求まるすべての点が極値であるかどうかを求める必要は有りません 今回は最小値があればそれらの点の中にすべての最小点が必ずあるということを使っただけです 今回は候補が1つだったのでそれが極値点でないということはいえないということです
お礼
質問に対し、回答頂きありがとうございます 回答を頂き、改めて自分でよく理解していないまま質問すると 回答者に申し訳ないと思いました。 どうしてか、なぜかという疑問が出てき、すぐに知りたいと思うのですが、 自分のレベルがそこまで達していない状態では、折角の回答内容を十分こなす ことができないと思いました。 もう一度、自分なりに考えてたいと思います。
- reiman
- ベストアンサー率62% (102/163)
書き間違い有り F(a,b,c,d)=f(x)-s*(a*b*c*d-1)→F(a,b,c,d,s)=f(a,b,c,d)-s*(a*b*c*d-1) f(a,b,c,d)=(1/a)+(1/b)+(1/c)+(1/d)+9/(a+b+c+d) F(a,b,c,d,s)=f(a,b,c,d)-s*(a*b*c*d-1) とすると 境界以外においてf(a,b,c,d)が極値を持つときには次の条件が成立する ∂F/∂a=∂F/∂b=∂F/∂c=∂F/∂d=∂F/∂s=0・・・(1) (1)の条件は a*b*c*d=1・・・(2) 1/a+9*a/(a+b+c+d)^2=-s・・・(3) 1/b+9*b/(a+b+c+d)^2=-s・・・(4) 1/c+9*c/(a+b+c+d)^2=-s・・・(5) 1/d+9*d/(a+b+c+d)^2=-s・・・(6) (3),(4),(5),(6)より (a-b)((a+b+c+d)^2-9*a*b)=0・・・(7) (b-c)((a+b+c+d)^2-9*b*c)=0・・・(8) (c-d)((a+b+c+d)^2-9*c*d)=0・・・(9) (d-a)((a+b+c+d)^2-9*d*a)=0・・・(10) (a-c)((a+b+c+d)^2-9*a*c)=0・・・(11) (b-d)((a+b+c+d)^2-9*b*d)=0・・・(12) もしa,b,c,dがすべて異なるとすると (a+b+c+c)^2/9=a*b=b*c=c*d=d*a となるがこれによりa=b=c=dとなるので矛盾する よって少なくとも互いに等しいものが一組存在する その一組をa,bとしa=bとする a=b,a≠c,c≠d,a≠dとすると (a+b+c+c)^2/9=b*c=c*d=d*a となるがこれによりa=b=c=dとなるので矛盾する よってc,dのうちどちらかがaに等しいかc=dである a=b,c=d,a≠cとすると (a+b+c+d)^2=9*a*cとなるがこれにより (a-c/8)^2+63/64*c^2=0となり矛盾する a=b=c,a≠dとすると (a+b+c+d)^2=9*d*aとなるがこれにより (d-3/2*a)^2+27/4*a^2=0となり矛盾する 以上からf(a,b,c,d)が極値を持つ必要条件は a=b=c=d である ここでa,b,c,dが正であるという条件を付加すると lim[a→+0]f(a,b,c,d)→∞ であるからf(a,b,c,d)は最大値をもたない f(a,b,c,d)は明らかに0以上であり境界か極値点で最小値を持つ しかし境界はa,b,c,dいずれかが0であるから lim[a→+0]f(a,b,c,d)→∞ lim[b→+0]f(a,b,c,d)→∞ lim[c→+0]f(a,b,c,d)→∞ lim[d→+0]f(a,b,c,d)→∞ であるから境界はf(a,b,c,d)の最小値点になりえない よって境界以外に最小値が存在しその点は明らかに極値点であり極値点は存在する なぜなら、もしf(a,b,c,d)の最小値点がf(a,b,c,d)の極値でないとすると その点から有る方向に移動すると最小値点より小さくなってしまうので矛盾するから よって0<a=b=c=dであるa=b=c=d=1が極値点=最小値点である せっかくだから余談: a*b*c*d=1からa,b,c,dのとりうる範囲は [1]0<a & 0<b & 0<c & 0<d:全部正の代表 [2]a<0 & b<0 & c<0 & d<0:全部負の代表 [3]0<a & 0<b & c<0 & d<0:2正2負の代表 の3パターンあるがこれらは a=0 or b=0 or c=0 or d=0 の境界によって分割され混じることはない [1] & [2]はa=b=c=dでそれぞれ1つだけ極値を持つ [3]は極値を持たなず最大値も最小値も存在しない
お礼
回答ありがとうございます ラグランジュの定理を調べてみました。 どうして、未定乗数を使うと極値が求められるのか、 そのうち極値にならないものをどうやって判断すればいいのか 理解できないところがありましたが、解答をじっくりみて勉強したいと 思います。
補足
ラグランジュの定理について、あまりよくわからなくて いろいろ質問するのも、気が引けるのですが、 分からないこと等があるので、教えてもらえれば 助かります。回答の中の、「f(a,b,c,d)は明らかに0以上であり境界か極値点で最小値を持つ」 で、f(a,b,c,d)のグラフは5次元になるとおもうのですが、そのグラフの境界はどうなるのか。 (境界とは、グラフでの一般的な境界線のことでしょうか)また、極値も想像できないので、 おしえてもらえればと思います。その関連で言えば・・・・・lim[d→+0]f(a,b,c,d)→∞、であるから境界はf(a,b,c,d)の最小値点になりえない。で、境界に最小値がなくて、どこに最小値が存在することになるのか。これも、境界をグラフの境界線と解釈すると疑問に思うのですが・・・・・ 教えてもらえればと思います。
- reiman
- ベストアンサー率62% (102/163)
ちょっと改良 f(a,b,c,d)=(1/a)+(1/b)+(1/c)+(1/d)+9/(a+b+c+d) F(a,b,c,d)=f(x)-s*(a*b*c*d-1) とすると 境界以外においてf(a,b,c,d)が極値を持つときには次の条件が成立する ∂F/∂a=∂F/∂b=∂F/∂c=∂F/∂d=∂F/∂s=0・・・(1) (1)の条件は a*b*c*d=1・・・(2) 1/a+9*a/(a+b+c+d)^2=-s・・・(3) 1/b+9*b/(a+b+c+d)^2=-s・・・(4) 1/c+9*c/(a+b+c+d)^2=-s・・・(5) 1/d+9*d/(a+b+c+d)^2=-s・・・(6) (3),(4),(5),(6)より (a-b)((a+b+c+d)^2-9*a*b)=0・・・(7) (b-c)((a+b+c+d)^2-9*b*c)=0・・・(8) (c-d)((a+b+c+d)^2-9*c*d)=0・・・(9) (d-a)((a+b+c+d)^2-9*d*a)=0・・・(10) (a-c)((a+b+c+d)^2-9*a*c)=0・・・(11) (b-d)((a+b+c+d)^2-9*b*d)=0・・・(12) もしa,b,c,dがすべて異なるとすると (a+b+c+c)^2/9=a*b=b*c=c*d=d*a となるがこれによりa=b=c=dとなるので矛盾する よって少なくとも互いに等しいものが一組存在する その一組をa,bとしa=bとする a=b,a≠c,c≠d,a≠dとすると (a+b+c+c)^2/9=b*c=c*d=d*a となるがこれによりa=b=c=dとなるので矛盾する よってc,dのうちどちらかがaに等しいかc=dである a=b,c=d,a≠cとすると (a+b+c+d)^2=9*a*cとなるがこれにより (a-c/8)^2+63/64*c^2=0となり矛盾する a=b=c,a≠dとすると (a+b+c+d)^2=9*d*aとなるがこれにより (d-3/2*a)^2+27/4*a^2=0となり矛盾する 以上からf(a,b,c,d)が極値を持つ必要条件は a=b=c=d である ここでa,b,c,dが正であるという条件を付加すると lim[a→+0]f(a,b,c,d)→∞ であるからf(a,b,c,d)は最大値をもたない f(a,b,c,d)は明らかに0以上であり境界か極値点で最小値を持つ しかし境界はa,b,c,dいずれかが0であるから lim[a→+0]f(a,b,c,d)→∞ lim[b→+0]f(a,b,c,d)→∞ lim[c→+0]f(a,b,c,d)→∞ lim[d→+0]f(a,b,c,d)→∞ であるから境界はf(a,b,c,d)の最小値点になりえない よって境界以外に最小値が存在しその点は明らかに極値点であり極値点は存在する なぜなら、もしf(a,b,c,d)の最小値点がf(a,b,c,d)の極値でないとすると その点から有る方向に移動すると最小値点より小さくなってしまうので矛盾するから よって0<a=b=c=dであるa=b=c=d=1が極値点=最小値点である
- reiman
- ベストアンサー率62% (102/163)
>ラグランジュの未定乗数法に慣れていないので >どんな解答になるのか、見せてもらえると有り難いです f(a,b,c,d)=(1/a)+(1/b)+(1/c)+(1/d)+9/(a+b+c+d) F(a,b,c,d)=f(x)-s*(a*b*c*d-1) とすると 境界以外においてf(a,b,c,d)が極値を持つときには次の条件が成立する ∂F/∂a=∂F/∂b=∂F/∂c=∂F/∂d=∂F/∂s=0・・・(1) (1)の条件は a*b*c*d=1・・・(2) 1/a+9*a/(a+b+c+d)^2=-s・・・(3) 1/b+9*b/(a+b+c+d)^2=-s・・・(4) 1/c+9*c/(a+b+c+d)^2=-s・・・(5) 1/d+9*d/(a+b+c+d)^2=-s・・・(6) (3),(4),(5),(6)より (a-b)((a+b+c+d)^2-9*a*b)=0・・・(7) (b-c)((a+b+c+d)^2-9*b*c)=0・・・(8) (c-d)((a+b+c+d)^2-9*c*d)=0・・・(9) (d-a)((a+b+c+d)^2-9*d*a)=0・・・(10) (a-c)((a+b+c+d)^2-9*a*c)=0・・・(11) (b-d)((a+b+c+d)^2-9*b*d)=0・・・(12) もしa,b,c,dがすべて異なるとすると (a+b+c+c)^2/9=a*b=b*c=c*d=d*a となるがこれによりa=b=c=dとなるので矛盾する よって少なくとも互いに等しいものが一組存在する その一組をa,bとしa=bとする a=b,a≠c,c≠d,a≠dとすると (a+b+c+c)^2/9=b*c=c*d=d*a となるがこれによりa=b=c=dとなるので矛盾する よってc,dのうちどちらかがaに等しいかc=dである a=b,c=d,a≠cとすると (a+b+c+d)^2=9*a*cとなるがこれにより (a-c/8)^2+63/64*c^2=0となり矛盾する a=b=c,a≠dとすると (a+b+c+d)^2=9*d*aとなるがこれにより (d-3/2*a)^2+27/4*a^2=0となり矛盾する 以上からf(a,b,c,d)が極値を持つ必要条件は a=b=c=d である ここでa,b,c,dが正であるという条件を付加すると lim[a→+0]f(a,b,c,d)→∞ であるからf(a,b,c,d)は最大値をもたない f(a,b,c,d)は明らかに0以上であり境界か極値点で最小値を持つ しかし境界はa,b,c,dいずれかが0であるから その点はa,b,c,dが正であるという条件を外しても1=a*b*c*d=0となり取りえない よって境界以外に最小値が存在しその点は明らかに極値点であり極値点は存在する よって0<a=b=c=dであるa=b=c=d=1が極値点=最小値点である
- alice_44
- ベストアンサー率44% (2109/4759)
もともと、等号成立条件が 1/a=1/b=1/c=1/d=4/(a+b+c+d) になるように、細工をした訳です。 このとき、abcd=1 と併せて a=b=c=d=1 となりますから、 1/a=1/b=1/c=1/d=4/(a+b+c+d)=1 です。
お礼
回答ありがとうございます 相加相乗平均からでできた不等式は左辺>=右辺を 示していて、等号のときは、1/a=1/b=1/c=1/d=4/(a+b+c+d)=1のときを 意味していて、必ずしも1/a=1/b=1/c=1/d=4/(a+b+c+d)=1 のとき左辺が 最小とは限らないかと思いました。
- alice_44
- ベストアンサー率44% (2109/4759)
相加相乗平均の関係を使って手品をするときには、 等号成立条件に注目して、対象となる項の組を決めるのがポイント。 この例であれば、4/(a+b+c+d) を登場させたい。 1/a=1/b=1/c=1/d のとき、1/a=1/b=1/c=1/d=4/(a+b+c+d) になるから。 そのために、全体を 4 倍して、 1/a, 1/b, 1/c, 1/d が各 4 個づつ、4/(a+b+c+d) が 9 個の、 計 4×4+9 項目の相加相乗平均の関係を使えばよい。
お礼
回答ありがとうございます 4×4+9 項に相加相乗平均の関係を正直に使って、 4(左辺)>=25[(1/a・1/b・1/c・1/d )^16*{4/(a+b+c+d)}^9]^(1/25) とするのでしょうか。 (1/a・1/b・1/c・1/d )^16=1 となるのはいいのですが、 {4/(a+b+c+d)}^9の処理はどうなるのか、よろしかったら教えてもらえないでしょうか。
関連するQ&A
- 相加相乗平均を使った不等式の証明
a,b,c,d≧0、のとき (a+b+c+d)/4≧4√abcd ←(4√は4乗根です) 等号はa=b=c=dのとき の証明で、相加相乗平均を使うと思うんですが、どぅやって使えばいいのかわかりません。
- ベストアンサー
- 数学・算数
- 相加・相乗平均を使う不等式
相加相乗平均を使う不等式の問題で分からないものがあります。 a,b,c,dは全て正の数として *(a+2/b)(2b+1/a)≧9 を証明する問題では、左辺を展開した後に相加相乗平均を使って証明をしてますよね。 ですが *(a+2b)(2c+d)≧8√abcd のときには a+2b≧2√2ab 2c+d≧2√2cd を証明して二つをかけ合わせますよね? このとき方の違いはどうしてでしょうか? 上の問題の方では、下のようなとき方をしてはいけないと習った気がするのですが・・・・
- ベストアンサー
- 数学・算数
- 不等式の証明
不等式の証明の問題で、 絶対値が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) が分かりません。教えてください!
- ベストアンサー
- 数学・算数
- 不等式の証明
a,b,cはabc=1を満たす実数のとき、 (a-1+1/b)(b-1+1/c)(c-1+1/a)=<1 が成り立つことを示せ。 (a-1+ac)(b-1+ab)(c-1+bc)=<1を示すことと同じ。 a=<b=<cで考える。 (1)a>1のとき、abc=1を満たすa,b,cは存在しない。 (2)a=1のとき、b=c=1 以外になく、このとき、不等式は成り立つ。 (3)a<1のとき、(a-1+ac)の正負は、a=1/(1+c)を境に変わる。 ア.a=<1/(1+c)のときは不等式の左辺は負または0になるから、成り立つ。 イ.a>1/(1+c)のとき、相加相乗平均より、 左辺=<{(a+b+c-3+ab+bc+ca)/3}^3 これが、1以下を示せばよいと思いましたが、 a=1/2,b=1,c=2とすると、(a+b+c-3+ab+bc+ca)/3が1より大きくなってしまいます。 どこが間違っているのか、よくないのか。よろしくアドバイスをお願いします。
- ベストアンサー
- 数学・算数
- 数学II (相加平均)と(相乗平均)の関係を使って、不等式を証明する問
数学II (相加平均)と(相乗平均)の関係を使って、不等式を証明する問題です。 解説を読んだのですが理解できないので教えてください。 (b/a+d/c)( a/b+c/d)≧4 (解説) (1)(b/a+d/c)( a/b+c/d)=2+bc/ad+ad/bc (相加平均)≧(相乗平均)の関係の関係から (2)bc/ad+ad/bc≧2√bc/ad×ad/bc=2 (3)∴bc/ad+ad/bc+2≧2+2=4 両辺に同じ数を加えても、大小の関係は変わらない。 (4)したがって、(b/a+d/c)( a/b+c/d)≧4 とあり、(1)の式は導くことができたのですが、(2)式への導き方が分かりません。 相加平均と相乗平均(a+b/2≧√ab)についての基礎は理解しているつもりです。 できましたら、詳しい式とあわせて言葉での解説があるととても助かります。よろしくお願いいたします。
- ベストアンサー
- 数学・算数
お礼
回答ありがとうございます ラグランジュの未定乗数法に慣れていないので どんな解答になるのか、見せてもらえると有り難いです a=b=c=d=1で、最小値になると言えるかについても。