不等式の証明
- b>a>0、a≦x≦b、a≦y≦b、a≦z≦b、x+y+z=a+2b の条件の下で、xyz≧ab^2を証明する方法について考える
- 略解では、x-a=α、b-y=β、b-z=γとし、条件を満たすα、β、γを導出し、xyz≧ab^2を示す
- 最終的に、xyz≧ab^2の証明には最小値の考え方を用い、3つの変数のうち2つがbで1つがaであることを導き出す
- ベストアンサー
不等式の証明
近所の高校生からの質問。まず、問題を書いておく。 文字は全て、実数とする。bとaは定数とする。 b>a>0、a≦x≦b、a≦y≦b、a≦z≦b、x+y+z=a+2b の時、xyz≧ab^2 を証明せよ。 どこかの大学入試の過去問 (原題は段階式になってるが、それではつまらないので単一問題として考えたい) だそうだが、解けるには解ける。 以下は、私の略解。 x-a=α、b-y=β、b-z=γ とすると、α=β+γ‥‥(1)、条件から、0≦α≦b-a、0≦β≦b-a、0≦γ≦b-a ‥‥(2) そこで、xyz=(a+α)(b-β)(b-β)=(1)を使うと=(a+α)(b^2-bα+βγ)≧b(a+α)(b-α)であるから、(a+α)(b-α)の最小値を 0≦α≦b-a で考えると、α=0、or、α=b-a で最小。 よって、xyz≧ab^2 であり、そのとき3つの変数の中で2つはb、1つはa 。 で証明はできるんだが、xとyとzについて綺麗な形で与えられてるのに、こんな方法しかないだろうか?と、いうのが私の質問です。 検討をお願い致します。
- mister_moonlight
- お礼率48% (20/41)
- 数学・算数
- 回答数6
- ありがとう数4
- みんなの回答 (6)
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
重大なミスしてしまった。 >>x1/a・Π(j=2~n)xj/b<1 から 各j=2,3,・・・,nに対して xj/b<(a/x1)^(n-1) ここが間違い。 x1/a・Π(j=2~n)xj/b<1なので min(j=2,3,・・・,n){xj/b} <(a/x1)^(n-1) にしなきゃいけない。 すると b/a∑(j=2~n)(1-xj/b)>b/a(1-(a/x1)^(n-1)) ≧b/a(1-(a/x1)) =b/a-a/x1 それ以降はさっき回答したのと同じ。 それから、まだこれと別なシンプルな方法が見つかっていないのでもし見つかれば以後載せる予定。
その他の回答 (5)
- 112233445
- ベストアンサー率40% (6/15)
質問の意図に合致しないような感じであること、また、 他の人の考えと、同じかも知れませんが、ご意見があればと思います。 xを固定して考えて g=xyz =xy{(a+2b)-(x+y)} =-x{y-(a+2b-x)/2}^2+... y=aかy=bで最小値を取る。 (1)y=aのとき、 g=-a(x-b)^2+ab^2 b<=x<=2b-aだから、a<=x<=bとあわせると xの取り得る値は、x=b よって、最小値は、ab^2 (2)も同様に考える。
お礼
かぜを引いてしまい、お礼が遅くなり失礼致しました。 その方法は、実は私がやってみた方法です。1文字消去して、x+y=m、xy=n としてmとnの関係に転化して、線形計画のようにして座標から解く‥‥でもできたんですが、余り感心しないな、というのが私自身の感想でした。 でも、同じ考え方をする人がいるんだな、と思いました。ありがとうございます。
- alice_44
- ベストアンサー率44% (2109/4759)
しまった。 (c,c,c) から三辺に降ろした垂線の足 (b,m,m), (m,b,m), (m,m,b) ただし m = (a+b)/2 が 臨界点だった。 ここでの xyz = bmm が最小でないことは、 やはり相加相乗平均の関係 m ≧ √(ab) から出る。
- alice_44
- ベストアンサー率44% (2109/4759)
高校生向けに…というのが難儀だなあ。 A No.1 の流儀で、 わりとアッサリ計算できるのだけど。 c = (a+2b)/3 と置いて、 (x-c,y-c,z-c)・∇log(xyz) ≦ 0 であることが 相加相乗平均の関係を使って簡単に導ける。 (x,y,z) の変域を考慮すれば、 log(x,y,z) の最小点は三角形の頂点 (a,b,b), (b,a,b), (b,b,a) のいづれかだと判る。 ∇が禁止だと、ちょっと思いつかない。
お礼
回答ありがとうございます。かぜを引いてしまい、お礼が遅くなり、失礼致しました。 なるほど、相加平均・相乗平均には考えが及びませんでしたので参考になります。 おっしゃるとおり、高校生に対する回答というのが問題でした。 彼も、私の回答で納得したようですが、千葉大学の問題だそうです。
計算はそれほど多大な複雑さではないが、この証明ができれば質問の証明も示せる。 まずは一般に拡張した不等式で示してみよう。 実は n≧1のとき ∑(i=1~n)xi=a+(n-1)b のとき Π(i=1~n)xi≧ab^(n-1) ・・・・・・・・(*) ただし、 xiはi=1,2,・・・・,nについて区間[a,b]に属し(b>a) かつ a≦x1≦x2≦・・・・・・≦xn≦bとする が成立する。 以後はn≧2とする。 ではこれが本当に成り立つかどうか示さなくてはならない。 もちろん(*)を示すにはa≦x1≦x2≦・・・・・・≦xn≦bという仮定が入っても一般性が失われない。 (*)を書きかえると (x1-a)=∑(j=2~n)(b-xj) ならば x1/a・Π(j=2~n)xj/b≧1 対偶を用いて x1/a・Π(j=2~n)xj/b<1 ならば (x1/a-1)≠b/a∑(j=2~n)(1-xj/b) ・・・・・・・・・(#) を示せばよい。 x1/a・Π(j=2~n)xj/b<1 から 各j=2,3,・・・,nに対して xj/b<(a/x1)^(n-1) よって b/a∑(j=2~n)(1-xj/b)> b/a∑(j=2~n)(1-(a/x1)^(n-1)) =b/a・(n-1){1-(a/x1)^(n-1)} n≧2、(a/x1)≦1より b/a・(n-1){1-(a/x1)^(n-1)}≧b/a{1-(a/x1)}=b/a-(b/x1) さて、 F(x1)=(x1/a)-1-{b/a-(b/x1)} (x1∈[a,b]) とおくと これはx1∈[a,b]について F(x1)≦0 x1=a,bのみ等号成立 がいえる。 これは各自試みてほしい なので (x1/a)-1≦b/a-(b/x1) が成立したことが分かって 最終的に (x1/a)-1<b/a∑(j=2~n)(1-xj/b) となって (x1/a)-1≠b/a∑(j=2~n)(1-xj/b) したがって(#)が今示せたので(*)も成り立つことが分かった。 n=3のときは質問内容と全く同じである。
お礼
回答ありがとうございます。 なるほど、そのようにすれば解けますね。一般から特殊への考え方は、大いに参考になりました。 ただ、私が求めているのは“高校生にも理解できそうなsimpleな解法”なんです。 その解法が欲しい。
- naniwacchi
- ベストアンサー率47% (942/1970)
この問題のときと同様に考えることができるのでは? http://okwave.jp/qa/q6575314.html 「xとyとzについて綺麗な形で」と感じれば、 一度図にしてみることを考えてもいいと思う。 xyzはちょうど直方体の体積であり、 点(x, y, z)の存在できる領域は、1辺が b-aの立方体となる。 平面がこの立方体のどこを横切るかを考えてみると、 ちょうど立方体の 3つの頂点(a, b, b)、(b, a, b)、(b, b, a)を通るようになる。 (実は、この頂点が最小値を与える点) この正三角形内の点をベクトルを用いて表せば、 2変数の最小値の問題に置き換えられる。 計算は少々面倒かもしれないが。
補足
回答ありがとうございます。 >この問題のときと同様に考えることができるのでは? 2変数ずつの和が一定でないから、その方法は簡単にいかない。 >計算は少々面倒かもしれないが。 それは避けたい。それなら、1文字消去の方がまだbetterと思うが? ごちゃごちゃ計算する方法以外に、simpleにいかないか?と、いうのが質問の意図。
関連するQ&A
- 不等式の証明
実数a>0,b>0,c>0のとき、、 a/√(a^2+8bc)+b/√(b^2+8ac)+c/√(c^2+8ab)>=1 を示せ。 1/√(1+8*b/a*c/a)+1/√(1+8*a/b*c/b)+1/√(1+8*a/c*b/c)>=1 を示すことになる。 b/a=x,c/b=y,a/c=zとおくと、xyz=1。 1/√(1+8x/z)+1/√(1+8y/x)+1/√(1+8z/y)>=1 このあと、z=1/xyとして、zを消去して、不等式の左辺のxを固定して、yで微分して、 最小値をもとめ、次にxで微分して、最小値を求める。という流れが頭の中では考えられるのですが 計算を始めると、分けが分からなくなります。 この種の3つの文字がある場合の不等式は、良いアイデアが思い浮かばないと証明できないことが 多いと思いますが、1文字消去で、固定して微分するという方法は計算が進めば、どんな場合でも使えると思います。 この問題の場合、この方針でいったい解けるのでしょうか。それだけでもわかれば、力が沸きもう一度やってみようという気持ちになります。よろしくお願いします。
- 締切済み
- 数学・算数
- 不等式の証明
a,b,cが実数のとき、 |ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)|=<M(a~2+b^2+c^2)^2を満たす最小のMの 値を求めよ。 |ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)|/(a^2+b^2+c^2)^2 の最大値を求めれば よいのかと思いました。 a>=b>=cで考える。 分母・分子をa^4で割る。 b/a=x,c/a=yとおくと |(1-x)(1-y)(x-y)(x+y+1)|/(1+x^2+y^2)^2 この最大値を考えようとしましたが、挫折しました。 よろしくお願いします。 一般的に変数が2個のときは、不等式の証明はそう難しくないと思うのですが、 3個になったときは、どのように考えていくといいのか・・・。いつも行き当たりばったり の証明で、先を見通した証明ができず、挫折してしまいます。
- 締切済み
- 数学・算数
- 不等式の証明
例によって、近所の高校生からの質問が発端。先ず、問題を書きます。 実数c (0<c<1) と実数:x、y、a、bの間に |x-a|<c、|y-b|<c という関係があるとき、|xy-ab|<c*(c+|a|+|b|)を証明せよ。 この問題は、段階式設問になっており、(1)で三角不等式(つまり、|x+y|≦|x|+|y|)を証明させた後に この設問になっているから、それに乗れば この問題自体は簡単。 しかし、三角不等式が与えてられてなかったら、どのように解くか? aとbで場合わけをするのは面倒そうだし、という事でなにか良い方法がないだろうか? 検討をお願いします。
- ベストアンサー
- 数学・算数
- 相加・相乗平均の関係を使った不等式の証明
不等式の証明で、 x,y,zが正の実数で、xyz>1のとき x^2y+y^2z+z^2x>xy+yz+zx となることを証明せよ、という問題なのですが、 おそらく左辺を3項の相加・相乗平均の関係を使って 左辺≧3xyzを使うのだろうということ以外分かりません。 ご教授お願いします。
- 締切済み
- 数学・算数
- 不等式の証明
x>0,y>0,z>0で、xyz>=0を満たすとき、 x^2/(x^5+y^2+z^2)+y^2/(x^2+y^5+z^2)+z^2/(x^2+y^2+z^5)=<1を証明せよ。 x^2/(x^5+y^2+z^2)=<□/(x^2+y^2+z^2)となるために□に何がくればいいのかを考えました。 同様に、y^2/(x^2+y^5+z^2)、z^2/(x^2+y^2+z^5)の場合を考えて、この3式を加えたとき、 右辺が1になるか、または、1以下を示せればいいと思いました。 しかし、□に当てはまる式を、yz、y^2z^2、xyz、などと考えましたが、うまくいかず。 また、分母を変えてみようかとも思いましたが、先ずはこれで通そうと思いました。 よろしく、アドバイスお願いします。
- 締切済み
- 数学・算数
- 途中式を教えてください
早速質問に入らせていただきます。 不等式の問題の一部なのですが 与えられている条件は x+y+z=a+2b、xy≧abで、 xyz-ab^2≧0 を示したいのですが、 xyz- ab^2=a(xy-b^2)+xy(-x-y+2b) ≧a(xy-b^2)+ab(-x-y+2b) =a(b-x)(b-y) ≧0 と、略解に書いてあったのですが、 一行目の変形からわかりません。 途中式を教えていただきたいです。 分かりにくくてごめんなさい。
- 締切済み
- 数学・算数
- 不等式の証明
正の実数x,y,zで、xyz=1のとき、 x/(y+z)+y/(z+x)+z/(x+y)>=3/2 を示せ。 左辺について、相加相乗平均をつかうと、 x/(y+z)+y/(z+x)+z/(x+y)>=3{xyz/(y+z)(z+x)(x+y)}^(1/3) =3{1/(y+z)(z+x)(x+y)}^(1/3) これから、8>=(y+z)(z+x)(x+y)をしめせばよい。が、どうしても しめせない。ということは、最初の出だしがよくないと思う。 次に、xyz=1と相加相乗平均から、 左辺=1/yz(y+z)+1/zx(z+x)+1/xy(x+y) =4/(y+z)^3+4/(z+x)^3+4/(x+y)^3 とかしてみたが、 結局、8>=(y+z)(z+x)(x+y)に帰着するので、ダメ。 あとは、x/(y+z)>=3/2*{x/(x+y+z)}を示せれば、よいと思いましたが、 できませんでした。 解決方法のアドバイスお願いします。
- ベストアンサー
- 数学・算数
お礼
かぜを引いてしまいお礼が遅くなり失礼致しました。 そこまでの一般化は考えていませんでしたが、高校生にはともかく、私には大変参考になりました。 ありがとうございました。