相加相乗平均（AM-GM平均）は、数学における基本的な不等式の一つで、正の数の集合に適用されます。特に√（平方根）の中身には変数を直接置かない方が良い理由について、具体例を交えて解説します。
相加相乗平均とは
相加平均は、与えられた正の数の平均を求めるもので、相乗平均は与えられた正の数の積のn乗根で表されます。n個の正の数 a₁, a₂, …, aₙ に対して、次の不等式が成り立ちます。
AM ≥ GM つまり (a₁ + a₂ + … + aₙ)/n ≥ (a₁·a₂·…·aₙ)^(1/n)
√の中身が正である必要性
相乗平均では平方根（またはn乗根）を取ります。そのため、√の中身は正でなければ定義されません。負の値や変数が入ると、場合によっては値が負になり平方根が実数でなくなるリスクがあります。
例えば、GM = √(a·b) の場合、aやbが負になると√の中身が負となり、相加相乗平均の定義が崩れてしまいます。
変数を含む場合の問題点
もし√の中に変数xがあり、xの取り得る範囲が不明確である場合、√の中身が負になる可能性があります。その結果、AM ≥ GM の不等式を適用できなくなります。
具体例として GM = √(x-2)·y の場合、x<2 のとき √ の中身が負となり、定義が成立しません。したがって変数を含む場合は、その範囲を明確にするか、変数を平方根の外に出して扱う必要があります。
安全な使用法の例
変数を含む式でも、√の中身が常に正となるように制約を設ければ、相加相乗平均を安全に使用できます。例えば、x>2 の範囲を明示すれば GM = √(x-2)·y は問題なく定義されます。
また、平方根を使わずに積や対数を用いた形に変形する方法もあります。これにより、変数の取り得る値の制約をより明確に管理できます。
まとめ
相加相乗平均で√の中身に変数を入れてはいけない主な理由は、平方根の定義域が正の数に限定されるためです。変数の値によっては負の数になり、不等式が成立しなくなる可能性があります。安全に使用するには、√の中身が常に正となる条件を確認するか、変数の取り扱いを工夫することが重要です。
コメント