相加平均、相乗平均

数学II 相加平均、相乗平均

A,Bは正の定数とする。

（A+2/B）*(B+2/A)≧8を証明しなさい。

という問題なのですが、どうも理解できません。

この問題はもとより、相加平均、相乗平均についても教科書や参考書を読みましたが理解ができません。

どうか、わかりやすくお教えねがえませんでしょうか？

お願いいたします。

No.5 ベストアンサー 回答者： 0lmn0lmn0 回答日時： 2008/01/04 10:28

　（１）（２）（５）のみで良かったかとも思います。

　尚、文字は全て正とします。

（１）
　　相加・相乗を、ひとつ下のスレッドで、
　　(a+b)/2 ≧√ab　と書きましたが、
　　　　　a+b≧2√ab 　
とする方が色々都合が良いので、以下この書き方と思ってください。

（２）
相加・相乗を複数回使うときと、１回だけ使うときの区別が必要となります。質問の問題は、両方okです。

（３）
　　２回使う例として、
　[p+(1/p)][q+(1/q)]、の最小値では、

　[p+(1/p)]≧2√[p*(1/p)]=2
　[q+(1/q)]≧2√[q*(1/q)]=2

　[p+(1/p)][q+(1/q)]≧4
　p=q=1で、最小値4 と。

（４）
　　１回使う例として、質問文を変えて、
　[A+(2/B)][B+(４/A)]の最小値を求める際に、

[A+(2/B)][B+(４/A)]=AB+2+4+(8/AB)=AB+6+(8/AB)
と展開して、

　ABと(8/AB)に対して相加・相乗を適用して、

　　　AB+(8/AB)≧2√[AB*(8/AB)]
　　　AB+(8/AB)≧2√8
　　　AB+(8/AB)≧4√2

　　　等号成立は、
　　　AB=(8/AB)　→　AB=2√2　

　　　[A+(2/B)][B+(４/A)]≧6+4√2

　AB=2√2　のときに最小値　6+4√2　となります。

　　　これを、

　　[A+(2/B)]≧2√[A*(2/B)]・・・Ｐ
　　[B+(４/A)]≧2√[B*(４/A)]・・・Ｑ
　　辺々を掛けて、
[A+(2/B)][B+(４/A)]≧（2√[A*(2/B)]）（2√[B*(４/A)]）
[A+(2/B)][B+(４/A)]≧4√8
[A+(2/B)][B+(４/A)]≧8√2

　　と計算するすると、out になります。

out の原因は、
Ｐの等号成立は、A=(2/B)　→　AB=2
Ｑの等号成立は、B=(４/A)　→　AB=４
と等号条件が一致しないからです。


（５）本体

>> （A+2/B）*(B+2/A)≧8

＜展開して相加・相乗を使う場合＞

　[A+(2/B)][B+(2/A)]＝(AB)+4+(4/AB)

　ABと(4/AB)に対して相加・相乗を適用して、
　　(AB)+(4/AB)≧2√[(AB)*(4/AB)]
　　(AB)+(4/AB)≧4
　　よって
、
　　[A+(2/B)][B+(2/A)]≧4+4=8

　　等号成立は、
　　(AB)=(4/AB) 　→　AB=2　

＜[A+(2/B)],[B+(2/A)]に相加・相乗を使う場合＞

　　[A+(2/B)]≧2√[A*(2/B)]・・・Ｒ
　　[B+(2/A)]≧2√[B*(2/A)]・・・Ｓ

　　　　　辺々を掛けて、
[A+(2/B)][B+(2/A)]≧（2√[A*(2/B)]）（2√[B*(2/A)]）
[A+(2/B)][B+(2/A)]≧8 　

　Ｒの等号条件は、A＝(2/B)　→　AB=2
　Ｓの等号条件は、B＝(2/A)　→　AB=2
　と一致してokとなります。

＜相加・相乗を使わない場合＞

左辺－右辺
＝[A+(2/B)][B+(2/A)]-8
＝(AB)+4+(4/AB)-8
＝(AB)-4+(4/AB)　
＝[(AB)^2-4(AB)+4]/AB
＝[(AB-2)^2]/AB≧０
・・・　　　。

この回答へのお礼

とても詳しいご説明ありがとうございます。

相加平均、相乗平均は私にとって非常に理解に苦しんでいる範囲です。

これからも、どのような範囲でお助けをいただかざるを得ないかわかり

ませんがその折は、どうぞよろしくお願いいたします。

お礼日時：2008/01/04 18:56

No.6 回答者： Tacosan 回答日時： 2008/01/04 16:38

蛇足:

#5 で
[A+(2/B)][B+(4/A)]≧8√2 とすると out
と書かれていますが, これは「不等式としては」全く正しい式です. もちろん, この式をもって「左辺の最小値は 8√2」といえるわけではないですが.

No.4 回答者： take_5 回答日時： 2008/01/04 09:31

A,Bは正の定数から、　

A+2/B≧2√(2Ａ/Ｂ)　‥‥(1)　等号成立は、Ａ＝2/Ｂ、即ちＡＢ＝2のとき。
同様に、B+2/A≧2√(2Ｂ/Ａ)‥‥(2)　等号成立は、Ｂ＝2/Ａ、即ちＡＢ＝2のとき。
(1)*(2)を作ると、（A+2/B）*(B+2/A)≧8。

No.3 回答者： koko_u_ 回答日時： 2008/01/04 07:43

あんまり深く考える必要もなく

(A + 2/B)(B + 2/A) = AB + 4/(AB) + 4

よって AB = X > 0 とすれば

与式 = X + 4/X + 4 。

これに相加相乗平均を使うだけ

No.2 回答者： vigo24 回答日時： 2008/01/04 07:22

すみません、

下の方の回答を見て思い出したのですが、
相加相乗平均の公式は
むやみに掛け合わせたらいけないんでした。
忘れてました。
したがってこれは間違いです。

>（A+2/B）と(B+2/A)について別々に相加送料平均の公式を使い、
>その辺々を掛ければ良いです。

理由も忘れてしまいました。
確か定数で固定できない時が駄目だったような・・・。
思い出したら書き込みます。
すみません。

No.1 回答者： vigo24 回答日時： 2008/01/04 06:58

相加相乗平均

（X－Y）^2≧０はX、Yがどんな数でも成り立つので、
⇔X^2－2XY＋Y＾2≧０
⇔X^2+2XY+Y^2≧４XY
⇔（X+Y）^2≧４XY

X,Y≧０なら
X+Y≧2√（XY）←この式！

>（A+2/B）*(B+2/A)≧8を証明しなさい。

（A+2/B）と(B+2/A)について別々に相加送料平均の公式を使い、
その辺々を掛ければ良いです。