大小関係

幾何平均と算術平均の大小関係
ａ、ｂ、ｃ＞０とする。
(a+b+c)/3≧(abc)の3乗根≧0

これを証明するヒントをください。

No.1 ベストアンサー 回答者： age_momo 回答日時： 2005/12/14 13:45

>これを証明するヒントをください。

では、ヒントだけ。

まず、a,b,c,dについて

(a+b+c+d)/4={(a+b)/2+(c+d)/2}/2≧√{(a+b)/2}*√{(c+d)/2}≧√√ab*√√cd=(abcd)^(1/4)

で成り立ちます。

ここからa,b,cについて証明してみて下さい。
d=(a+b+c)/3の時も当然この関係は成り立ちますので・・・

この回答への補足

確かに左の式はでてくるが、右の式を変形して3乗根の式形に持ち込むところは簡単にはいきませんね。

補足日時：2005/12/14 17:52

No.3 回答者： age_momo 回答日時： 2005/12/15 00:59

>確かに左の式はでてくるが、右の式を変形して3乗根の式形に持ち込むところは簡単にはいきませんね。

次に両辺を見比べればいいんですよ。

a,b,c,d>0の時
(a+b+c+d)/4=(abcd)^(1/4)

が成立する場合、

d=(a+b+c)/3とすると

左辺={a+b+c+(a+b+c)/3}/4=(a+b+c)/3
右辺=(abc(a+b+c)/3)^(1/4)

(a+b+c)/3≧(abc(a+b+c)/3)^(1/4)

両辺とも正なので4乗しても不等号の向きは変わらない。よって、

{(a+b+c)/3}^4≧abc(a+b+c)/3
両辺を(a+b+c)/3で割って
{(a+b+c)/3}^3≧abc

∴(a+b+c)/3≧(abc)^(1/3)


これは2段の帰納法による全相加相乗平均の証明の一部です。
つまり、

a_1,a_2,・・・,a_(2^k)>0で

(a_1+a_2+・・・+a_2^k)/2^k≧(a_1*a_2*・・・*a_2^k)^(1/2^k)

が成り立つとき

{a_1+a_2+・・・+a_2^(k+1)}/2^(k+1)=[(a_1+a_2+・・・+a_2^k)/2^k+{a_(2^k+1)+・・・+a_2^(k+1)}/2^k]/2
≧√[(a_1+a_2+・・・+a_2^k)/2^k*{a_(2^k+1)+・・・+a_2^(k+1)}/2^k]
≧√(a_1*a_2*・・・*a_2^k)^(1/2^k)*{a_(2^k+1)*・・・*+a_2^(k+1)}/2^k]^(1/2^k)
={a_1*a_2*・・・*a_2^(k+1)}^{1/2^(k+1)}

で、成り立つ。(#1で書いたa,bで成り立つときにa,b,c,dで成り立ったのと同じやり方です）
次に

a_1,a_2,・・・,a_n>0で

(a_1+a_2+・・・+a_n)/n≧(a_1*a_2*・・・*a_n)^(1/n)

が成り立つ場合、

a_n={a_1+a_2+・・・+a_(n-1)}/(n-1)とすると

左辺=[a_1+a_2+・・・+{a_1+a_2+・・・+a_(n-1)}/(n-1)]/n={a_1+a_2+・・・+a_(n-1)}/(n-1)
右辺=[a_1*a_2*・・・*{a_1+a_2+・・・+a_(n-1)}/(n-1)]^(1/n)
両辺をn乗して
[{a_1+a_2+・・・+a_(n-1)}/(n-1)]^n≧a_1*a_2*・・・*{a_1+a_2+・・・+a_(n-1)}/(n-1)
[{a_1+a_2+・・・+a_(n-1)}/(n-1)]^(n-1)≧a_1*a_2*・・・*a_(n-1)
{a_1+a_2+・・・+a_(n-1)}/(n-1)≧{a_1*a_2*・・・*a_(n-1)}^{1/(n-1)}

4個で成り立つときに3個でも成り立つ事を証明したやり方です。
2,4,8,16・・・・と2^n個は前のやり方で証明でき、
それより小さい数の場合は後のやり方で証明できますから、結局
2個以上の全個数で相加相乗平均の不等号が成り立つことが証明できます。

この回答へのお礼

両辺を４乗ですか。たしかに３乗根なんとかの関係をもとめるのだから、そう考えれば、(答えを知れば）４乗はあたりまえのような気がするが、教えてもらわないと気が付きませんでした。ごていねいにありがとうございました。

お礼日時：2005/12/15 09:17

No.2 回答者： oyaoya65 回答日時： 2005/12/14 16:10

ヒント

＞これを証明するヒントをください。
A#1の方とは別の方法です。

a=x^3>0,b=y^3>0,c=z^3>0とおくと

(a+b+c)/3-(abc)^(1/3)

={x^3+y^3+z^3 -3xyz}/3
=(x+y+z)(x^2+y^2+z^2-xy-yz-zx)/3
=(x+y+z){(x-y)^2+(y-z)^2+(z-x)^2}/6≧0

後は分かりますね。

この回答へのお礼

なるほど感心いたしました。解決しました。どうもありがとうございます。

お礼日時：2005/12/14 17:58