相加相乗平均の不等式は項が増えても成り立つ？3項以上の場合の考え方を解説

相加相乗平均の不等式は、2つの数だけでなく、項の数が増えた場合にも成り立つのか疑問に感じることがあります。実際、数学では2項の場合の公式だけでなく、3項以上の一般的な形でも相加相乗平均の不等式が利用されています。

この記事では、相加相乗平均の不等式が項の数が増えても成立する理由や、3項・4項以上の場合の公式、利用する際の注意点について、具体例を交えながら分かりやすく解説します。

相加相乗平均の不等式とは何か

相加相乗平均の不等式とは、複数の正の数について、算術平均（相加平均）は幾何平均（相乗平均）以上になるという関係を表したものです。

2つの正の数a,bについては、次のように表されます。

(a+b)/2≧√ab

等号が成立するのは、a=bのときです。つまり、2つの数の平均は、2つの数の積の平方根より必ず大きいか等しくなります。

例えば、a=4、b=9の場合、相加平均は(4+9)/2=6.5、相乗平均は√(4×9)=6となり、確かに相加平均の方が大きくなります。

相加相乗平均の不等式は、3つの正の数a,b,cに対しても成立します。

(a+b+c)/3≧∛abc

これは、3つの数の算術平均が、3つの数の積の立方根以上になることを意味します。

例えば、a=1、b=2、c=9の場合、相加平均は(1+2+9)/3=4、相乗平均は∛(1×2×9)=∛18となり、約2.62です。したがって、4≧2.62となり、不等式が成立します。

相加相乗平均の不等式は、正の数がn個ある場合にも拡張できます。

a₁,a₂,…,aₙをすべて正の数とすると、次の関係が成立します。

(a₁+a₂+…+aₙ)/n≧ⁿ√(a₁a₂…aₙ)

つまり、n個の数の平均は、それらをすべて掛け合わせたもののn乗根以上になります。

この形が相加相乗平均の一般形であり、項が増えても基本的な考え方は変わりません。

2項の場合は、平方根を利用して比較的簡単に証明できます。しかし、項が増えると同じ方法だけでは証明しにくくなるため、数学ではいくつかの方法が使われます。

代表的な方法としては、数学的帰納法や、2項の場合の不等式を繰り返し利用する方法があります。

例えば、4項の場合は、a,b,c,dを2つずつの組に分けて考えることで、2項の相加相乗平均から導くことができます。

相加相乗平均の不等式を利用する場合、基本的には対象となる数がすべて正である必要があります。

例えば、負の数を含む場合は平方根やn乗根の扱いが変わり、通常の相加相乗平均の形では利用できません。

また、最大値や最小値を求める問題では、等号成立条件である「すべての項が等しい」という条件を意識することが重要です。

例えば、x+yを一定にしたときにxyの最大値を求める問題では、x=yのときに相乗平均が最大になることを利用できます。

相加相乗平均の不等式は、2項だけの特別な公式ではありません。3項、4項、さらに一般のn項の場合でも成立します。

基本となる考え方は「平均は積の平均的な大きさを表す量以上になる」というもので、項数が増えても変わりません。

数学の問題で相加相乗平均を利用するときは、正の数であることを確認し、等号成立条件を意識することで、最大値や最小値を求める場面などで効果的に活用できます。