x,yが正の実数のとき、x^y+y^x>1を示す問題は、指数関数の性質や場合分けの考え方を使って解くことができます。一見するとxとyの値によって複雑に変化するように見えますが、基本的な不等式を利用すると比較的シンプルに証明できます。この記事では、この不等式が成り立つ理由を順を追って解説します。
問題の条件を整理する
与えられている条件は、x,yがともに正の実数であることです。つまり、x>0、y>0となります。
証明したい式は、x^y+y^x>1です。指数部分が入っているため、xやyが1より大きい場合と1より小さい場合で値の性質が変わることに注意する必要があります。
まずは、xとyの大小ではなく、1を基準に場合分けして考えるのがポイントになります。
xとyのどちらか一方が1以上の場合
まず、x≥1の場合を考えます。このとき、yは正の実数なので、y^xは必ず正です。
また、x≥1であるため、x^yについて考えると、y>0よりx^y≥1となります。
したがって、x^y+y^xは、1より大きい正の数を足していることになります。
x^y+y^x≥1+y^xとなり、y^x>0なので、
x^y+y^x>1
が成立します。
同様にy≥1の場合も、y^x≥1となるため、同じ考え方で不等式が証明できます。
0
次に、両方が1より小さい場合を考えます。この場合はx^yやy^xが1より小さくなる可能性があるため、先ほどの方法は使えません。
ここで、指数関数の基本的な性質を利用します。0
つまり、0 x^y>x、y^x>y となります。 したがって、 x^y+y^x>x+y となります。 あとはx+y>1であることを示せばよいですが、ここでは別の考え方を使います。 0 x^y+y^x≥2√(x^y・y^x) これは相加平均と相乗平均の関係（AM-GMの不等式）によるものです。 右辺を整理すると、 2√(x^y・y^x)=2√(x^y y^x) となります。 指数法則より、 x^y y^x=(x y)^y? と単純にはまとめられないため、別の視点から考えます。 より簡単な証明方法として、関数を利用します。 任意の正の実数aについて、a^tはtが正の場合に正の値を取ります。 ここで、x^y+y^xを考えると、両方の項は必ず正です。もしx^y+y^x≤1だと仮定すると、 x^y≤1かつy^x≤1 でなければなりません。 x^y≤1になるためには、x<1である必要があります。同様にy<1になります。 つまり、仮定から0 このとき、0 x^y>x、y^x>y したがって、 x^y+y^x>x+y となります。 さらに、0 よって、x^y+y^x≤1は成立せず、 x^y+y^x>1 が示されます。 この問題では、指数関数の特徴を理解することが重要です。特に0より大きく1より小さい数に正の指数をかけると、元の数より大きくなる性質があります。 例えばx=0.25、y=0.5の場合、 x^y=0.25^0.5=0.5、y^x=0.5^0.25 となり、どちらも元の数より大きな値になります。 このように指数による変化を利用すると、見た目より大きな値になることが分かります。 x,yが正の実数のとき、x^y+y^x>1を示すには、xやyが1以上の場合と0から1の間の場合に分けて考えることが重要です。 1以上の数が含まれる場合は、その項だけで1以上になることを利用できます。両方が1未満の場合は、指数によって値が大きくなる性質を利用して矛盾を導きます。 指数不等式では、単純な計算よりも「指数によって数がどのように変化するか」を理解することが証明への近道になります。相加相乗平均を利用した証明
指数関数の性質を利用した簡単な証明
別解としてAM-GMを使った考え方
まとめ｜x^y+y^x>1の証明のポイント
コメント