AM-GM不等式の成立条件と反例についての考察

AM-GM不等式（算術平均-幾何平均不等式）は、正の数に対して非常に有名な不等式ですが、各項が非負であれば必ず成立するわけではありません。この記事では、AM-GM不等式が非負の項においてどのように成立し、また反例が存在するかについて解説します。

AM-GM不等式とは？

AM-GM不等式は、任意の非負の実数a1, a2, …, anに対して、次の関係が成立することを示すものです。

AM = (a1 + a2 + … + an) / n ≧ √(a1 * a2 * … * an) = GM

ここで、AMは算術平均、GMは幾何平均です。この不等式は、AMがGMより大きいか等しいことを保証します。特に、a1, a2, …, anがすべて正であれば、等号は成り立ちません。

質問では、各項が非負でなくてもAM-GM不等式が成立するかどうかという疑問が示されています。実際、AM-GM不等式の成立には、各項が非負である必要があります。もし一部の項が負であれば、不等式は一般的には成立しません。

例えば、a1 = -1, a2 = 4の場合、AM = ( -1 + 4 ) / 2 = 3 / 2 = 1.5 であり、GM = √( -1 * 4 ) は虚数となります。これにより、負の数が含まれると不等式が成り立たなくなることが分かります。

反例を具体的に見てみましょう。次のような数の組み合わせを考えます。

これらのケースでは、少なくとも一つの項が負であるため、AM-GM不等式が成立しません。例えば、最初のケースで計算すると、AMは問題なく計算できますが、GMが虚数になるため、成立しないことが分かります。

AM-GM不等式が成立するためには、各項が非負である必要があります。もし全ての項が非負の実数であれば、AM-GM不等式は必ず成立し、等号が成り立つのはすべての項が等しい場合に限ります。

具体的には、a1 = a2 = … = an の場合、AM = GM となります。この条件下では、算術平均と幾何平均が等しくなることが確認できます。

AM-GM不等式は、各項が非負の実数である場合に必ず成立しますが、項に負の数が含まれる場合には成立しません。特に、負の数が含まれると、幾何平均は実数ではなくなり、数学的に意味を成さなくなります。このように、AM-GM不等式が成立するためには、全ての項が非負でなければならないことがわかりました。